Pantaxou: a domain-specific language for developing safe coordination services

ABSTRACT

Coordinating entities in a networked environment has always been a significant challenge for software developers. In recent years, however, it has become even more difficult, because devices have increasingly rich capabilities, combining an ever larger range of technologies (networking, multimedia, sensors, etc.).

To address this challenge, we propose a language-based approach to covering the life-cycle of applications coordinating networked entities. Our approach covers the characterization of the networked environment, the specification of coordination applications, the verification of a networked environment and its deployment. It is carried out in practice by a domain-specific language, named Pantaxou.

This paper presents the domain-specific language Pantaxou, dedicated to the development of applications for networked heterogeneous entities. Pantaxou has been used to specify a number of coordination scenarios in areas ranging from home automation to telecommunications. The language semantics has been formally defined and a compiler has been developed. The compiler verifies the coherence of a coordination scenario and generates coordination code in Java.

REFERENCES

• 1: Jonathan Aldrich , Craig Chambers , David Notkin, ArchJava: connecting software architecture to implementation, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581365]
• 2: Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
• 3: F. Arbab , I. Herman , P. Spilling, An overview of Manifold and its implementation, Concurrency: Practice and Experience, v.5 n.1, p.23-70, Feb. 1993 [doi>10.1002/cpe.4330050103]
• 4: M. Barbuceanu and M. S. Fox. Cool: A language for describing coordination in multiagent systems. In V. Lesser and L. Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 17--24, San Francisco, CA, USA, 1995. AAAI Press.
• 5: Peter Barron , Vinny Cahill, YABS:: a domain-specific language for pervasive computing based on stigmergy, Proceedings of the 5th international conference on Generative programming and component engineering, October 22-26, 2006, Portland, Oregon, USA [doi>10.1145/1173706.1173730]
• 6: L. Berger , Anne-Marie Dery , Mireille Blay-Fornarino, Interactions Between Objects: An Aspect of Object-Oriented Languages, Workshop ion on Object-Oriented Technology, p.422-423, July 20-24, 1998
• 7: BlueCove group, http://code.google.com/p/bluecove/. BlueCove: Java library for Bluetooth.
• 8: Jessie Dedecker , Tom Van Cutsem , Stijn Mostinckx , Theo D'Hondt , Wolfgang De Meuter, Ambient-oriented programming, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA [doi>10.1145/1094855.1094867]
• 9: W. Jouve, D. Cassou, J. Mercadal, C. Consel, and J. Lawall. Architecturing distributed applications. Technical report, INRIA/LaBRI, 2008.
• 10: Wilfried Jouve , Julien Lancia , Nicolas Palix , Charles Consel , Julia Lawall, High-level Programming Support for Robust Pervasive Computing Applications, Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications, p.252-255, March 17-21, 2008 [doi>10.1109/PERCOM.2008.9]
• 11: W. Jouve, N. Palix, C. Consel, and P. Kadionik. A SIP-based programming framework for advanced telephony applications. In The 2nd Conference on Principles, Systems and Applications of IP Telecommunications (IPTComm'08), page 11, Heidelberg, Germany, July 2008.
• 12: Oliver Krone , Fabrice Chantemargue , Thierry Dagaeff , Michael Schumacher, Coordinating autonomous entities with STL, ACM SIGAPP Applied Computing Review, v.6 n.2, p.18-32, Sept. 1998 [doi>10.1145/297114.297118]
• 13: Mohan Kumar , Behrooz A. Shirazi , Sajal K. Das , Byung Y. Sung , David Levine , Mukesh Singhal, PICO: A Middleware Framework for Pervasive Computing, IEEE Pervasive Computing, v.2 n.3, p.72-79, July 2003 [doi>10.1109/MPRV.2003.1228529]
• 14: Marco Mamei , Franco Zambonelli, Programming Pervasive and Mobile Computing Applications with the TOTA Middleware, Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04), p.263, March 14-17, 2004
• 15: C. Mascolo, S. Hailes, L. Lymberopoulos, G. P. Picco, P. Costa, G. Blair, P. Okanda, T. Sivaharan, W. Fritsche, M. Karl, M. A. Rónai, K. Fodor, and A. Boulis. Survey of middleware for networked embedded systems. Technical report, FP6 IP "RUNES", 2005.
• 16: Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302410]
• 17: Object Management Group (OMG), Framingham, USA. Audio/Video Stream Specification, Jan. 2000.
• 18: Object Management Group (OMG). Streams for CCM Specification, July 2005.
• 19: Object Management Group (OMG). CORBA Component Model Specification, Apr. 2006.
• 20: OMG. CORBA: The Common Object Request Broker: Architecture and Specification. Object Management Group, 1995.
• 21: George A. Papadopoulos , Farhad Arbab, Coordination models and languages, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1998
• 22: Anand Ranganathan , Shiva Chetan , Jalal Al-Muhtadi , Roy H. Campbell , M. Dennis Mickunas, Olympus: A High-Level Programming Model for Pervasive Computing Environments, Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications, p.7-16, March 08-12, 2005 [doi>10.1109/PERCOM.2005.26]
• 23: Manuel Román , Christopher Hess , Renato Cerqueira , Anand Ranganathan , Roy H. Campbell , Klara Nahrstedt, Gaia: a middleware platform for active spaces, ACM SIGMOBILE Mobile Computing and Communications Review, v.6 n.4, p.65-67, October 2002 [doi>10.1145/643550.643558]
• 24: Sun Microsystem. RPC: Remote procedure call protocol specification, version 2. Technical report, Sun Microsystem, 1988.
• 25: Sun Microsystems, Inc, http://java.sun.com/javase/technologies/core/basic/rmi/. Java Remote Method Invocation.
• 26: Fen Zhu , Matt W. Mutka , Lionel M. Ni, Service Discovery in Pervasive Computing Environments, IEEE Pervasive Computing, v.4 n.4, p.81-90, October 2005 [doi>10.1109/MPRV.2005.87]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed applications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Modules and interfaces

General Terms:
Design, Languages, Reliability, Verification

Keywords:
architecture description languages, coordination languages, distributed systems, domain-specific languages, safety