Abstract
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional requirements specification and documentation, whereas task models are used as a starting point for user interface design. Based on their intrinsic characteristics we devise an intermediate semantic domain for use cases and for task models, respectively. We describe how the intermediate semantic domain for each model is formally mapped into a common semantic domain which is based on sets of partial order sets. We argue that a two-step mapping results in a semantic framework that can be more easily validated, reused and extended. As a partial validation of our framework we provide a semantics for ConcurTaskTrees (CTT) one of the most popular task model notations as well as our own DSRG use case formalism. Furthermore we use the common semantic model to formally define a satisfiability relation between task model and use case specifications.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Seffah, A., Desmarais, M.C., Metzger, M.: Software and Usability Engineering: Prevalent Myths, Obstacles and Integration Avenues. In: Human-Centered Software Engineering—Integrating Usability in the Software Development Lifecycle, Springer, Heidelberg
Cockburn, A.: Writing effective use cases. Addison-Wesley, Boston (2001)
Pressman, R.S.: Software engineering: a practitioner’s approach. McGraw-Hill, Boston, MA (2005)
Paternò, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, Heidelberg (2000)
Larman, C.: Applying UML and patterns: an introduction to object-oriented analysis and design and the unified process. Prentice Hall PTR, Upper Saddle River, NJ (2002)
Butler, G., Grogono, P., Khendek, F.: A Z Specification of Use Cases. In: Proceedings of APSEC 1998, pp. 94–101 (1998)
Grieskamp, W., Lepper, M., Schulte, W., Tillman, N.: Testable use cases in the abstract state machine language. In: Proc. APAQS 2001, Asia-Pacific Conference on Quality Software (2001)
Barnett, M., Grieskamp, W., Schulte, W., Tillmann, N., Veanes, M.: Validating Use Cases with the AsmL Test Tool in Proceedings of QSIC 2003 (Third International Conference on Quality Software) (November 2003)
XSLT, XSL Transformations Version 2.0 [Internet], Available from Accessed: December 2006. Last Update: November 2006, http://www.w3.org/TR/xslt20/
Kuutti, K.: Activity theory as a potential framework for human-computer interaction research (chapter). In: Context and consciousness: activity theory and human-computer interaction, Massachusetts Institute of Technology, pp. 17–44
Dittmar, A., Forbrig, P.: Higher-Order Task Models. In: Proceedings of Design, Specification and Verification of Interactive Systems 2003, Funchal, Madeira Island, Portugal, pp. 187–202 (2003)
Souchon, N., Limbourg, Q., Vanderdonckt, J.: Task Modelling in Multiple contexts of Use. In: Proceedings of Design, Specification and Verification of Interactive Systems, Rostock, Germany, pp. 59–73 (2002)
Card, S., Moran, T.P., Newell, A.: The Psychology of Human Computer Interaction (1983)
Dittmar, A., Forbrig, P., Stoiber, S., Stary, C.: Tool Support for Task Modelling - A Constructive Exploration. In: Proceedings of Design, Specification and Verification of Interactive Systems (July 2004)
Johnson, P., Johnson, H., Waddington, R., Shouls, A.: Task Related Knowledge Structures: Analysis, Modelling and Application. In: Jones, D.M., Winder, R. (eds.) People and Computers IV, Manchester, pp. 35–62. Cambridge University Press, Cambridge (1988)
Sinnig, D., Chalin, P., Khendek, F.: Consistency between Task Models and Use Cases. To Appear in Proceedings of Design, Specification and Verification of Interactive Systems, Salamanca, Spain (March 2007)
Mauw, S., Reniers, M.A.: An Algebraic Semantic of Basic Message Sequence Charts. In Computer Journal, 37 (1994)
ITU-T, Recommendation Z.120- Message Sequence Charts, Geneva (1996)
Xu, J., Yu, W., Rui, K., Butler, G.: Use Case Refactoring: A Tool and a Case Study. In: Proceedings of APSEC 2004, Busan, Korea, pp. 484–491 (2004)
Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge University Press, Cambridge (1990)
ITU-T, Recommendation Z.120- Message Sequence Charts, Geneva (1999)
Zheng, T., Khendek, F.: Time consistency of MSC-2000 specifications, in Computer Networks, June 2003, vol. 42(3). Elsevier, Amsterdam (2003)
Alur, R., Holzmann, G.J., Peled, D.: An Analyzer for Message Sequence Charts. In: Software - Concepts and Tools, vol. 17, pp. 70–77 (1996)
Katoen, J.P., Lambert, L.: Pomsets for Message Sequence Charts. In: Proceedings of FBT-VS 1998, Cottbus, Germany, Shaker Verlag, pp. 197–207 (1998)
Mizouni, R., Salah, A., Dssouli, R., Parreaux, B.: Integrating Scenarios with Explicit Loops. In: Proceedings of NOTERE, 2004, Essaidia Morocco (2004)
Paternò, F., Santoro, C.: The ConcurTaskTrees Notation for Task Modelling, Technical Report at CNUCE-C.N.R. (May 2001)
Sinnig, D., Chalin, P., Khendek, F.: Towards a Common Semantic Foundation for Use Cases and Task Models, to appear in Electronic Notes in Theoretical Computer Science (ENTCS) (2007)
Brinksma, E., Scollo, G., Steenbergen, C.: LOTOS specifications, their implementations, and their tests. In: Proceedings of IFIP Workshop Protocol Specification, Testing, and Verification VI, pp. 349–360 (1987)
Linz, P.: An introduction to formal languages and automata. Jones and Bartlett Publishers, Sudbury, MA (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sinnig, D., Chalin, P., Khendek, F. (2007). Common Semantics for Use Cases and Task Models. In: Davies, J., Gibbons, J. (eds) Integrated Formal Methods. IFM 2007. Lecture Notes in Computer Science, vol 4591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73210-5_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-73210-5_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73209-9
Online ISBN: 978-3-540-73210-5
eBook Packages: Computer ScienceComputer Science (R0)