Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Object-oriented concurrent programming ABCL/1
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
ACT++: building a concurrent C++ with actors
Journal of Object-Oriented Programming
Object-oriented real-time language design: constructs for timing constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Toward a method of object-oriented concurrent programming
Communications of the ACM
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Real-time object-oriented modeling
Real-time object-oriented modeling
Toward a discipline of real-time programming
Communications of the ACM
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
A Language Framework for Multi-Object Coordination
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
Problems, Promises and Performance: Some Questions for Real-time System Specification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Foundations of Actor Semantics
Foundations of Actor Semantics
A modular approach to real-time synchronization
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Making C++ concurrent and real-time
ACM SIGPLAN Notices - Special issue: HOPL-II. (See )
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
DynamiCS: An Actor-Based Framework for Negotiating Mobile Agents
Electronic Commerce Research - Special issue on agents in electronic commerce
Towards reusable real-time objects
Annals of Software Engineering
Correction to Making C++ Concurrent and Real-time
ACM SIGPLAN Notices
Real-Time Coordination in Distributed Multimedia Systems
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Coordination of Systems with Real-Time Properties in Manifold
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Future Generation Computer Systems - Special issue: Parallel computing technologies
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Quality of service aware distributed object systems
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Quality of services specification in distributed object systems design
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Future Generation Computer Systems - Special issue: Parallel computing technologies
A time and interaction model for open distributed timing computation
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Ten years of analyzing actors: Rebeca experience
Formal modeling
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Compositional construction of real-time dataflow networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Analysing timed Rebeca using McErlang
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Hi-index | 0.00 |
We argue that the specification of an object's functional behavior and the timing constraints imposed on it may be separated. Specifically, we describe RTsynchronizer, a high-level programming language construct for specifying real-time constraints between objects in a distributed concurrent system. During program execution, RTsynchronizers affect the scheduling of distributed objects to enforce real-time relations between events. Objects in our system are defined in terms of the actor model extended with timing assumptions. Separation of the functional behaviors of actors and the timing constraints on patterns of actor invocation provides at least three important advantages. First, it simplifies code development by separating design concerns. Second, multiple timing constraints can be independently specified and composed. And finally, a specification of timing constraints can be reused even if the representation of the functional behavior of actors has changed, and conversely.A number of examples are given to illustrate the use of RTsynchronizers. These examples illustrate how real-time constraints for periodic events, simultaneous events, exception handling, and producer-consumer may be specified.