Extending visual modeling languages with timed behavioral specifications

12th Iberoamerican Conference on Requirements Engineering and Software Environments, IDEAS 2009

Volumn , Issue , 2009, Pages

  Rivera, José Eduardo ^a   Vicente Chicote, Cristina ^b   Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b TECHNICAL UNIVERSITY OF CARTAGENA   (Spain)

Author keywords

Action properties; Domain specific languages; Rule based semantics; Timed behavioral specifications

Indexed keywords

ACTION PROPERTIES; BEHAVIORAL SPECIFICATION; DOMAIN SPECIFIC LANGUAGES; MODEL TRANSFORMATION; MODEL-DRIVEN SOFTWARE DEVELOPMENT; RULE-BASED SEMANTICS; TIME DEPENDENT BEHAVIOR; VISUAL MODELING LANGUAGES;

REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING; SEMANTICS; VISUAL LANGUAGES;

SPECIFICATIONS;

EID: 84890415723     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. (2003)
2. de Lara, J., Vangheluwe, H.: Translating model simulators to analysis models. In: Proc. of FASE 2008. Number 4961 in LNCS, Springer (2008) 77-92
3. Meseguer, J.: The temporal logic of rewriting: A gentle introduction. In: Concurrency, Graphs and Models. (2008) 354-382
4. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude-A High-Performance Logical Framework. Number 4350 in LNCS. Springer, Heidelberg, Germany (2007)
5. Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In: Proc. of the International Conference on Software Language Engineering (SLE'08). LNCS, Springer (2008)
6. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Analysing graph transformation rules through OCL. In: Proc. of ICMT 2008. Number 5063 in LNCS, Springer (2008) 225-239
7. Vangheluwe, H., de Lara, J.: Automatic generation of model-to-model transformations from rule-based specifications of operational semantics. In: Proc. of the 7th OOPSLA Workshop on Domain-Specific Modeling (DSM'07). (2007)
8. Eclipse: Graphical Modeling Framework (2008) http://www.eclipse.org/modeling/gmf/.
9. Biermann, E., Ehrig, K., Khler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the Eclipse Modeling Framework. In: MDE Languages and Systems. Number 4199 in LNCS, Springer (2006)
10. Vallecillo, A.: A journey through the secret life of models. In: Model Engineering of Complex Systems (MECS). Number 08331 in Dagstuhl Seminar Proceedings (2008) http://drops.dagstuhl.de/opus/volltexte/2008/1601.
11. Olveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2) (2007) 161-196
12. Rivera, J.E., Vallecillo, A.: Adding behavioral semantics to models. In: Proc. of EDOC 2007, IEEE Computer Society (2007) 169-180
13. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9) (2007) 187-207
14. Olveczky, P.C.: Real-Time Maude 2.3 Manual. (2007) http://www.ifi.uio.no/RealTimeMaude/.
15. Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Proc. of 1st Int. Conference on Graph Transformation (ICGT'02), Springer-Verlag (2002) 120-134
16. Ghezzi, C., Mandrioli, D., Morasca, S., Pezze, M.: A unified high-level petri net formalism for time-critical systems. IEEE Trans. Softw. Eng. 17(2) (1991) 160-172
17. Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Proc. of the International Conference on Model Transformation (ICMT 2008). Number 5063 in LNCS, Springer-Verlag (2008) 91-106