Modeling concurrency in rule-based development environments

1 December 1990

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Expert

Vol. 5 (6) , 15-27
https://doi.org/10.1109/64.63185

Abstract

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 consistency.

Keywords

This publication has 16 references indexed in Scilit:

Preliminary experience with process modeling in the MARVEL software development environment kernel
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Compiling complex database transition triggers
Published by Association for Computing Machinery (ACM) ,1989
The group paradigm for concurrency control
ACM SIGMOD Record, 1988
The process model of the aspect IPSE
Published by Association for Computing Machinery (ACM) ,1988
Sagas
Published by Association for Computing Machinery (ACM) ,1987
CommonLoops: merging Lisp and object-oriented programming
Published by Association for Computing Machinery (ACM) ,1986
A transaction model supporting complex applications in integrated information systems
Published by Association for Computing Machinery (ACM) ,1985
Multilevel atomicity—a new correctness criterion for database concurrency control
ACM Transactions on Database Systems, 1983
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems, 1983
The notions of consistency and predicate locks in a database system
Communications of the ACM, 1976