Formal support for QVT-Relations with Coloured Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 256-270

  De Lara, Juan ^a   Guerra, Esther ^b  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

^b UNIVERSIDAD CARLOS III DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDEDNESS; COLOURED PETRI NETS; FORMAL SEMANTICS; INPUT FORMAT; MODEL DRIVEN DEVELOPMENT; MODEL TO MODEL TRANSFORMATION; REACHABILITY; THEORY OF PETRI NETS;

EMBEDDED SYSTEMS; FORMAL METHODS; GRAPH THEORY; LINGUISTICS; MODELS; PETRI NETS; QUERY LANGUAGES; SEMANTICS; SPECIFICATIONS;

MODEL CHECKING;

EID: 77249111394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_19     Document Type: Conference Paper

References (16)

1. Boronat, A., Carsí, J. A., Ramos, I.: Algebraic specification of a model transformation engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 262-277. Springer, Heidelberg (2006)
2. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: An invariant-based method for the analysis of declarative model-to-model transformations. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 37-52. Springer, Heidelberg (2008)
3. Cheng, A., Christensen, S., Mortensen, K. H.: Model checking coloured petri nets exploiting strongly connected components. In: WODES, pp. 169-177 (1996)
4. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)
5. Evangelista, S., Haddad, S., Pradat, J.-F.: Syntactical colored petri nets reductions. In: Peled, D. A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 202-216. Springer, Heidelberg (2005)
6. García, M.: Formalization of QVT-Relations: OCL-based static semantics and Alloy-based validation. In: MDSD today, pp. 21-30. Shaker Verlag (2008)
7. Greenyer, J.: A study of model transformation technologies: Reconciling TGGs with QVT. Master's thesis, University of Paderborn (2006)
8. Jensen, K.: Coloured Petri nets basic concepts, analysis methods and practical use (Monographs in theoretical computer science). Springer, Heidelberg (1997)
9. Jensen, K., Kristensen, L. M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. STTT 9 (3-4), 213-254 (2007), http ://wiki.daimi.au.dk/cpntools
10. JET (2009), http://www.eclipse.org/modeling/m2t/?project=jet
11. Lucas, F. J., Alvarez, J. A. T.: Model transformations powered by rewriting logic. In: CAiSE Forum. CEUR Proc, vol. 344, pp. 41-44 (2008)
12. MediniQVT (2009), http://projeets.ikv.de/qvt/
13. ModelMorf (2009), http://www.tcs-trddc.com/ModelMorf/index.htm
14. Ohta, A., Tsuji, K.: On some analysis properties of colored petri net using underlying net. In: MWSCAS 2004, vol. 3, pp. 395-398. IEEE, Los Alamitos (2004)
15. QVT (2005), http://www.omg.org/docs/ptc/05-11-01.pdf
16. Strommer, M., Wimmer, M.: A framework for model transformation by-example: Concepts and tool support. In: TOOLS. LNBIP, vol. 11, pp. 372-391. Springer, Heidelberg (1974)