ACM Transactions on Programming Languages and Systems (TOPLAS)
A Methodology for Developing Distributed Programs
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Fairness in parallel programs: the transformational approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Refinement calculus, part II: parallel and reactive programs
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
The existence of refinement mappings
Theoretical Computer Science
The Z notation: a reference manual
The Z notation: a reference manual
Real-time specification and modeling with joint actions
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Interacting processes: a multiparty approach to coordinated distributed programming
Interacting processes: a multiparty approach to coordinated distributed programming
Specifying the Caltech asynchronous microprocessor
Science of Computer Programming - Special issue on mathematics of program construction
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Why interaction is more powerful than algorithms
Communications of the ACM
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Proceedings of the 20th international conference on Software engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent programming for the masses (invited address)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A framework for modeling transfer protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
An axiomatic basis for computer programming
Communications of the ACM - Special 25th Anniversary Issue
Communicating sequential processes
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
On fairness notions in distributed systems I.4: a characterization of implementability
Information and Computation
Aspect-oriented programming: Introduction
Communications of the ACM
Beyond calculation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Object-Oriented Development
Formal Object-Oriented Development
A Discipline of Programming
Program Development by Refinement: Case Studies Using the B Method
Program Development by Refinement: Case Studies Using the B Method
Modern Control Systems
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Serializability in Distributed Systems with Handshaking
ICALP '88 Proceedings of the 15th International Colloquium on Automata, Languages and Programming
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
Proceedings of the Workshop on Object-Oriented Technology
Composing Distributed Systems from Reusable Aspects of Behavior
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
Hybrid Models with Fairness and Distributed Clocks
Hybrid Systems
Hybrid Systems
Deriving Message Passing Protocols from Collective Behavior
DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems
An Action System Approach to the Steam Boiler Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
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
Action-Based Concurrency and Synchronization for Objects
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Action Systems in Pipelined Processor Design
ASYNC '97 Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Fairness and hyperfairness in multi-party interactions
Distributed Computing
ACM SIGACT news distributed computing column 13
ACM SIGACT News
Generating non-conspiratorial executions
Information Processing Letters
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
| Hi-index | 0.00 |
Action systems were first introduced as an execution model that made it possible to model distributed systems at a high level of abstraction and to refine these models into implementation descriptions. This paper describes how these initial ideas have developed into a formally based specification and design method for reactive systems, and discusses some related research. In this approach, TLA is adopted as programming logic, and action systems are extended with various language facilities. Systems are modeled as closed systems, which makes effective interface refinement possible. The associated design method is based on refinement by superposition, and the resulting specifications are layered structures, in which aspect-orientation is supported by the possibility to compose independent refinements of common base systems. A new kind of analysis of observations of concurrent executions shows that TLA-based fairness assumptions can be used also in high-level abstractions of distributed systems.