Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Proceedings of the 20th international conference on Software engineering
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Idioms and Patterns as Architectural Literature
IEEE Software
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Verification of Reactive Systems Using DisCo and PVS
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Planware ¾ Domain-Specific Synthesis of High-Performance Schedulers
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Abstractions of Distributed Cooperation, their Refinement and Implementation
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Automated Encapsulation of UML Activities for Incremental Development and Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
| Hi-index | 0.00 |
While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues to be a challenging task. This is especially true for distributed reactive systems. The joint action paradigm is a design methodology that concentrates on the collective behavior of objects. Aspects of collective behavior are gradually introduced in a controlled manner in a specification. This paper presents how such aspects can be archived as generic templates, and instantiated in such a way that formal properties verified for a template become properties of its application. Both design and verification effort are reused when a template is applied.