Synthesizing state-machine behaviour from UML collaborations and Use Case Maps

Lecture Notes in Computer Science

Volumn 3530, Issue , 2005, Pages 339-359

  Martínez, Humberto Nicolás Castejón ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; TELECOMMUNICATION SERVICES;

STATE-MACHINE; UML COLLABORATIONS; USE CASE MAPS (UCM);

STANDARDS;

EID: 26444461281     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506843_24     Document Type: Conference Paper

References (19)

1. Rößler, F., Geppert, B., Gotzhein, R.; Collaboration-based design of SDL systems. In Reed, R., Reed, J., eds.: SDL '01: Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML. Volume 2078 of Lecture Notes in Computer Science., Springer-Verlag (2001) 72-89
2. Fisler, K., Krishnamurthi, S.: Modular verification of collaboration-based software designs. In: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, ACM Press (2001) 152-163
3. Object Management Group: UML 2.0 Superstructure Specification. (2004)
4. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. 2nd edn. Addison-Wesley (2004)
5. Bordeleau, F., Corriveau, J.P.: On the importance of inter-scenario relationships in hierarchical state machine design. In Hußmann, H., ed.: FASE '01: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering. Volume 2029 of Lecture Notes in Computer Science., Springer-Verlag (2001) 156-170
6. Buhr, R.J.A., Casselman, R.S.: Use case maps for object-oriented systems. Prentice-Hall, Inc. (1996)
7. Buhr, R.J.A.: Use case maps as architectural entities for complex systems. IEEE Transactions of Software Engineering 24 (1998) 1131-1155
8. Sanders, R.T., Bræk, R.: Modeling peer-to-peer service goals in uml. In: SEFM '04: Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM'04), IEEE Computer Society (2004) 144-153
9. Leue, S., Mehrmann, L., Rezai, M.: Synthesizing ROOM models from message sequence chart specifications. Technical report, Dept. of Electrical and Computer Engineering (1998)
10. Mansurov, N., Zhukov, D.: Automatic synthesis of SDL models in use case methodology. In Dssouli, R., von Bochmann, G., Lahav, Y., eds.: SDL Forum, Elsevier (1999) 225-240
11. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE '00: Proceedings of the 22nd international conference on Software engineering, ACM Press (2000) 314-323
12. Krüger, L, Grosu, R., Scholz, P., Broy, M.: From mscs to statecharts. In: DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, Kluwer Academic Publishers (1999) 61-71
13. Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng. 29 (2003) 99-115
14. Mäkinen, E., Systä, T.: MAS - an interactive synthesizer to support behavioral modelling in UML. In: ICSE '01: Proceedings of the 23rd International Conference on Software Engineering, IEEE Computer Society (2001) 15-24
15. Bordeleau, F.: A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines. PhD thesis, Department of Systems and Computer Engineering, Faculty of Engineering,Carleton University, Ottawa (1999)
16. Sales, I.: A bridging methodology for internet protocols standards development. Master's thesis, School of Information Technology and Engineering (S.I.T.E.), Faculty of Engineering, University of Ottawa, Ontario (2001)
17. He, Y., Amyot, D., Williams, A.W.: Synthesizing SDL from use case maps: An experiment. In: SDL Forum. (2003) 117-136
18. Miga, A.: Application of use case maps to system design with tool support. Master's thesis, Dept. of Systems and Computer Engineering, Carleton University,Ottawa (1998)
19. Use Case Maps Web Page and UCM User Group, http://www.usecasemaps.org.