Abstract
The increasing complexity of software development requires rigorously defined domain specific modeling languages (dsml). Model-driven engineering (mde) allows users to define a dsml’s syntax in terms of metamodels. The behaviour of a language can also be described, either operationally, or via transformations to other languages (e.g., by code generation). If the first approach requires to redefine analysis tools for each dsml (simulator, model-checker...), the second approach allows to reuse existing tools in the targeted language. However, the second approach (also called translational semantics) imply that the results (e.g., a program crash log, or a counterexample returned by a model checker) may not be straightforward to interpret by the users of a dsml. We propose in this paper a generic tool for formally tracing such analysis/execution results back to the original dsml’s syntax and operational semantics, and we illustrate it on xSPEM, a timed process modeling language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bendraou, R., Combemale, B., Crégut, X., Gervais, M.-P.: Definition of an eXecutable SPEM2.0. In: 14th APSEC. IEEE, Los Alamitos (2007)
Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA – construction of abstract state spaces for Petri nets and time Petri nets. Int. Journal of Production Research 42(14), 2741–2756 (2004)
Berthomieu, B., Peres, F., Vernadat, F.: Model checking bounded prioritized time petri nets. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol. 4762, pp. 523–532. Springer, Heidelberg (2007)
Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 154–169. Springer, Heidelberg (2000)
Combemale, B., Crégut, X., Garoche, P.-L., Thirioux, X.: Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification. Journal of Software 4(9), 943–958 (2009)
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA - visual automated transformations for formal verification and validation of UML models. In: 17th ASE, pp. 267–270. IEEE, Los Alamitos (2002)
Guerra, E., de Lara, J., Malizia, A., Daz, P.: Supporting user-oriented analysis for multi view domain specific visual languages. Information & Software Technology 51(4), 769–784 (2009)
Hegedüs, A., Bergmann, G., Ráth, I., Varró, D.: Back-annotation of simulation traces with change-driven model transformations. In: SEFM 2010 (September 2010)
Merlin, P.M.: A Study of the Recoverability of Computing Systems. Irvine: Univ. California, PhD Thesis (1974)
Moe, J., Carr, D.A.: Understanding distributed systems via execution trace data. In: Proceedings of the 9th International Workshop on Program Comprehension IWPC 2001. IEEE Computer Society, Los Alamitos (2001)
Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
Object Management Group. Meta Object Facility 2.0 (2006)
Object Management Group. Object Constraint Language 2.0 (2006)
Object Management Group. Software Process Engineering Metamodel 2.0 (2007)
Pnueli, A., Shtrichman, O., Siegel, M.D.: Translation validation: From SIGNAL to C. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 231–255. Springer, Heidelberg (1999)
Rivera, J.E., Vicente-Chicote, C., Vallecillo, A.: Extending visual modeling languages with timed behavior specifications. In: CIbSE, pp. 87–100 (2009)
Rusu, V.: Embedding domain-specific modelling languages into Maude specifications, http://researchers.lille.inria.fr/~rusu/SoSym
Rusu, V., Gonnord, L., Combemale, B.: Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics. Technical Report RR-7423, INRIA (October 2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Combemale, B., Gonnord, L., Rusu, V. (2011). A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds) Modelling Foundations and Applications. ECMFA 2011. Lecture Notes in Computer Science, vol 6698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21470-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-21470-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21469-1
Online ISBN: 978-3-642-21470-7
eBook Packages: Computer ScienceComputer Science (R0)