An Abstract Communication Model

We present an abstract communication model. The model is quite general even though it was developed in the process of specifying a particular network architecture, namely the Universal Plug and Play (UPnP) architecture. The generality of the model has been confirmed by its reuse for different architectures. The model is based on distributed abstract state machines and implemented in the specification language AsmL.

[1]  Dick Hamlet,et al.  The engineering of software : technical foundations for the individual , 2001 .

[2]  Douglas E. Comer,et al.  Internetworking with TCP/IP - Principles, Protocols, and Architectures, Fourth Edition , 1988 .

[3]  Paul Klint,et al.  Semantics of programming languages: a tool-oriented approach , 1999, SIGP.

[4]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[5]  Egon Börger,et al.  Java and the Java Virtual Machine: Definition, Verification, Validation , 2001 .

[6]  Margus Veanes,et al.  Universal Plug and Play Machine Models Modeling with Distributed Abstract State Machines , 2002 .

[7]  Andreas Blass,et al.  Abstract state machines capture parallel algorithms , 2003, TOCL.

[8]  Yuri Gurevich,et al.  The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions , 1995, CSL.

[9]  Egon Börger,et al.  High Level System Design and Analysis Using Abstract State Machines , 1998, FM-Trends.

[10]  Grady Booch,et al.  Essential COM , 1998 .

[11]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[12]  Yuri Gurevich,et al.  The Semantics of the C Programming Language , 1992, CSL.

[13]  Margus Veanes,et al.  High-level executable specification of the universal plug and play architecture , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[14]  Wolfram Schulte,et al.  Conformance Checking of Components Against Their Non-deterministic Specifications , 2001 .

[15]  Egon Börger,et al.  The Origins and the Development of the ASM Method for High Level System Design and Analysis , 2002, J. Univers. Comput. Sci..

[16]  Paul C. Clements,et al.  A survey of architecture description languages , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[17]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[18]  Egon Brger,et al.  Formal de nition of an abstract VHDL''''93 simulator by EA - machines , 1995 .

[19]  Margus Veanes,et al.  Universal Plug and Play Machine Models , 2002, DIPES.

[20]  Yuri Gurevich,et al.  Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[21]  Nikolai Tillmann,et al.  Partial Updates: Exploration , 2001, J. Univers. Comput. Sci..

[22]  Andreas Prinz,et al.  Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models , 2001, Journal of universal computer science (Online).

[23]  Jan Heering,et al.  Application Software, Domain-Specific Languages, and Language Design Assistants , 2000, ArXiv.