Abstract
Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU–T’s family of languages. UCM models allow the description of functional requirements and high-level designs at early stages of the development process. Recognizing the importance of having a well defined semantic, we propose, in this paper, a concise and rigorous formal semantics for Use Case Maps (UCM). The proposed formal semantics addresses UCM’s operational semantics and covers the key language functional constructs. These semantics are defined in terms of Multi-Agent Abstract State Machines that describes how UCM specifications are executed and eliminates ambiguities hidden in the informal language definition. The resulting operational semantics are embedded in an ASM-UCM simulation engine and are expressed in AsmL, an advanced ASM-based executable specification language. The proposed ASM-UCM engine provides an environment for executing and simulating UCM specifications. We illustrate our approach using an example of a simplified call connection.
Chapter PDF
Similar content being viewed by others
Keywords
References
Amyot, D.: Formalization of Timethreads Using LOTOS. Master Thesis, Department of Computer Science, University of Ottawa, Canada (1994)
Amyot, D., Andrade, R.: Description of wireless intelligent network services with Use Case Maps. In: SBRC 1999, 17th Simpósio Brasileiro de Redes de Computadores, Salvador, Brazil, pp. 418–433 (May 1999)
Amyot, D., Buhr, R.J.A., Gray, T., Logrippo, L.: Use Case Maps for the Capture and Validation of Distributed Systems Requirements. In: RE 1999, Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, pp. 44–53 (June 1999), http://www.UseCaseMaps.org/pub/re99.pdf
Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development. Telecommunications Systems Journal 24(1), 61–94 (2003)
Amyot, D., Miga, A.: Use Case Maps Document Type Definition 0.19. Working document (June 2000), http://www.UseCaseMaps.org/xml/
AsmL for Microsoft.Net (2003), http://www.research.microsoft.com/foundations/asml
Börger, E., Cavarra, A., Riccobene, E.: An ASM Semantics for UML Activity Diagrams. In: Rus, T. (ed.) Proc. Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000. LNCS, vol. 1826. Springer, Heidelberg (2000)
Börger, E., Glässer, U., Muller, W.: Formal Definition of an Abstract VHDL 1993 Simulator By EA-Machines. In: Delgado Kloos, C., Breuer, P.T. (eds.) Formal Semantics for VHDL, pp. 107–139. Kluwer Academic Publishers, Dordrecht (1995)
Börger, E., Rosenzweig, D.: A mathematical definition of full Prolog. Science of Computer Programming 24, 249–286 (1994)
Börger, E., Schulte, W.: Defining the java virtual machine as platform for provably correct java compilation. In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, p. 17. Springer, Heidelberg (1998)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Buhr, R.J.A.: Use Case Maps as Architectural Entities for Complex Systems. IEEE Transactions on Software Engineering 24(12), 1131–1155 (1998)
Buhr, R.J.A., Elammari, M., Gray, T., Mankovski, S.: Applying Use Case Maps to multi-agent systems: A feature interaction example. In: 31st Annual Hawaii International Conference on System Sciences (1998)
Del Castillo, G., Winter, K.: Model checking support for the ASM high-level language. In: Graf, S., Schwartzbach, M. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 331–346. Springer, Heidelberg (2000)
Eschbach, R., Glässer, U., Gotzhein, R., von Löwis, M., Prinz, A.: Formal Definition of SDL 2000 - Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science 7(11), 1025–1050 (2001)
Gurevich, Y.: Evolving algebra 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods. Oxford University Press, Oxford (1995)
ISO, Information Processing Systems, OSI: LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, Geneva (1989)
ITU-T, Recommendation Z. 150, User Requirements Notation (URN)- Language Requirements and Framework, Geneva, Switzerland, http://www.UseCaseMaps.org/urn/
ITU-T, URN Focus Group (2002), Draft Rec. Z.152 - UCM: Use Case Map Notation (UCM), Geneva
Miga, A., Amyot, D., Bordeleau, F., Cameron, D., Woodside, C.M.: Deriving message sequence charts from use case maps scenario specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 268–287. Springer, Heidelberg (2001)
Nakamura, N., Kikuno, T., Hassine, J., Logrippo, L.: Feature Interaction Filtering with Use Case Maps at Requirements Stage. In: Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems (FIW 2000), Glasgow, Scotland, UK (May 2000)
Petriu, D.C., Woodside, M.: Software Performance Models from System Scenarios in Use Case Maps. In: Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools, April 14-17, pp. 141–158 (2002)
Use Case Maps Web Page and UCM Users Group (1999), http://www.UseCaseMaps.org
Wallace, C.: The Semantics of the C++ Programming Language. In: Börger, E. (ed.) Specification and Validation Methods. Oxford University Press, Oxford (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Hassine, J., Rilling, J., Dssouli, R. (2005). Abstract Operational Semantics for Use Case Maps. In: Wang, F. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2005. FORTE 2005. Lecture Notes in Computer Science, vol 3731. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562436_27
Download citation
DOI: https://doi.org/10.1007/11562436_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29189-3
Online ISBN: 978-3-540-32084-5
eBook Packages: Computer ScienceComputer Science (R0)