Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
IEEE Transactions on Software Engineering
Analysis of hard real-time communications
Real-Time Systems
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
A modular approach to real-time synchronization
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
A modular approach to programming distributed real-time systems
Journal of Parallel and Distributed Computing - Special issue on object-oriented real-time systems
Composing synchronization and real-time constraints
Journal of Parallel and Distributed Computing - Special issue on object-oriented real-time systems
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Formalizing multimedia QoS constraints using actors
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
The Definition of Standard ML
Using Real Time Constraints for Modularisation
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications
PARLE '91 Proceedings of Parallel Architectures and Languages - Volume II
Modeling and Analysing DART Systems Through High-Level Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Modular schedulability analysis of concurrent objects in creol
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Composing real-time concurrent objects: refinement, compatibility and schedulability
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
| Hi-index | 0.00 |
This paper proposes a modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm. The actor language fosters a development life cycle where the same concepts and entities migrate unchanged from specification down to design and object-oriented implementation. The paper concentrates on the specification and analysis of distributed real-time systems using Coloured Petri Nets. Both functional and temporal properties can be validated by simulation and occurrence graphs in the context of the Design/CPN tools.