Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A law-based approach to object-oriented programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ICSE '89 Proceedings of the 11th international conference on Software engineering
Controllable delegation: an exercise in law-governed systems
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling the software process using coordination rules
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
| Hi-index | 0.00 |
It is self-evident that if one wants to model and control the cooperative process of software development, one must provide for cooperative decision making. In particular, one should be able to base the decision on whether and how to carry out a given operation on the consensus of several, possibly independent, agents. It is important to emphasize that this is not just a matter of computing the conjunction of some set of conditions. One must also provide a mechanism for establishing any desired consensus structure, which would specify who is allowed to state which kinds of concerns regarding this operation, and what the relationship among these concerns should be.In this paper we propose a general framework for such decision making by consensus, which is based on the concept of law-governed software development. As a concrete application domain in which to illustrate this framework, we consider here the issue of configuration binding.