Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
The blackboard model of problem solving
AI Magazine
Worlds: an organizing structure for object-bases
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
CommonLoops: merging Lisp and object-oriented programming
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Computer-supported cooperative work: a book of readings
Computer-supported cooperative work: a book of readings
The group paradigm for concurrency control
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Implementation of a knowledge-based programming environment
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Commutativity-based concurrency control for abstract data types
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Object-oriented concepts, databases, and applications
Object-oriented concepts, databases, 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
A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Concurrency control and object-oriented databases
Object-oriented concepts, databases, and applications
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object management in a CASE environment
ICSE '89 Proceedings of the 11th international conference on Software engineering
A hierarchical and functional software process description and its enaction
ICSE '89 Proceedings of the 11th international conference on Software engineering
The process model of the aspect IPSE
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Altruistic locking
A transaction model supporting complex applications in integrated information systems
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems (TODS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Database Support for Knowledge-Based Engineering Environments
IEEE Expert: Intelligent Systems and Their Applications
A Flexible Transaction Model for Software Engineering
Proceedings of the Sixth International Conference on Data Engineering
Split-Transactions for Open-Ended Activities
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Parallelism in production systems
Parallelism in production systems
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)
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Prototyping a Process Monitoring Experiment
IEEE Transactions on Software Engineering
A bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Prototyping a process monitoring experiment
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Abstract data type support in Prolog and its relation to parallelism
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
A Comparative Review of Process-Centered Software Engineering Environments
Annals of Software Engineering
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
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)
PoliS: a programming model for multiple tuple spaces
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Rule-based process servers for software development environments
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A proposed approach to process decomposition and collaboration for MARVEL
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
The emergence of object-oriented technology: the role of community
Behaviour & Information Technology
Hi-index | 0.00 |
The problem of cooperative work in the software development domain is explored, and a solution that combines object-oriented programming with rule-based modeling is proposed. The solution divides the problem into three components: how to detect potential conflicts between developers' concurrent activities, how to specify the consistency requirements of a project, and how to use the consistency specification to resolve potential conflicts. The focus is on the first component; the other two are merely sketched. The solution exploits recent advances in object-oriented databases, extended transaction models, and computer-supported cooperative work, all of which provide clues as to how to support cooperation while guaranteeing data consistencyed.