Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
COCS '91 Proceedings of the conference on Organizational computing systems
Obstacles in object-oriented software development
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Guardians and actions: linguistic support for robust, distributed programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communication Support for Reliable Distributed Computing
Proceedings of the Asilomar Workshop on Fault-Tolerant Distributed Computing
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Nesting Actions through Asynchronous Message Passing: the ACS Protocol
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Integrating Constraints with an Object-Oriented Language
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '91 Proceedings of the Workshop on Object-Based Concurrent Computing
Definition of Reusable Concurrent Software Components
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
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 reflective model for first class dependencies
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
A modular approach to real-time synchronization
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Executable connectors: towards reusable design elements
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Synthesis and optimization of coordination controllers for distributed embedded systems
Proceedings of the 37th Annual Design Automation Conference
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Towards reusable real-time objects
Annals of Software Engineering
Support for Implementation of Evolutionary Concurrent Systems
International Journal of Parallel Programming
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
A Group Based Approach for Coordinating Active Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Modular Object-Oriented Design of Distributed Protocols
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Future Generation Computer Systems - Special issue: Parallel computing technologies
A specification language for coordinated objects
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Actor frameworks for the JVM platform: a comparative analysis
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Component coordination in middleware systems
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
Future Generation Computer Systems - Special issue: Parallel computing technologies
Dynamic synchronization: a synchronization model through behavioral reflection
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Role-Based declarative synchronization for reconfigurable systems
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
On the design and implementation of parallel programs through coordination
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Automated inference of atomic sets for safe concurrent execution
Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
Science of Computer Programming
Hi-index | 0.00 |
We have developed language support for the expression of multi-object coordination. In our language, coordination patterns can be specified abstractly, independent of the protocols needed to implement them. Coordination patterns are expressed in the form of constraints that restrict invocation of a group of objects. Constraints are defined in terms of the interface of the objects being invoked rather than their internal representation. Invocation constraints enforce properties, such as temporal ordering and atomicity, that hold when invoking objects in a group. A constraint can permanently control access to a group of objects, thereby expressing an inherent access restriction associated with the group. Furthermore, a constraint can temporarily enforce access restrictions during the activity of individual clients. In that way, constraints can express specialized access schemes required by a group of clients.