Abstract
Capturing the behavior of a system by use cases have been intensively investigated in the last decade. The challenge is to find both the adequate model that fits the needs of the analyst and a formal composition mechanism which helps the generation of the expected behavior. In this paper, we propose a formal approach for specifying and composing use cases based on assignments. Those assignments are used to express new use cases. An assignment provides the join points and the composition operators that will be taken into account during the composition. These join points are, in fact, determined through a model checking step. They represent states where a property defined by the analyst holds. In order to evaluate these assignments, we define a composition mechanism based on the well known concept of synchronized product.
Chapter PDF
Similar content being viewed by others
References
Clarke, E.M., Grumberg, J.O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison Wesley, Reading (2000)
Mizouni, R., Salah, A., Dssouli, R., Kolahi, S.: Role of Variables and Interactions in Use Case Compositio. In: New Technologies for Distributed Systems (NOTERE 2006), Toulouse, France (2006)
Salah, A., Mizouni, R., Dssouli, R., Parreaux, B.: Formal composition of distributed scenarios. In: de Frutos-Escrig, D., Núñez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 213–228. Springer, Heidelberg (2004)
Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. of Foundations of Computer Science 13, 5–51 (2002)
Koskimies, K., Mäkinen, E.: Automatic Synthesis of State Machines from Trace Diagrams. Software-Practice and Experience 24, 643–658 (1994)
Mäkinen, E., Systä, T.: MAS – An Interactive Synthesizer to Support Behavioral Modeling in UML. In: ICSE 2001, Toronto, Canada (2001)
Dssouli, R., Some, S., Vaucher, J., Salah, A.: Service creation environment based on scenarios. Information and Software Technology 41, 697–713 (1999)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Transactions on Software Engineering 29, 99–115 (2003)
Jon Whittle, J.S.: Generating statechart designs from scenarios. In: The 22nd International Conference on Software Engineering (2000)
Amyot, D., Cho, W.D., He, X., He, Y.: Generating Scenarios from Use Case Map Specifications. In: Third International Conference on Quality Software (QSIC 2003), Dallas (November 2003)
Glinz, M.: An integrated formal model of scenarios based on statecharts. In: Proceedings of the Fifth European Software Engineering Conference (1995)
Ryser, J., Glinz, M.: Dependency Charts as a Means to Model Inter-Scenario
Dependencies. In: Engels, G., Oberweis, A., Zündorf, A.(eds.): Modellierung 2001. GI-Workshop, vol. P-1, Bad Lippspringe, Germany (2001)
Bordeleau, F., Corriveau, J.-P.: On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, p. 156. Springer, Heidelberg (2001)
Araújo, J.W.J., Kim, D.-K.: Modeling and Composing Scenario-Based Requirements with Aspects. In: The 12th IEEE International Requirements Engineering Conference (RE 2004), Kyoto, Japan (2004)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Distributed and Parallel Embedded Systems (1998)
Salah, A., Dssouli, R., Lapalme, G.: Compiling real-time scenarios into a Timed Automaton. In: FORTE: International Conference on Formal Techniques for Networked and Distributed Systems (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Mizouni, R., Salah, A., Kolahi, S., Dssouli, R. (2006). Composition of Use Cases Using Synchronization and Model Checking. In: Najm, E., Pradat-Peyre, JF., Donzeau-Gouge, V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11888116_22
Download citation
DOI: https://doi.org/10.1007/11888116_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46219-4
Online ISBN: 978-3-540-46220-0
eBook Packages: Computer ScienceComputer Science (R0)