Summary report of the OOPSLA 2000 workshop on scenario-based round-trip engineering

ABSTRACT

This report summarizes the Workshop on Scenario-Based Round-Trip Engineering held in Minneapolis, Minnesota, USA, on October 16, 2000, in conjunction with the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000). The workshop consisted of a keynote and seven presentations, which were organized into three sessions: From Interaction Diagrams to State Machines, Forward Engineering, and Reverse Engineering. Altogether nine position papers were accepted. The workshop web page, including the papers, the presentations, and the electronic version of this report, can be found at <http://www.cs.uta.fi/~cstasy/oopsla2000/workshop.html>.

REFERENCES

• 1: Dana Angluin, Learning regular sets from queries and counterexamples, Information and Computation, v.75 n.2, p.87-106, November 1, 1987 [doi>10.1016/0890-5401(87)90052-6]
• 2: Bojić D. and Velašević D.: UCRA Approach to Scenario-based Round-trip Engineering, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 51-56.
• 3: Bordeleau F. and Corriveau J.-P.: From Scenarios to Hierarchical State Machines: A Pattern-Based Approach, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 13-18.
• 4: R. J. A. Buhr , R. S. Casselman, Use case maps for object-oriented systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
• 5: Demeyer S., Ducasse S., and Nierstrasz O.: Interview during Demo: a Sample Reverse Engineering Pattern, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 45-50.
• 6: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 7: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 8: Dean Jerding , Spencer Rugaber, Using Visualization for Architectural Localization and Extraction, Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97), p.56, October 06-08, 1997
• 9: ITU-T Recommendation Z.120: Message Sequence Chart (MSC), ITU-T, Geneva, 1996.
• 10: Ivar Jacobson , Grady Booch , James Rumbaugh, The unified software development process, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 11: Wim De Pauw , Richard Helm , Doug Kimelman , John Vlissides, Visualizing the behavior of object-oriented systems, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.326-337, September 26-October 01, 1993, Washington, D.C., United States
• 12: Kai Koskimies , Tarja Systä , Jyrki Tuomi , Tatu Männistö, Automated Support for Modeling OO Software, IEEE Software, v.15 n.1, p.87-94, January 1998 [doi>10.1109/52.646888]
• 13: Krüger I: Distributed System Design with Message sequence Charts, PhD thesis, Technische Universität München, 2000. (http://tumbl.biblio.tu-muenchen.de/publ/diss/in/2000/krueger.html)
• 14: Ingolf Krüger , Radu Grosu , Peter Scholz , Manfred Broy, From MSCs to statecharts, Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, p.61-71, October 1998, Scholoß Eringerfeld, Germany
• 15: Krüger I.: Notational and Methodical Issues in Forward Engineering with MSCs, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 19-25.
• 16: Letelier P., Ramos I., Sánchez P., and Pastor O.: Object- oriented Conceptual Modeling using a Formal Approach. Servicio de Publicaciones Universidad Politécnica de Valencia, SPUPV-98.4011, 1998. (in Spanish).
• 17: Stefan Leue , Mohammad Rezai, Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications, Proceedings of the 13th IEEE international conference on Automated software engineering, p.192, October 13-16, 1998
• 18: Mäkinen E. and Systä T.: An Interactive approach for synthesizing UML statechart diagrams from Sequence Diagrams, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 7-12.
• 19: Mäkinen E., Systä T.: Minimally adequate teacher designs software, Dept. of Computer and Information Sciences, University of Tampere, Report A-2000-7, April 2000. Submitted. (ftp://ftp.cs.uta.fi/pub/reports/pdf/A-2000-7.pdf)
• 20: Mäkinen E., Systä, T.: Implementing minimally adequate synthesizer, Dept. of Computer and Information Sciences, University of Tampere, Report A-2000-9, June 2000. (ftp://ftp.cs.uta.fi/pub/reports/pdf/A-2000-9.pdf)
• 21: Object Management Group, Unified modeling language specification version 1.3, Available from Rational Software Corporation, Cupertino, CA; June 1999.
• 22: Peltonen J. and Selonen P.: Visual tool support for scenario-based software engineering, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 38-44.
• 23: Peltonen J.: Visual Scripting Language for UML-based CASE tools, in Proc. of ICSSEA 2000, Volume 3, Paris, France, 2000.
• 24: Rational Software Corporation: The Unified Modeling Language Notation Guide v.1., http://www.rational.com, 2000.
• 25: James Rumbaugh , Ivar Jacobson , Grady Booch, The Unified Modeling Language reference manual, Addison-Wesley Longman Ltd., Essex, UK, 1998
• 26: Sánchez P., Letelier P., and Ramos I.: Validation of Conceptual Models by Animation in a Scenario-based Approach, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 32-37.
• 27: Schönberger S., Keller R., Khriss I.: Algorithmic Support for Model Transformation in Object-Oriented Software Development, In Concurrency Practice & Experience (Theory and Practice of Object Systems, TAPOS), 13, John Wiley & Sons, 2001. To appear.
• 28: Selonen P. and Systä T.: Scenario-based Synthesis of Annotated Class Diagrams in UML, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 26-31.
• 29: Stephane Some , Rachida Dssouli , Jean Vaucher, From Scenarios to Timed Automata: Building Specifications from Users Requirements, Proceedings of the Second Asia Pacific Software Engineering Conference, p.48, December 06-09, 1995
• 30: Systä, T.: Static and Dynamic Reverse Engineering Techniques for Java Software Systems. Ph. D. Dissertation, Dept. of Computer and Information Sciences, University of Tampere, May 2000.
• 31: Jon Whittle , Johann Schumann, Generating statechart designs from scenarios, Proceedings of the 22nd international conference on Software engineering, p.314-323, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337217]
• 32: Whittle J.: On the Relationship Between UML Sequence Diagrams and State Diagrams, in Proc. of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October 2000, 1-6.
• 33: Wikman J.: Evolution of a Distributed Repository-Based Architecture. (http://www.ide.hk-.se/~bosch/NOSA98/JohanWikman.pdf), 1998.