Object composition in scenario-based programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4961 LNCS, Issue , 2008, Pages 301-316

  Atir, Yoram ^a   Harel, David ^a   Kleinbort, Asaf ^a   Maoz, Shahar ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); FLOWCHARTING; GRAPHIC METHODS; PROGRAM INTERPRETERS; SEMANTICS; SOFTWARE ENGINEERING;

BASED SPECIFICATION; COMPOSITION ALGORITHM; CONFERENCES (CHEMICAL INDUSTRY); EUROPEAN; HEIDELBERG (CO); INTERNATIONAL (CO); INTERNATIONAL CONFERENCES; LIVE SEQUENCE CHARTS (LSCS); OBJECT COMPOSITION; OPERATIONAL SEMANTICS; PARTIAL ORDER SEMANTICS; SCENARIO-BASED PROGRAMMING; SEQUENCE DIAGRAMS; TRACE-BASED SEMANTICS;

INFORMATION THEORY;

EID: 47249083086     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78743-3_23     Document Type: Conference Paper

References (20)

1. S2A Website, http://www.wisdom.weizmann.ac.il/∼maozs/s2a/
2. Telelogic Rhapsody, http://www.telelogic.com/
3. Atir, Y.: Object Refinement and Composition in Scenario-Based Programming: An LSC Extension. Master's thesis, The Weizmann Institute of Science (2005)
4. Atir, Y., Harel, D., Kleinbort, A., Maoz, S.: Object Composition in Scenario-Based Programming. Technical report, The Weizmann Institute of Science (2007)
5. Booch, G.: Object-Oriented Analysis and Design with Applications. Benjamin/Cummings (1994)
6. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. Addison-Wesley, Reading (2005)
7. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45-80 (2001)
8. Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer 34(1), 53-60 (2001)
9. Harel, D., Kleinbort, A., Maoz, S.: S2A: A compiler for multi-modal UML sequence diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 121-124. Springer, Heidelberg (2007)
10. Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling (2007)
11. Harel, D., Marelly, R.: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
12. Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Software and Systems Modeling 4(4), 355-357 (2005)
13. ITU. Recommendation Z.120: Message Sequence Charts. Technical report, (1996)
14. Knuth, D.E.: The Art of Computer Programming. Sorting and Searching, vol. III. Addison-Wesley, Reading (1998)
15. Krüger, I.: Distributed System Design with Message Sequence Charts. PhD thesis, Institut für Informatik, Ludwig-Maximilians-Universität München (2000)
16. Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into Aspect J. In: Proc. 14th Int. ACM/SIGSOFT Symp. Foundations of Software Engineering (FSE-14), Portland, Oregon (November 2006)
17. Marelly, R., Harel, D., Kugler, H.: Multiple Instances and Symbolic Variables in Executable Sequence Charts. In: Proc. 17th ACM Conf. on Object-Oriented Prog., Systems, Lang. and App. (OOPSLA 2002), Seattle, WA, pp. 83-100 (2002)
18. Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. Software Eng. 29(2), 99-115 (2003)
19. UML. Unified Modeling Language Superstructure Specification, v2.0. OMG spec., OMG (August 2005), http://www.omg.org
20. Whittle, J., Kwan, R., Saboo, J.: From scenarios to code: An air traffic control case study. Software and Systems Modeling 4(1), 71-93 (2005)