A CASE Tool for Robot Behavior Development

  • Angeliki Topalidou-Kyniazopoulou
  • Nikolaos I. Spanoudakis
  • Michail G. Lagoudakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7500)


The development of high-level behavior for autonomous robots is a time-consuming task even for experts. This paper presents a Computer-Aided Software Engineering (CASE) tool, named Kouretes Statechart Editor (KSE), which enables the developer to easily specify a desired robot behavior as a statechart model utilizing a variety of base robot functionalities (vision, localization, locomotion, motion skills, communication). A statechart is a compact platform-independent formal model used widely in software engineering for designing software systems. KSE adopts the Agent Systems Engineering Methodology (ASEME) model-driven approach. Thus, KSE guides the developer through a series of design steps within a graphical environment that leads to automatic source code generation. We use KSE for developing the behavior of the Nao humanoid robots of our team Kouretes competing in the Standard Platform League of the RoboCup competition.


Transition Expression Eclipse Modeling Framework Case Tool Robot Behavior Graphical Modeling Framework 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baik, J., Boehm, B.: Empirical analysis of CASE tool effects on software development effort. ACIS International Journal of Computer and Information Science 1, 1–10 (2000)Google Scholar
  2. 2.
    Paraschos, A., Spanoudakis, N.I., Lagoudakis, M.G.: Model-driven behavior specification for robotic teams. In: Proceedings of The Eighth International Conference on Autonomous Agents and Multiagent Systems (AAMAS), Valencia, Spain (June 2012)Google Scholar
  3. 3.
    Harel, D., Naamad, A.: The Statemate semantics of statecharts. ACM Transactions on Software Engineering and Methodology 5, 293–333 (1996)CrossRefGoogle Scholar
  4. 4.
    Spanoudakis, N.I., Moraitis, P.: Using ASEME methodology for model-driven agent systems development. In: Weyns, D., Gleizes, M.-P. (eds.) AOSE 2010. LNCS, vol. 6788, pp. 106–127. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Paraschos, A.: Monas: A flexible software architecture for robotic agents. Diploma thesis, Technical University of Crete, Greece (2010)Google Scholar
  6. 6.
    Vazaios, E.: Narukom: A distributed, cross-platform, transparent communication framework for robotic teams. Diploma thesis, Technical University of Crete, Greece (2010)Google Scholar
  7. 7.
    Spanoudakis, N.I., Moraitis, P.: The agent modeling language (AMOLA). In: Dochev, D., Pistore, M., Traverso, P. (eds.) AIMSA 2008. LNCS (LNAI), vol. 5253, pp. 32–44. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  8. 8.
    Eugster, P.T., Felber, P.A., Guerraoui, R., Kermarrec, A.M.: The many faces of publish/subscribe. ACM Computing Surveys 35, 114–131 (2003)CrossRefGoogle Scholar
  9. 9.
    Hayes-Roth, B.: A blackboard architecture for control. Artificial Intelligence 26(3), 251–321 (1985)CrossRefGoogle Scholar
  10. 10.
    Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)CrossRefGoogle Scholar
  11. 11.
    Spanoudakis, N.I., Moraitis, P.: Gaia agents implementation through models transformation. In: Yang, J.-J., Yokoo, M., Ito, T., Jin, Z., Scerri, P. (eds.) PRIMA 2009. LNCS, vol. 5925, pp. 127–142. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  12. 12.
    ISO/IEC: Extended Backus-Naur form (EBNF). 14977 (1996)Google Scholar
  13. 13.
    Loetzsch, M., Risler, M., Jungel, M.: XABSL - a pragmatic approach to behavior engineering. In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 5124–5129 (October 2006)Google Scholar
  14. 14.
    Risler, M.: Behavior Control for Single and Multiple Autonomous Agents Based on Hierarchical Finite State Machines. PhD thesis, Technische Universität Darmstadt, Germany (2009)Google Scholar
  15. 15.
    Spanoudakis, N., Moraitis, P.: Modular JADE agents design and implementation using ASEME. In: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT), Toronto, Canada (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Angeliki Topalidou-Kyniazopoulou
    • 1
  • Nikolaos I. Spanoudakis
    • 2
  • Michail G. Lagoudakis
    • 1
  1. 1.Department of ECETechnical University of CreteChaniaGreece
  2. 2.Department of SciencesTechnical University of CreteChaniaGreece

Personalised recommendations