Implemeting a component-based tool for interactive synthesis of UML statechart diagrams

Acta Cybernetica

Volumn 15, Issue 4, 2002, Pages 547-565

  Koskinen, Johannes ^a   Mäkinen, Erkki ^a   Systä, Tarja ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0036457157     PISSN: 0324721X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. Airaksinen J., Koskimies K., Koskinen J., Peltonen J., Selonen P., Siikarla M., Systä T.: xUMLi: Towards a tool-independent UML processing platform. The Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER), 2002, to appear.
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75 (1987), 87-106.
3. Balcázar, J.L., Díaz, J., Gavaldà, R., Watanabe, O.: Algorithms for learning finite automata from queries: a unified view. In D.-Z. Du, K.-I. Ko (eds.), Advances in Algorithms, Languages, and Complexity, Kluwer Academic Publishers, 1997, pp. 73-91.
4. Birkendorf, A., Böker, A., Simon, H.U.: Learning deterministic finite automata from smallest counterexamples. In Proc. 9th ACM/SIAM Symp. Discr. Alg. (SODA), January 1999, pp. 599-608.
5. Chung, P., Huang, Y., Yajnik, S.: DCOM and CORDA Side by Side, Step by Step, and Layer by Layer. [www-csag.ucsd.edu/individual/achien/cs491-f97/papers/ dcom-corba.html]
6. Driscoll, J.R., Sarnak, N., Sleator, D.D., Tarjan, R.E.: Making data structures persistent. J. Comput. Syst. Sci. 38 (1989), 86-124.
7. Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. International Journal of Foundations of Computer Science 13 (2002), 5-51.
8. Koskimies, K., Männistö, T., Systä, T., Tuomi, J.: Automated support for modeling OO software. IEEE Softw. 15 (1998), 87-94. (Pubitemid 128570796)
9. Koskinen, J.: Implementing MAS on Windows NT (In Finnish). M.Sc. Thesis, Software Systems Laboratory, Tampere University of Technology, 2000.
10. Koskinen, J., Mäkinen, E., Systä, T.: Minimally adequate synthesiser tolerates inaccurate information during behavioral modeling. In Proc. of SCASE'01, February 2001.
11. Koskinen, J., Peltonen, J., Selonen, P., Systä, T., Koskimies, K.: Towards tool assisted UML development environments. In SPLST'01, Szeged, June 2001.
12. Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In F.J. Ramming (ed.), Distributed and Parallel Embedded Systems, Kluwer Academic Publishers, 1999, pp. 61-71.
13. Leue, S., Mehrmann, L., Rezai, M.: Synthesizing software architecture descriptions from message sequence chart specification. In Proc. of the 13th IEEE International Conference on Automated Software Engineering (ASE98), October 1998, pp. 192-195.
14. Mäkinen, E., Systä, T.: MAS - an interactive synthesizer to support behavioral modeling in UML. In Proc. of the 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, 2001, pp. 15-24.
15. Mäkinen, E., Systä, T.: Minimally adequate teacher synthesizes statechart diagrams. Acta Inform. 38 (2002), 235-259.
16. Mehlhorn, K.: Data Structures and Algorithms 1: Sorting and Searching. Springer, 1984.
17. Microsoft Corporation: COM (Component Object Model). [http://msdn. microsoft.com/library/psdk/com/comportal-3qn9.htm], 2000.
18. Microsoft Corporation: Automation Start Page. [http://msdn.microsoft.com/ library/psdk/automat/autoportal-7l45.htm], 2000.
19. Microsoft Corporation: COM Clients and Servers. [http://msdn.microsoft. com/library/psdk/com/comext-8p2r.htm], 2000.
20. Microsoft Corporation: Interfaces and Pointers. [http://msdn.microsoft. com/library/psdk/com/com-37w3.htm], 2000.
21. OMG Corporation: OMG XML Metadata Interchange (XMI) Specification. [http://www.omg.org], 2000.
22. The Object Management Group. The Common Object Request Broker: Architecture and Specification, Revision 2.3.1. [http://www.omg.org/technology/ documents/formal/corba-2.htm], October 1999.
23. Rational Software Corporation. OMG Unified Modeling Language Specification v.1.3. [http://www.rational.com], 2000.
24. Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Inf. Comput. 103, (1993), 299-347.
25. Schönberger, S., Keller, R., Khriss, I.: Algorithmic support for transformations in object-oriented software development. To appear in Theory and Practice of Object Systems (TAPOS).
26. Selonen P., Koskimies K., Sakkinen M.: How to make apples from oranges in UML. In Proc. of HICSS-34, 2001.
27. Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In Proc. of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, 2000, pp. 314-323.
28. Wikman, J.: Evolution of a distributed repository-based architecture. In Proc. of the First Nordic Workshop on Software Architecture, Research Report 14/98, Dept. of Computer Science and Business Administration, University of Karlskrona/Ronneby, Sweden, 1998. [http://www.hk-r.se/fou/forskinfo.nsf/]