Cited By
View all- Kchaou DBouassida NBen-Abdallah H(2016)Managing the Impact of UML Design Changes on Their Consistency and QualityArabian Journal for Science and Engineering10.1007/s13369-016-2040-741:8(2863-2881)Online publication date: 4-Feb-2016
Formalizing model consistency based on the abstract syntax
Pages 79 - 84
Abstract
In this paper we define a notion to describe consistency within and between models, which has been identified as important issue when using model-based tools. We introduce the abstract syntax of models as attributed typed graphs and define a formalism of consistency based on this formal description. The application of the formalism is illustrated by an example.
References
[1]
Favre, J. M., Towards a basic theory to model model driven engineering, in In Workshop on Software Model Engineering, WISME 2004, joint event with UML2004(2004.
[2]
Hermann, F., Ehrig, H. and Taentzer, G. A typed attributed graph grammar with inheritance for the abstract syntax of uml class and sequence diagrams, in Electron. Notes Theor. Comput. Sci. 211 (Amsterdam, April 2008), Elsevier Science Publishers B. V., 261--269.
[3]
Limbourg, Q., Vanderdonckt, J, Transformational Development of User Interfaces with Graph Transformations, in CADUI (2005), Kluwer, 104--11.
[4]
Ehrig, H, Prange, U, Taentzer, G., Fundamental Theory for Typed Attributed Graph Transformation, in ICGT (Berlin, 2004), Springer berlin / Heidelberg, 161--17.
[5]
Ehrig, H., Ehrig, K., Habel, A., Pennemann, K., Theory of Constraints and Application Conditions: From Graphs to High-Level Structures, in Fundam. Inf. 74 (Amsterdam, 2006), IOS Press 135--16.
[6]
Schürr, A., Specification of Graph Translators with Triple Graph Grammars, in Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science (London, 1995), Springer-Verlag, 151--16.
[7]
Brandt, C., Hermann, F., How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?, in Graph Transformations (Berlin, 2010), Springer Berlin / Heidelberg, 3--2.
[8]
Usman, M., Nadeem, A., Kim, T., Cho, E., A Survey of Consistency Checking Techniques for UML Models, in Advanced Software Engineering and Its Applications (Los Alamitos, 2008), IEEE Computer Society, 57--6.
[9]
Easterbrook, S., Chechik, M., A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints, in In Proceedings of International Conference on Software Engineering (2001), IEEE Computer Society Press, 411--42.
[10]
Perrouin, G., Brottler, E., Baudry, B., Le Traon, Y., Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective, in Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009) (Amsterdam, 2009), Springer Lecture Notes in Computer Science (LNCS.
[11]
Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M., Consistency Checking of Conceptual Models via Model Merging, in 15th IEEE International Requirements Engineering Conference (RE 2007) (2007), IEEE, 221--23.
[12]
Sabetzadeh, M., Nejati, S., Easterbrook, S., Chechik, M., Global Consistency Checking of Distributed Models with TReMer, in In 30th International Conference on Software Engineering (ICSE'08) (2008.
[13]
Mao, X., Shan, L., Zhu, H., Wang, J., An adaptive casteship mechanism for developing multi-agent systems, in Int. J. Comput. Appl. Technol.(Geneva, 2008), Inderscience Publishers, 17--3.
[14]
Blanc, X., Mounier, I. Mougenot, A., Mens, T., Detecting model inconsistency through operation-based model construction, in Proceedings of the 30th international conference on Software engineering (Leipzig, 2008), ACM, 511--520.
Index Terms
- Formalizing model consistency based on the abstract syntax
Recommendations
Towards an abstract syntax and direct-model theoretic semantics for RuleML
RuleML'05: Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic WebThis paper contains a proposal of an abstract syntax and a model theoretic semantics for NafNegDatalog, sublanguage of RuleML [9]. The model-theoretic semantics use the partial logic ([7], [10]) to provide an interpretation and a satisfaction relation, ...
On checking the consistency of Object-Z classes
Requirements elicitation involves gathering requirements from different stakeholders. Different stakeholders often hold different views of how a system should behave, resulting in inconsistencies between their descriptions. Rigorous consistency checking ...
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication TechnologyOSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
June 2011
356 pages
ISBN:9781450306706
DOI:10.1145/1996461
- Conference Chair:
- Fabio Paternò,
- Program Chairs:
- Kris Luyten,
- Frank Maurer
Copyright © 2011 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 13 June 2011
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
EICS '11
Sponsor:
EICS '11: ACM SIGCHI Symposium on Engineering Interactive Computing Systems
June 13 - 16, 2011
Pisa, Italy
Acceptance Rates
Overall Acceptance Rate 73 of 299 submissions, 24%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 140Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)1
Reflects downloads up to 14 Dec 2024
Other Metrics
Citations
Cited By
View all- Kchaou DBouassida NBen-Abdallah H(2016)Managing the Impact of UML Design Changes on Their Consistency and QualityArabian Journal for Science and Engineering10.1007/s13369-016-2040-741:8(2863-2881)Online publication date: 4-Feb-2016
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in