Abstract
Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps are being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU-T’s family of languages. UCM models focus on the description of functional requirements and high-level designs at early stages of the development process. How a system is executed over time and how this may affect its correctness and performance, however, are introduced later in the development process which may require considerable changes in design or even worse at the requirement analysis level. We believe that timing aspects must be integrated into the system model, and this must be done already at an early stage of development. This paper introduces an approach to describe timing constraints in Use Case Maps specifications. We present a formal semantics of Timed UCM in terms of Clocked Transition Systems (CTS). We illustrate our approach using an example of a simplified wireless system.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
Amyot, D.: Introduction to the user requirements notation: learning by example. Computer Networks: The International Journal of Computer and Telecommunications Networking 42(3), 285–301 (2003)
Amyot, D., Andrade, R.: Description of wireless intelligent network services with Use Case Maps. In: SBRC 1999, 17th Simposio Brasileiro de Redes de Computadores, Salvador, Brazil, May 1999, pp. 418–433 (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, June 1999, pp. 44–53 (1999), http://www.UseCaseMaps.org/pub/re99.pdf
Amyot, D.: Formalization of Time threads Using LOTOS. Master Thesis, Department of Computer Science, University of Ottawa, Canada (1994)
Bornot, S., Sifakis, J., Tripakis, S.: Modeling Urgency in Timed Systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, p. 103. Springer, Heidelberg (1998)
Buhr, R.J.A., Elammari, M., Gray, T., Mankovski, S.: Applying Use Case Maps to multiagent systems: A feature interaction example. In: 31st Annual Hawaii International Conference on System Sciences (1998)
Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis, University of Twente (2002)
Flake, S., Müller, W.: A UML Profile for Real-Time Constraints with the OCL. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, p. 179. Springer, Heidelberg (2002)
Hassine, J., Rilling, J., Dssouli, R.: An Abstract Operational Semantics for Use Case Maps. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 366–380. Springer, Heidelberg (2005)
Hassine, J., Dssouli, R., Rilling, J.: Applying Reduction Techniques to Software Functional Requirement Specifications. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 138–153. Springer, Heidelberg (2005)
Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 545–558. Springer, Heidelberg (1992)
ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002)
ITU-T - International Telecommunications Union. Recommendation Z.150 (02/03), User Requirements Notation (URN) - Language Requirements and Framework. Geneva, Switzerland (2003)
ITU-T, URN Focus Group, Draft Rec. Z.152 - UCM: Use Case Map Notation (UCM). Geneva. Switzerland (September 2003)
Knapp, A., Merz, S., Rauh, C.: Model Checking - Timed UML State Machines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 395–416. Springer, Heidelberg (2002)
Lavazza, L., Quaroni, G., Venturelli, M.: Combining uml and formal notions for modelling real-time systems. In: Joint 8th European Software Engineering Conference, 9th ACM SIGSOFT. ACM SIGSOFT, New York (2001)
Manna, Z., Pnueli, A.: Clocked transition systems. In: Pnueli, A., Lin, H. (eds.) Logic and Software Engineering, pp. 3–42. World Scientific, Singapore (1996)
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)
OMG. Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04 (March 2002)
OMG Unified Modeling Language Specification, Version 1.5 (June 2002)
Object Management Group: UML 2.0 Superstructure Specification (2004)
OMG Unified Modeling Language Specification - Object Constraint Language Version 2.0 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hassine, J., Rilling, J., Dssouli, R. (2006). Timed Use Case Maps. In: Gotzhein, R., Reed, R. (eds) System Analysis and Modeling: Language Profiles. SAM 2006. Lecture Notes in Computer Science, vol 4320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11951148_7
Download citation
DOI: https://doi.org/10.1007/11951148_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68371-1
Online ISBN: 978-3-540-68373-5
eBook Packages: Computer ScienceComputer Science (R0)