Synthesizing partial component-level behavior models from system specifications

ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2009, Pages 305-314

  Krka, Ivo ^a   Brun, Yuriy ^a   Edwards, George ^a   Medvidovic, Nenad ^a  

^a University of Southern California   (United States)

Author keywords

Behavior model synthesis; Constraints; Modal transition systems; Partial specifications; Scenarios

Indexed keywords

BEHAVIOR MODEL; DESIGN FLAWS; INDIVIDUAL SYSTEMS; MODAL TRANSITION SYSTEMS; NOVEL ALGORITHM; PARTIAL SPECIFICATIONS; PROPERTY SPECIFICATION; SOFTWARE DEVELOPMENT PRACTICES; SYSTEM LEVELS; SYSTEM SPECIFICATION;

ALGORITHMS; COMPUTER SOFTWARE; SPECIFICATIONS; SYNTHESIS (CHEMICAL);

MATHEMATICAL MODELS;

EID: 77949361809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1595696.1595756     Document Type: Conference Paper

References (21)

1. J. Ackermann and K. Turowski. A library of OCL specification patterns for behavioral specification of software components. In Proc. of CAiSE, 2006.
2. D. Alarjeh et al. Learning operational requirements from goal models. In Proc. of ICSE, 2009.
3. C. Damas et al. Generating annotated behavior models from end-user scenarios. IEEE TSE, 31(12), 2005.
4. C. Damas et al. Scenarios, goals, and state machines: a win-win partnership for model synthesis. In Proc. of FSE, 2006.
5. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Form. Meth. Syst. Des., 19(1), 2001.
6. G. de Caso et al. Validation of contracts using enabledness preserving finite state abstractions. In Proc. of ICSE, 2009.
7. D. Fischbein and S. Uchitel. On consistency and merge of modal transition systems. In Proc. of FSE, 2008.
8. D. Giannakopoulou and J. Magee. Fluent model checking for event-based systems. In Proc. of FSE, 2003.
9. D. Harel et al. Synthesis revisited: Generating statechart models from scenario-based requirements. Form. Meth. in Soft. and Sys. Modeling, 3393, 2005.
10. ITU. Message sequence charts, 2000.
11. I. Krka, G. Edwards, Y. Brun, and N. Medvidovic. From system specification to component behavioral models. In Proc. ICSE NIER, 2009.
12. K. G. Larsen and B. Thomsen. A modal process logic. Logic in Computer Science, 1988.
13. E. Mäkinen et al. MAS - an interactive synthesizer to support behavioral modeling in UML. In Proc. of ICSE, 2001.
14. R. Milner. Communication and concurrency. Prentice-Hall, 1989.
15. MTSGen. http://www-scf.usc.edu/~krka/MTSGen.zip.
16. D. Pilone and N. Pitman. UML 2.0 in a Nutshell. O'Reilly Media, Inc., 2005.
17. G. Sibay et al. Existential live sequence charts revisited. In Proc. of ICSE, 2008.
18. S. Uchitel et al. Behaviour model elaboration using partial labelled transition systems. In Proc. of ESEC/FSE, 2003.
19. S. Uchitel et al. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM TOSEM, 13(1), 2004.
20. S. Uchitel et al. Behaviour model synthesis from properties and scenarios. In Proc. of ICSE, 2007.
21. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Proc. of ICSE, 2000.