Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Integration of Mechanical CAD and Behavioral Modeling
BMAS '00 Proceedings of the 2000 IEEE/ACM international workshop on Behavioral modeling and simulation
IV '99 Proceedings of the 1999 International Conference on Information Visualisation
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
In this paper, we investigate the problem of automated consistency management between different views of a single system design. As individual view models evolve, consistency is often lost. Ensuring consistency between different views requires periodic concerted efforts from the model designers involved. In general, the detection of inconsistencies and recovering from them is a tedious, error-prone and at best semi-automated process. Automated techniques can alleviate the problem. We focus on a representative sub-set of the problem: consistency between geometric (Computer-Aided Design -- CAD) models of a mechanical system, and the corresponding dynamics simulation models. We illustrate our approach by means of a simple example and use the SolidEdge CAD tool and the Modelica modelling language to model the different views. We analyze how to model a relation between the two views, which will assure consistency. If such a relation can be defined between the two views, consistency verification as well as change propagation to preserve consistency after one of the views has changed must still be derived. We conclude that consistency relation models and the derived change propagation operations can very elegantly be represented using Triple Graph Grammars.