Model Driven Synthesis of Behavioral Models from Textual Use Cases
Software system’s requirements are often specified by textual use cases due to their concrete and narrative style of expression. However, textual use cases have limitation in the synthesis of behavior since they have a poor basis for the formal interpretation. Existing synthesis techniques are either largely manual or focused on the use case interactions. In this paper, we present a framework from a model-based point of view to automatically synthesize system behavior from textual use cases to Petri net model. The generated Petri net model can describe component module interactions, and can be checked with the model checking tools. We have implemented our framework and demonstrated the synthesis process via an example.
KeywordsSystem requirement use case metamodel behavior metamodel Petri net model transformation
Unable to display preview. Download preview PDF.
- 1.Breaux, T.D., Anton, A.I., Doyle, J.: Semantic Parameterization: A Process for Modeling Domain Descriptions. ACM Transactions on Software Engineering and Methodology 18(2), Article 5 (2008)Google Scholar
- 2.Cockburn, A.: Writing Effective Use Cases. Addison-Wesley (2001)Google Scholar
- 8.Kof, L.: Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics. In: Proceedings of RE 2007, pp. 121–130 (2007)Google Scholar
- 10.Milner, R.: Communication and Concurrency. Prentice- Hall (1989)Google Scholar
- 11.Plasil, F., Mencl, V.: Getting ’Whole Picture’ Behavior in a Use Case Model. Transactions of the SDPS: Journal of Integrated Design and Process Science 7(4), 63–79 (2003)Google Scholar
- 13.Uchitel, S., Kramer, J., Magee, J.: Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Transactions on Software Engineering and Methodology 13(1) (2004)Google Scholar
- 14.Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: Proceedings of ICSE (2000)Google Scholar