German Sibay
Sebastian Uchitel
Victor Braberman
ABSTRACT
Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios.
In this paper we define a novel scenario-based specification language with an existential semantics and that supports conditional specification of behaviour in the form of prechart and main chart. The language semantics is consistent with existing informal scenario-based and use-case based approaches to requirements engineering. The language provides a good fit with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios.
In addition, we define a novel synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfy a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario.
- Y. Bontemps, P. Heymans, and P.-Y. Schobbens. From live sequence charts to state machines and back: A guided tour. IEEE Transactions on Software Engineering, 31(12):999--1014, 2005. Google Scholar
Digital Library
- Y. Bontemps, P.-Y. Schobbens, and C. Löding. Synthesis of open reactive systems from scenario-based specifications. Fundam. Inform., 62(2):139--169, 2004. Google ScholarDigital Library
- W. Damm and D. Harel. Lscs: Breathing life into message sequence charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, FMOODS, volume 139 of IFIP Conference Proceedings. Kluwer, 1999. Google ScholarDigital Library
- D. Fischbein and S. Uchitel. On Consistency and Merge of MTS. In Submitted to International Workshop on Living with Uncertainty, ASE'07, 2007.Google Scholar
- D. Harel and H. Kugler. Synthesizing state-based object systems from lsc specifications. Int. J. Found. Comput. Sci., 13(1):5--51, 2002.Google ScholarCross Ref
- D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003. Google ScholarDigital Library
- ITU. Recommendation z.120: Message sequence charts. ITU, 2000.Google Scholar
- J. Kramer, J. Magee, and M. Sloman. CONIC: an Integrated Approach to Distributed Computer Control Systems. IEE Proceedings, 130(1):1--10, 1983.Google ScholarCross Ref
- I. Kruger. Distributed system design with message sequence charts. PhD thesis, Technical University of Munich, 2000.Google Scholar
- H. Kugler, M. J. Stern, and E. J. A. Hubbard. Testing scenario-based models. In M. B. Dwyer and A. Lopes, editors, FASE, volume 4422 of Lecture Notes in Computer Science, pages 306--320. Springer, 2007. Google ScholarDigital Library
- K. Larsen and B. Thomsen. A Modal Process Logic. In LICS'88, pages 203--210, 1988.Google ScholarCross Ref
- A. W. Roscoe, editor. A classical mind: essays in honour of C. A. R. Hoare. Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1994. Google ScholarDigital Library
- B. Sengupta and R. Cleaveland. Triggered message sequence charts. IEEE Transactions on Software Engineering, 32(8):587--607, 2006. Google ScholarDigital Library
- S. Uchitel, G. Brunet, and M. Chechik. Behaviour model synthesis from properties and scenarios. icse, 00:34--43, 2007. Google ScholarDigital Library
- S. Uchitel and M. Chechik. Merging Partial Behavioural Models. In FSE'04, pages 43--52, 2004. Google ScholarDigital Library
- S. Uchitel, J. Kramer, and J. Magee. Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios. ACM TOSEM, 13(1), 2004. Google ScholarDigital Library
- K. Zachos, N. Maiden, and A. Tosar. Rich-media scenarios for discovering requirements. IEEE Software, 22(5):89--97, 2005. Google ScholarDigital Library
- T. Ziadi, L. Helouet, and J.-M. Jezequel. Revisiting statechart synthesis with an algebraic approach. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 242--251, Washington, DC, USA, 2004. IEEE Computer Society. Google ScholarDigital Library
Index Terms
- Existential live sequence charts revisited
Recommendations
Synthesizing Modal Transition Systems from Triggered Scenarios
Synthesis of operational behavior models from scenario-based specifications has been extensively studied. The focus has been mainly on either existential or universal interpretations. One noteworthy exception is Live Sequence Charts (LSCs), which ...
Triggered Message Sequence Charts
This paper introduces Triggered Message Sequence Charts (TMSCs), a graphical, mathematically well-founded framework for capturing scenario-based system requirements of distributed systems. Like Message Sequence Charts (MSCs), TMSCs are graphical ...
Transformation from live sequence charts to colored Petri nets
SCSC '07: Proceedings of the 2007 Summer Computer Simulation ConferenceA tool called LSC2CPN has been developed to reduce the gap between informal and formal methods of loosely coupled distributed software specification, verification, and validation. This tool reads the Live Sequence Chart (LSC) model as an input and ...
Comments