A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
From Action Systems to Modular Systems
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
SDL'03 Proceedings of the 11th international conference on System design
Deriving real-time action systems in a sampling logic
Science of Computer Programming
| Hi-index | 0.00 |
We propose a formal, time aware refinement of systems. The proposed timewise refinement method is a direct extension of the traditional refinement calculus of Action Systems. The adaptation provides a well-founded mathematical basis for the stepwise refinement of systems modelled with the time spiced Action Systems formalism. In the refinement of an abstract system into a more concrete one a designer must show that conditions of both functional and temporal properties are satisfied.