Existential live sequence charts revisited

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 41-50

  Sibay, German ^a   Uchitel, Sebastian ^a   Braberman, Victor ^a  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

MTS; Partial behaviour models; Scenarios; Synthesis

Indexed keywords

CASE-BASED APPROACHES; LANGUAGE SEMANTICS; LIVE SEQUENCE CHARTS; MTS; PARTIAL BEHAVIOUR MODELS; SCENARIO-BASED SPECIFICATIONS; SCENARIOS; SYNTHESIS; SYNTHESIS ALGORITHMS; BEHAVIOUR MODELS; CASE-BASED APPROACH; LIVE SEQUENCE CHART; MODAL TRANSITION SYSTEMS;

FLOWCHARTING; GRAPHIC METHODS; INFORMATION THEORY; SEMANTICS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; COMPUTER SOFTWARE; LINGUISTICS;

LINGUISTICS; MATHEMATICAL MODELS;

EID: 57349101759     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368095     Document Type: Conference Paper

References (18)

1. Y. Bontemps, P. Heymans, and P.-Y. Schobbens. From live sequence charts to state machines and back: A guided tour. IEEE TSE, 31(12):999-1014, 2005.
2. 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.
3. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In FMOODS, vol. 139 of IFIP Conference Proceedings, 1999.
4. D. Fischbein and S. Uchitel. "On Consistency and Merge of MTS". In International Workshop on Living with Uncertainty, ASE'07, 2007.
5. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Int. J. on Foundations on Computer Science, 13(1) :5-51, 2002.
6. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.
7. ITU. Recommendation z.120: Message sequence charts. ITU, 2000.
8. J. Kramer, J. Magee, and M. Sloman. "CONIC: an Integrated Approach to Distributed Computer Control Systems". IEE Proceedings, 130(1): 1-10, 1983.
9. I. Kruger. "Distributed system design with message sequence charts". PhD thesis, Technical University of Munich, 2000.
10. H. Kugler, M. J. Stern, and E. J. A. Hubbard. Testing scenario-based models. In Fundamental Approaches to Software Engineering, volume 4422 of LNCS, pages 306-320. Springer, 2007.
11. K. Larsen and B. Thomsen. "A Modal Process Logic". In Logic in Computer Science, pages 203-210, 1988.
12. A. W. Roscoe, editor. A classical mind: essays in honour of C. A. R. Hoare. Prentice Hall International (UK) Ltd., Hertfordshire, UK, UK, 1994.
13. B. Sengupta and R. Cleaveland. Triggered message sequence charts. IEEE TSE, 32(8):587-607, 2006.
14. S. Uchitel, G. Brunet, and M. Chechik. Behaviour model synthesis from properties and scenarios. International Conference on Software Engineering, pp. 34-43, 2007.
15. S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In Foundations of Software, Engineering, pages 43-52, 2004.
16. S. Uchitel, J. Kramer, and J. Magee. "Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios". ACM TOSEM, 13(1), 2004.
17. K. Zachos, N. Maiden, and A. Tosar. Rich-media scenarios for discovering requirements. IEEE Software, 22(5):89-97, 2005.
18. T. Ziadi, L. Helouet, and J.-M. Jezequel. Revisiting statechart synthesis with an algebraic approach. In International Conference on Software Engineering, pp. 242-251, 2004.