Coordination languages and their significance
Communications of the ACM
Evolving algebras 1993: Lipari guide
Specification and validation methods
Kermit: specification and verification
Specification and validation methods
Coordination programming: mechanisms, models and semantics
Coordination programming: mechanisms, models and semantics
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Semantics of programming languages: a tool-oriented approach
ACM SIGPLAN Notices
Internetworking with TCP/IP, Volume 1: Principles, Protocols, and Architectures, Fourth Edition
Internetworking with TCP/IP, Volume 1: Principles, Protocols, and Architectures, Fourth Edition
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Universal Plug and Play Machine Models
DIPES '02 Proceedings of the IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems: Design and Analysis of Distributed Embedded Systems
High-Level Executable Specification of the Universal Plug and Play Architecture
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Runtime verification of .NET contracts
Journal of Systems and Software - Special issue on: Component-based software engineering
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Generating a compiler for SDL from the formal language definition
SDL'03 Proceedings of the 11th international conference on System design
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Computational Modeling of Criminal Activity
EuroISI '08 Proceedings of the 1st European Conference on Intelligence and Security Informatics
Using partial models to support the testing of distributed systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
The CoreASM modeling framework
Software—Practice & Experience
Yuri, logic, and computer science
Fields of logic and computation
A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Computational modeling and experimental validation of aviation security procedures
ISI'06 Proceedings of the 4th IEEE international conference on Intelligence and Security Informatics
AsmL-based concurrency semantic variations for timed use case maps
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Brief announcement: monitoring of linear distributed computations
DISC'06 Proceedings of the 20th international conference on Distributed Computing
A tactic-driven process for developing reusable components
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
An abstract machine architecture for web service based business process management
BPM'05 Proceedings of the Third international conference on Business Process Management
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Relativity and abstract state machines
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
| Hi-index | 0.00 |
In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another; it can be lost or corrupted in the process. Here, we present a realistic but high-level communication model where abstract communicators represent various nets and subnets. The model was originally developed in the process of specifying a particular network architecture, namely, the Universal Plug and Play architecture. But, it is general. Our contention is that every message-based distributed system, properly abstracted, gives rise to a specialization of our abstract communication model. The purpose of the abstract communication model is not to design a new kind of network; rather, it is to discover the common part of all message-based communication networks. The generality of the model has been confirmed by its successful reuse for very different distributed architectures. The model is based on distributed abstract state machines. It is implemented in the specification language AsmL and is used for testing distributed systems.