Consistency management for complex applications

Consistency management is important in many complex applications, but current languages and database systems inadequately support it. To address this limitation, we defined a consistency management model and incorporated it into the PLEIADES object management system. This paper illustrates some typical consistency management requirements and discusses the requirements in terms of both functionality and cross-cutting concerns that affect how this functionality is provided. It then describes the model and some design and implementation issues that arose in instantiating it. Finally, we discuss user feedback and future research plans.

[1]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[2]  E HuffKaren,et al.  A plan-based intelligent assistant that supports the software development , 1988 .

[3]  Reidar Conradi,et al.  Concepts for evolving software processes , 1994 .

[4]  Lori A. Clarke,et al.  Data flow analysis for verifying properties of concurrent programs , 1994, SIGSOFT '94.

[5]  Sergio Bandinelli,et al.  Computational reflection in software process modeling: The SLANG approach , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[6]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[7]  David S. Rosenblum.  Towards A Method Of Programming With Assertions , 1992, International Conference on Software Engineering.

[8]  Stanley M. Sutton,et al.  A Flexible Consistency Model for Persistent Data in Software-Process Programming Languages , 1990, Workshop on Persistent Objects.

[9]  Reidar Conradi,et al.  EPOS: object-oriented cooperative process modelling , 1994 .

[10]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[11]  Gail E. Kaiser,et al.  Modeling Concurrency in Rule-Based Development , 1990 .

[12]  Lori A. Clarke,et al.  PLEIADES: an object management system for software engineering environments , 1993, SIGSOFT '93.

[13]  Dennis Heimbigner,et al.  APPL/A: a language for software process programming , 1995, TSEM.

[14]  Debra J. Richardson,et al.  TAOS: Testing with Analysis and Oracle Support , 1994, ISSTA '94.

[15]  Stanley M. Sutton,et al.  Preconditions, Postconditions, and Provisional Execution in Software Processes , 1995 .

[16]  Alejandro P. Buchmann,et al.  A Generalized Constraint and Exception handler for an Object-Oriented CAD-DBMS , 1986, OODBS.

[17]  R. Kadia.  Issues encountered in building a flexible software development environment: lessons from the Arcadia project , 1992 .

[18]  David Maier,et al.  Development and Implementation of an Object-Oriented DBMS , 1987, Research Directions in Object-Oriented Programming.

[19]  Craig Schaffert,et al.  CLU Reference Manual , 1984, Lecture Notes in Computer Science.

[20]  Hamid Pirahesh,et al.  Extensions to Starburst: objects, types, functions, and rules , 1991, CACM.

[21]  Gail E. Kaiser,et al.  Modeling concurrency in rule-based development environments , 1990, IEEE Expert.

[22]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.

[23]  David J. DeWitt,et al.  Algebraic support for complex objects with arrays, identity, and inheritance , 1991, SIGMOD '91.

[24]  Gail E. Kaiser,et al.  Concurrency control in advanced database applications , 1991, CSUR.

[25]  Peter Buneman,et al.  Types and persistence in database programming languages , 1987, CSUR.

[26]  Wilhelm Schäfer,et al.  MERLIN: supporting cooperation in software development through a knowledge-based environment , 1994 .

[27]  Volker Gruhn,et al.  An Evaluation of FUNSOFT Nets , 1992, EWSPT.

[28]  Leon J. Osterweil,et al.  The design of a next-generation process language , 1997, ESEC '97/FSE-5.

[29]  Dewayne E. Perry.  Policy-directed Coordination And Cooperation , 1991, Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process'.

[30]  Bashar Nuseibeh,et al.  Coordinating distributed ViewPoints: the Anatomy of a Consistency Check , 1994 .

[31]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

[32]  Lori A. Clarke,et al.  Object management support for the construction of complex applications , 1996 .

[33]  Sergio Bandinelli,et al.  Process modeling in-the-large with SLANG , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[34]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA '87.

[35]  David C. Luckham,et al.  An Overview of Anna, a Specification Language for Ada , 1985, IEEE Software.

[36]  Gail E. Kaiser,et al.  Intelligent assistance for software development and maintenance , 1988, IEEE Software.

[37]  Lori A. Clarke,et al.  An advanced system for the verification and validation of real-time avionics software , 1992, [1992] Proceedings IEEE/AIAA 11th Digital Avionics Systems Conference.