Programming and Computer Software

, Volume 33, Issue 6, pp 343–355 | Cite as

Tools for support of automata-based programming

  • V. S. Gurov
  • M. A. Mazin
  • A. S. Narvsky
  • A. A. Shalyto
Article

Abstract

A method for designing and implementing reactive object-oriented programs with explicit emphasis of states is suggested. The method relies on the automata-based programming (SWITCH-technology) and the UML notation. The UniMod tool based on this method, which is a plug-in module for the Eclipse platform, is described.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Sommerville, I., Software Engineering, Pearson Education, 2001, 6th ed.Google Scholar
  2. 2.
    Kuznetsov, S., UML 2.0: Promises and Disappointments, Otkrytye systemy, 2006, no. 2, pp. 75–79.Google Scholar
  3. 3.
    1st European Conf. on Model-Driven Software Engineering, Germany, 2003, http://www.agedis.de/conference.
  4. 4.
    Int. Workshop “e-Business and Model Based in System Design”, IBM EE/A. SPb.: SPb ETU, 2004.Google Scholar
  5. 5.
    OMG Model Driven Architecture, http://www.omg.org/mda.
  6. 6.
    Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language Reference Manual, Addison-Wesley, 1998.Google Scholar
  7. 7.
    Mellor, S. and Balcer, M., Executable UML: A Foundation for Model Driven Architecture, Addison-Wesley, 2002.Google Scholar
  8. 8.
    Raistrick, C., Francis, P., and Wright, J., Model Driven Architecture with Executable UML, Cambridge University Press, 2004.Google Scholar
  9. 9.
    Graham, I., Object-Oriented Methods: Principles and Practice, Addison-Wesley, 2000, 3d ed.Google Scholar
  10. 10.
    Wikipedia, Finite state machine. Tools, http://en.wikipedia.org/wiki/Finite_automaton#Tools.
  11. 11.
  12. 12.
  13. 13.
    Jacobson, I., Booch, G., and Rumbaugh, J., The Unified Software Development Process, Addison-Wesley, 1999.Google Scholar
  14. 14.
    Novikov, F., Visual Program Design, Informatsionnoupravlyayushchie systemy, 2005, no. 6, pp. 9–22, http://is.ifmo.ru/works/visualcons.
  15. 15.
    Harel, D., Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Program, 1987, vol. 8, pp. 231–274.MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
  17. 17.
  18. 18.
  19. 19.
  20. 20.
    IAR Systems visualSTATE, http://www.iar.com/p1014/p1014_eng.php.
  21. 21.
    The State Machine Compiler, http://smc.sourceforge.net.
  22. 22.
    Jia X. et al., Using ZOOM Approach to Support MDD, http://se.cs.depaul.edu/ise/zoom/papers/zoom/SERP_ZOOM.pdf.
  23. 23.
    Riehle, D., Fraleigh, S., Bucka-Lassen, D., and Omorogbe, N., The Architecture of a UML Virtual Machine, Proc. of the 2001 Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA’01), ACM 2001.Google Scholar
  24. 24.
    Matilda UML Virtual Machine, http://dssg.cs.umb.edu/projects/umlvm.
  25. 25.
  26. 26.
  27. 27.
    Shalyto, A.A., SWITCH-tekhnologiya. Algorithmizatsiya i programmirovanie zadach logicheskogo upravleniya (SWITCH-Technology: Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998, http://is.ifmo.ru/books/switch/1.Google Scholar
  28. 28.
    Shalyto, A.A. and Tukkel’, N.I., SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems, Programmirovanie, 2001, no. 5, pp. 45–62. [Programming Comput. Software (Engl. Transl.), 2001, vol. 27, no. 5, pp. 260–276].Google Scholar
  29. 29.
    Shalyto, A.A. and Tukkel’, N.I., Tanks and Automata, BYTE, Russia, 2003, no. 2, pp. 69–73, http://s.ifmo.ru/works/tanks_new.
  30. 30.
    MetaObject Facility Core Specification Version 2.0. http://www.omg.org/technology/documents/formal/MOF_Core.htm.
  31. 31.
    Gomaa, H., Designing Concurrent, Distributed, and Real-Time Applications with UML, Addison-Wesley, 2000.Google Scholar
  32. 32.
    Gurov, V.S., Mazin, M.A., and Shalyto, A.A., Operational Semantics of UML State Diagrams in the UniMod Software Package, Trudy XII Vserossiiskoi nauchnometodicheskoi konferentsii “Telematika-2005” (Proc. of the XII All-Russian Scientific Conference), St. Petersburg: SpbGU ITMO, vol. 1, pp. 74–76. http://tm.ifmo.ru/tm2005/scr/224as.pdf.
  33. 33.
    Velocity—Java-based template engine, http://jakarta.apache.org/velocity/index.html.
  34. 34.
    Fowler, M., Brant, J., Opdyke, W., and Roberts, D., Refactoring: Improving the Design of Existing Code, Addison-Wesley, 2000.Google Scholar
  35. 35.
    Fruchterman, T.M.J. and Reingold, E.M., Graph Drawing by Force Directed Placemen, Software—Practice and Experience, 1991, vol. 21, no. 11, pp. 1129–1164.CrossRefGoogle Scholar
  36. 36.
    Shalyto, A.A., A New Initiative in Programming: The Demand for Open Project Documentation, PC Week/RE, 2003, no. 40, pp. 38–42, http://is.ifmo.ru/works/open_doc.
  37. 37.
    Clarke, E., Grumberg, O., and Peled, D., Model Checking, MIT, 2000.Google Scholar
  38. 38.
    Dijkstra, E.W., Notes on Structured Programming, Structured Programming, Dahl, O.-J., Dijkstra, E.W., and Hoare, C.A.R., Eds., London: Academic, 1972.Google Scholar
  39. 39.
    Meyer, B., Object Oriented Software Construction, Prentice-Hall, 1997.Google Scholar
  40. 40.
  41. 41.
    Gorshkova, E.A. and Novikov, B.A., Use of Statechart Diagrams for Modeling Hypertext, Programmirovanie, 2004, no. 1, pp. 64–80 [Programming Comput. Software (Engl. Transl.), 2004, vol. 30, no. 1, pp. 47–51].Google Scholar
  42. 42.
    Gorshkova, E.A., Novikov, B.A., Belov, D.D., Gurov, V.S., and Spiridonov, S.V., A UML-Based Modeling of Web Application Controller, Programmirovanie, 2005, no. 1, pp. 44–51 [Programming Comput. Software (Engl. Transl.), 2005, vol. 31, no. 1, pp. 29–33].Google Scholar
  43. 43.
    Eckel, B., Thinking in Java, Prentice-Hall, 2002.Google Scholar
  44. 44.
    Parashchenko, D.A., Tsarev, F.N., and Shalyto, A.A., Modeling Technology Based on Automata-based programming for One Class of Multiagent Systems on the Example of Game “Competition of Flying Saucers,” http://is.ifmo.ru (UniMod Projects Section).
  45. 45.
    Shalyto, A.A., Two Meetings with I. Jacobson, http://is.ifmo.ru/aboutus/uml_ph, http://is.ifmo.ru/belletristic/jacobson.
  46. 46.
    Gurov, V., Narvsky, A., and Shalyto, A., Executable UML from Russia, PC Week/RE, 2005, no. 26, pp. 18–19, http://is.ifmo.ru/works/_umlrus.pdf.
  47. 47.
    Regan, P. and Hamilton, S., NASA’s Mission Reliable, 24–32, http://www.osp.ru/os/2004/03/045\_print.htm.

Copyright information

© Pleiades Publishing, Ltd. 2007

Authors and Affiliations

  • V. S. Gurov
    • 1
  • M. A. Mazin
    • 1
  • A. S. Narvsky
    • 1
  • A. A. Shalyto
    • 2
  1. 1.eVelopers CorporationSt. PetersburgRussia
  2. 2.St. Petersburg State University of Information Technologies, Mechanics, and OpticsSt. PetersburgRussia

Personalised recommendations