Abstract
Domain-Specific Modeling Language (DSML) defined by informal way cannot precisely represent its structural semantics, so properties of models such as consistency cannot be systematically analyzed and verified. In response, the paper proposes an approach for automatically reasoning consistency of DSML. Firstly, we establish a formal framework for DSML based on first-order logic; and then, an automatic mapping mechanism for formalizing DSML is defined; based on this, we present our method for verifying consistency of DSML and its models based on first-order logical inference; finally, the automatic mapping engine for formalizing DSML and its models is designed to show the feasibility of our formal method.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Steven, K., Juha-Pekka, T.: Domain-specific modeling: Enabling full code genera-tion. John Wiley & Sons, New Jersey (2008)
Jackson, E.K., Sztipanovits, J.: Formalizing the Structural Semantics of Domain-Specific Modeling Languages. Journal of Software and Systems Modeling 8(4), 451–478 (2008)
ISIS Vanderbilt University, GME Users Manual (2013), http://www.isis.vanderbilt.edu/Projects/gme/
Object Management Group, Unified Modeling Language: Superstructure version 2.4.1 (2011), http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF
Object Management Group, Meta Object Facility Specification version 2.4.1 (2011), http://www.omg.org/spec/MOF/2.4.1
MetaCase, MetaEdit+ Version 5.0 User’s Guide (2014), http://www.metacase.com/support/50/manuals/meplus/Mp.html
Andreopoulos, W.: Defining Formal Semantics for the Unified Modeling Language, in Technique Report of University of Toronto, Toronto (2000)
Shroff, M.: Towards A Formalization of UML Class Structures in Z. In: Proceedings of COMPSAC 1997 (1997)
Jackson, E.K., Sztipanovits, J.: Towards a formal foundation for domain specific modeling languages. In: Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT 2006), pp. 53–62 (October 2006)
Sun, X.P.: A Research of Visual Domain-Specific Meta-Modeling Language and Its Instantiation, Yunnan University, Kunming (2010)
Jiang, T.: Formalizing Domain-Specific Metamodeling Language XMML Based on First-order Logic. Journal of Software 7(6), 1321–1328 (2012)
Shan, L., Zhu, H.: A formal descriptive semantics of UML. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 375–396. Springer, Heidelberg (2008)
Cheng, M.Z., Yu, J.: Logic foundation—first-order logic and first-order theory. Chinese People University Press, Beijing (2003)
Jiang, T.: Research on Formalization of Domain-Specific Metamodeling Lan-guage and Its Model Consistency Verification, Yunnan University, Kunming (2011)
Max-Planck-Institut Informatik, SPASS Tutorial (2010), http://www.spass-prover.org/tutorial.html
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Jiang, T., Wang, X., Huang, LD. (2014). An Approach for Automatically Reasoning Consistency of Domain-Specific Modelling Language. In: Miao, D., Pedrycz, W., Ślȩzak, D., Peters, G., Hu, Q., Wang, R. (eds) Rough Sets and Knowledge Technology. RSKT 2014. Lecture Notes in Computer Science(), vol 8818. Springer, Cham. https://doi.org/10.1007/978-3-319-11740-9_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-11740-9_28
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11739-3
Online ISBN: 978-3-319-11740-9
eBook Packages: Computer ScienceComputer Science (R0)