ABSTRACT
Structural consistency is crucial in [email protected]. Since the designer is usually not around at run time the running system needs to be able to detect and resolve inconsistencies automatically. This requires means to formally express consistency requirements in and between models. In this vision paper we informally introduce the formalism of Graph Diagrams which can serve as a notation for multiple [email protected] and their relationships as a basis for structural consistency analysis.
- Blair, G., Bencomo, N. and France, R. B. 2009. [email protected]. Computer volume 42, 22--27 Google ScholarDigital Library
- Blumendorf, M., Lehmann, G. and Albayrak, S. 2010. Bridging Models and Systems at Runtime to Build Adaptive User Interfaces. Proceedings of the EICS '10 Google ScholarDigital Library
- Braun, N., Cissée, R. and Albayrak, S. 2007. An agent-based approach to user-initiated semantic service interconnection. Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering, 49--62, USA Google ScholarDigital Library
- Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Souchon, N., Bouillon, L., Florins, M. and Vanderdonckt, J. 2002. Plasticity of User Interfaces: A Revised Reference Framework. TAMODIA '02: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, INFOREC Publishing House Bucharest, 127--134 Google ScholarDigital Library
- de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G. 2005. Attributed graph transformation with node type inheritance: Long version. Technical report, THEOR. COMPUT. SCI Google ScholarDigital Library
- Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G. 2006. Fundamentals of Algebraic Graph Transformation. Editorial Springer. Google ScholarDigital Library
- Galvão, I. and Goknil, A 2007. Survey of Traceability Approaches in Model-Driven Engineering. Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, IEEE Computer Society, 313--324 Google ScholarDigital Library
- Habel, A. and Pennemann, K. H. 2009. Correctness of high-level transformation systems relative to nested conditions. Mathematical Structures in Computer Science 19, 245--296, National Center for Biotechnology Information Google ScholarDigital Library
- Hermann, F., Ehrig, H. and Taentzer, G. 2008. A typed attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. In Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06). Volume 211., Amsterdam, Elsevier Science, 261--269 Google ScholarDigital Library
- Sottet, J. S., Calvary, G. and Favre, J. M. 2006. Towards Mappings and Models Transformations for Consistency of Plastic User Interfaces. The Many Faces of Consistency, Workshop CHI 2006, Montréal, Québec, Canada, April 22--23Google Scholar
- Vogel, T., Neumann, S., Hildebrandt, S., Giese, H., Becker, B. and Ghosh, S. (Ed.) 2010. Incremental Model Synchronization for Efficient Run-Time Monitoring Models in Software Engineering. Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4--9, 2009, Reports and Revised Selected Papers, Springer, 6002, 124--139 Google ScholarDigital Library
Index Terms
- Expressing model relations as basis for structural consistency analysis in [email protected]
Recommendations
Model-driven development of DSML execution engines
MRT '12: Proceedings of the 7th Workshop on [email protected]The combination of domain-specific modeling languages and model-driven engineering techniques hold the promise of a breakthrough in the way applications are developed. By raising the level of abstraction and specializing in building blocks that are ...
Models@ run.time
Runtime adaptation mechanisms that leverage software models extend the applicability of model-driven engineering techniques to the runtime environment.
Structural Consistency: A New Filtering Approach for Constraint Networks
Revised Selected Papers of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning - Volume 8323In this paper, we introduce a new partial consistency for constraint networks which is called Structural Consistency of level w and is denoted w-SC consistency. This consistency is based on a new approach. While conventional consistencies generally rely ...
Comments