Consistency management in a process environment

Abstract Software inconsistency is primarily caused by changes. Changing a software product may cause other products to change. Moreover, changing a part of product (sub-product) usually causes other parts to change too. This paper covers software consistency management supports of advanced process environment research (Aper) by (1) decomposing software products into sub-products and establishing relationships among products and sub-products, and (2) defining trigger processes and consistency conditions in relationships. When a (sub-)product is changed, relationships can be traced to identify the affected ones. Trigger processes then dictate developers to handle the affected ones, which normally need to change accordingly. Meanwhile, consistency conditions should be kept among (sub-)products. Violation of the conditions will result in exceptions, which require handling by developers.

[1]  Dennis Heimbigner,et al.  Software process modeling and execution within virtual environments , 1998, TSEM.

[2]  Jason Jen-Yen Chen,et al.  CSPL: An Ada95-Like, Unix-Based Process Environment , 1997, IEEE Trans. Software Eng..

[3]  Noureddine Belkhatir,et al.  Supporting Software Development Processes in Adele 2 , 1994, Comput. J..

[4]  Katsuro Inoue,et al.  Hakoniwa: Monitor and navigation system for cooperative development based on activity sequence model , 1993, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement.

[5]  Carlo Ghezzi,et al.  Solfware process model evolution in the SPADE environment : The evolution of software processes , 1993 .

[6]  S.-F. J. Choua,et al.  Process evolution support in concurrent software process language environment , 1999 .

[7]  Tomasz Imielinski,et al.  Integrity checking for multiple updates , 1985, SIGMOD '85.

[8]  Jason Jen-Yen Chen,et al.  CSPL: a process-centred environment , 1994, Inf. Softw. Technol..

[9]  Soon-Young Huh.  An object-oriented database model for a change management framework in workgroup computing systems , 1998, Inf. Softw. Technol..

[10]  Reidar Conradi,et al.  Techniques for Process Model Evolution in EPOS , 1993, IEEE Trans. Software Eng..

[11]  Jason Jen-Yen Chen,et al.  An Ada-like software process language , 1994, J. Syst. Softw..

[12]  Gail E. Kaiser,et al.  Database support for knowledge-based engineering environments , 1988, IEEE Expert.

[13]  Shih-Chien Chou,et al.  Enacting object-oriented methods by a process environment , 1998, Inf. Softw. Technol..

[14]  John C. Grundy,et al.  Supporting Flexible Consistency Management via Discrete Change , 1996, Softw. Pract. Exp..

[15]  Thomas Ludwig.  Database support for knowledge based systems , 1994 .

[16]  Wilhelm Schäfer,et al.  Concepts and implementation of a rule-based process engine/sup +/ , 1992, International Conference on Software Engineering.

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

[18]  Hendrik Decker,et al.  Integrity Enforcement on Deductive Databases , 1986, Expert Database Conf..