论文信息 - A Plug-In for Flexible and Incremental Consistency Management

A Plug-In for Flexible and Incremental Consistency Management

The problem of inconsistency detection and management is central to the development of large and complex software systems. Although sufficient support for model consistency is a crucial prerequisite for the successful and effective application of CASE tools, the current tool support is rather limited. In this paper we present a flexible and incremental consistency management realized in the Open Source UML CASE tool Fujaba. The consistency management is highly configurable and can be adapted individually to user, project or domain specific demands. For the specification of syntactical consistency rules we provide a built-in formalism based on graph grammars.

[1] Alexander F. Egyed. Automatically Validating Model Consistency during Refinement , 2001 .

[2] Anthony Finkelsteiin. A Foolish Consistency: Technical Challenges in Consistency Management , 2000 .

[3] Heinrich Hußmann,et al. OCL as a Specification Language for Business Rules in Database Applications , 2001, UML.

[4] Hartmut Ehrig,et al. Consistency analysis of UML class and se-quence diagrams using attributed graph grammars , 2000 .

[5] Wolfgang Emmerich,et al. Flexible consistency checking , 2003, TSEM.

[6] Bashar Nuseibeh,et al. Leveraging Inconsistency in Software Development , 2000, Computer.

[7] Holger Giese,et al. Tool Integration at the Meta-Model Level within the FUJABA Tool Suite , 2003 .

[8] Holger Giese,et al. Towards the compositional verification of real-time UML designs , 2003, ESEC/FSE-11.

[9] Grzegorz Rozenberg,et al. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[10] Gabriele Taentzer,et al. Consistency Checking and Visualization of OCL Constraints , 2000, UML.

[11] Reiko Heckel,et al. Graph Grammars with Negative Application Conditions , 1996, Fundam. Informaticae.

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

[13] Reiko Heckel,et al. A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.