An Object-Oriented Component Model for Heterogeneous Nets

Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consist of subnets with different quality: Some components are tightly connected with order preservation of communicated messages, whereas others are more loosely connected such that overtaking of messages and even message loss may occur. Furthermore, certain components may communicate over wireless networks, where sending and receiving must be synchronized, since the wireless medium cannot buffer messages. This paper proposes a formal framework for such systems, which allows high-level modeling and formal analysis of distributed systems where interaction is managed by a variety of nets, including wireless ones. We introduce a simple modeling language for object-oriented components, extending the Creol language. An operational semantics for the language is defined in rewriting logic, which directly provides an executable implementation in Maude.

[1]  Jessie Dedecker,et al.  Actors for Mobile Ad-Hoc Networks , 2004, EUC.

[2]  Anne Elisabeth Haxthausen,et al.  Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings , 2008, ICTAC.

[3]  Einar Broch Johnsen,et al.  An Asynchronous Communication Model for Distributed Concurrent Objects , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[4]  Grady Booch.  Architecting web-based systems with the unified modeling language , 1999 .

[5]  Andrea J. Goldsmith,et al.  Design challenges for energy-constrained ad hoc wireless networks , 2002, IEEE Wirel. Commun..

[6]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[7]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[8]  David E. Culler,et al.  A Network-Centric Approach to Embedded Software for Tiny Devices , 2001, EMSOFT.

[9]  Narciso Martí-Oliet,et al.  Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[10]  Michael Stonebraker,et al.  The Morgan Kaufmann Series in Data Management Systems , 1999 .

[11]  Einar Broch Johnsen,et al.  Creol: A type-safe object-oriented model for distributed concurrent systems , 2006, Theor. Comput. Sci..

[12]  H. Zimmermann,et al.  OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection , 1980, IEEE Transactions on Communications.

[13]  Einar Broch Johnsen,et al.  An Asynchronous Communication Model for Distributed Concurrent Objects , 2004, SEFM.

[14]  Sridhar Iyer,et al.  Cross-layer design optimizations in wireless protocol stacks , 2004, Comput. Commun..

[15]  Peter Csaba Ölveczky,et al.  Specification of real-time and hybrid systems in rewriting logic , 2002, Theor. Comput. Sci..

[16]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[17]  Zohra Bellahsene,et al.  Advances in Object-Oriented Information Systems , 2002, Lecture Notes in Computer Science.

[18]  José Meseguer,et al.  A Rewriting Based Model for Probabilistic Distributed Object Systems , 2003, FMOODS.

[19]  Mahesh Viswanathan,et al.  Verisim: Formal analysis of network simulations , 2000, ISSTA '00.

[20]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[21]  Grzegorz Rozenberg,et al.  Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings , 1992 .

[22]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[23]  José Meseguer,et al.  Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools , 2004, IJCAR.

[24]  Mehul Motani,et al.  The road ahead for cross-layer design , 2005, 2nd International Conference on Broadband Networks, 2005..

[25]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.

[26]  Thomas A. Henzinger,et al.  Logics and Models of Real Time: A Survey , 1991, REX Workshop.

[27]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[28]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[29]  Peter Csaba Ölveczky,et al.  Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude , 2007, FMOODS.

[30]  Bernhard K. Aichernig,et al.  Testing Concurrent Objects with Application-Specific Schedulers , 2008, ICTAC.

[31]  M. Motani,et al.  Cross-layer design: a survey and the road ahead , 2005, IEEE Communications Magazine.

[32]  Dilia E. Rodriguez.  On Modelling Sensor Networks in Maude , 2006, WRLA.

[33]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..