A Journey through the Secret Life of Models

Dagstuhl Seminar Proceedings

Volumn 8331, Issue , 2008, Pages

  Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; SEMANTICS; SOFTWARE DESIGN;

BEHAVIOURAL SEMANTICS; COMPLEX SOFTWARE SYSTEMS; ENGINEERING DISCIPLINES; LARGE-SCALE SOFTWARE SYSTEMS; META MODEL; MODEL-DRIVEN SOFTWARE DEVELOPMENT; REAL ENGINEERING; SOFTWARE DEVELOPMENT APPROACH;

SPECIFICATIONS;

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

References (58)

1. Bézivin, J., Vallecillo, A., García-Molina, J., Rossi, G.: Special issue on MDSD: “MDA at the age of seven: Past, present and future”. UPGRADE IX(2) (2008) 4–45 http://www.upgrade-cepis.org/issues/2008/2/upgrade-vol-IX-2.pdf.
2. Brooks, F.P.: No Silver Bullet – Essence and Accident in Software Engineering. In: Proceedings of the IFIP Tenth World Computing Conference. (1986) 1069–1076
3. Eclipse: Graphical Modeling Framework (2008) http://www.eclipse.org/modeling/gmf/.
4. Jouault, F., Bézivin, J., Kurtev, I.: TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In: Proc. of GPCE’06. (2006) 249–254
5. Kleppe, A.G.: A language description is more than a metamodel. In: Proc. of the Fourth International Workshop on Software Language Engineering (ATEM 2007), Nashville, USA (2007) http://megaplanet.org/atem2007/ATEM2007-18.pdf.
6. Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of “semantics”? Computer 37(10) (2004) 64–72
7. Zhang, Y., Xu, B.: A survey of semantic description frameworks for programming languages. SIGPLAN Not. 39(3) (2004) 14–30
8. Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In: Proc. of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005). Volume 3748 of LNCS., Springer (2005) 115–129
9. de Lara, J., Vangheluwe, H.: Translating model simulators to analysis models. In: Proc. of FASE 2008. Volume 4961 of LNCS., Springer (2008) 77–92
10. Rivera, J.E., Vallecillo, A.: Adding behavioral semantics to models. In: Proc. of EDOC 2007, IEEE Computer Society (2007) 169–180
11. Cuccuru, A., Mraidha, C., Terrier, F., Grard, S.: Enhancing UML extensions with operational semantics: Behaviored profiles with templates. In: Proc. of MoDELS 2007. Volume 4735 of LNCS., Springer (2007) 271–285
12. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA’03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. (2003)
13. Kastenberg, H., Kleppe, A.G., Rensink, A.: Defining object-oriented execution semantics using graph transformations. In: Proc. of FMOODS 2006. Number 4037 in LNCS, Springer (2006) 186–201
14. Marković, S., Baar, T.: Semantics of OCL Specified with QVT. Journal of Software and Systems Modeling (SoSyM) (2008)
15. th International Workshop on Theory and Application of Graph Transformation. (1998)
16. Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Proc. of UML 2000. Volume 1939 of LNCS., Springer (2000) 323–337
17. de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. Journal of Visual Languages and Computing 15(3–4) (2006) 309–330
18. Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented meta-languages. In: Proc. of MoDELS/UML’2005. Volume 3713 of LNCS., Springer (2005) 264–278
19. Rivera, J.E., Guerra, E., de Lara, J., Vallecillo, A.: Analyzing rule-based behavioral semantics of visual modeling languages with maude (2008) Submitted for publication (manuscript available at http://www.lcc.uma.es/~av/Publicaciones/08/sle08.pdf).
20. Rivera, J.E., Vallecillo, A., Durán, F.: Analysing models with Maude. Technical report, Universidad de Málaga (2008) http://atenea.lcc.uma.es/images/e/eb/AnalysingModels.pdf.
21. Ehrig, H., Karsten, Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer (2006)
22. 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
23. Rivera, J.E., Vallecillo, A.: Representing and operating with model differences. In: Proc. of TOOLS Europe 2008. Volume 11 of LNBIP., Springer (2008) 141–160
24. Martí-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In Gabbay, D., Guenthner, F., eds.: Handbook of Philosophical Logic. Volume 9. 2 edn. Kluwer Academic Publishers (2002) 1–87
25. 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)
26. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, ACM Press, New York, NY (1977) 238–252
27. Mac Lane, S.: Categories for the Working Mathematician. Springer (1971)
28. Guerra, E., de Lara, J.: Model view management with triple graph transformation systems. In: Proc. of ICGT 2006. (2006) 351–366
29. Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Proc. of ICGT 2002. (2002) 120–134
30. Meseguer, J.: The temporal logic of rewriting: A gentle introduction. In: Concurrency, Graphs and Models. Volume 5065 of LNCS., Springer (2008) 354–382
31. Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2) (2007) 161–196
32. Lynch, N.: Simulation techniques for proving properties of real-time systems. In: A Decade of Concurrency. Reflections and Perspectives. Volume 803 of LNCS., Springer (1994) 375–424
33. Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Trans. Softw. Eng. 30(5) (2004) 295–310
34. Cortellessa, V., Marco, A.D., Inverardi, P.: Integrating performance and reliability analysis in a non-functional MDA framework. In: Proc. of FASE 2007. Volume 4422 of LNCS., Springer (2007) 57–71
35. OMG: UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE). Object Management Group. (2008) OMG doc. ptc/08-06-08.
36. Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press (2003)
37. Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Proc. of ICMT 2008. Volume 5063 of LNCS., Zurich, Switzerland, Springer (2008) 91–106
38. IEEE: Recommended Practice for Architectural Description of Software-Intensive Systems, New York, USA. (2000) IEEE Std. 1471.
39. Kruchten, P.: Architectural blueprints — The “4+1” view model of software architecture. IEEE Software 12(6) (1995) 42–50
40. Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: a framework for integrating multiple prespectives in systems development. SEKE journal 2(1) (1992) 31–58
41. Boiten, E.A., Bowman, H., Derrick, J., Linington, P., Steen, M.W.: Viewpoint consistency in ODP. Computer Networks 34(3) (2000) 503–537
42. Dijkman, R.M., Quartel, D.A., van Sinderen, M.J.: Consistency in multi-viewpoint design of enterprise information systems. Information and Software Technology 50(7-8) (2008) 737–752
43. Zachman, J.A.: The Zachman Framework: A Primer for Enterprise Engineering and Manufacturing. Zachman International, La Cañada (CA), USA (1997) http://www.zifa.com.
44. Lankhorst, M., ed.: Enterprise Architecture at Work. Springer (2005)
45. ISO/IEC: RM-ODP. Reference Model for Open Distributed Processing. ISO and ITU-T, Geneva, Switzerland. (1997) ISO/IEC 10746, ITU-T Rec. X.901-X.904.
46. Linington, P.: Black Cats and Coloured Birds What do Viewpoint Correspondences Do? In: Proc. of WODPEC 2007, Maryland, USA, IEEE Digital Library (2007)
47. Easterbrook, S., Nuseibeh, B.: Using viewpoints for inconsistency management. Software Engineering Journal (1996) 31–43
48. Egyed, A.: Instant consistency checking for the UML. In: Proc. of ICSE’06, New York, NY, USA, ACM (2006) 381–390
49. Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. of ICSE’07, Washington, DC, USA, IEEE Computer Society (2007) 292–301
50. Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Springer-Verlag, Berlin (2004)
51. Straeten, R.V.D., Simmonds, J., Mens, T.: Detecting inconsistencies between UML models using description logic. In: Proc. of the International Workshop on Description Logics (DL’03). Volume 81 of CEUR Proceedings. (2003) http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-81/vander%straeten.pdf.
52. Akehurst, D.H.: Proposal for a model driven approach to creating a tool to support the RM-ODP. In: Proc. of WODPEC 2004, Monterey, California (2004) 65–68
53. Romero, J.R., Moreno, N., Vallecillo, A.: Modeling ODP Correspondences using QVT. In: Proc. of MDEIS’06. (2006) 15–26
54. Didonet Del Fabro, M., Bézivin, J., Jouault, F., Valduriez, P.: Applying generic model management to data mapping. In: Proc. of Bases de Donnés Avancées (BDA05), Saint-Malo, France (2005) 17–20
55. ISO/IEC: Information technology – Open distributed processing – Use of UML for ODP system specifications. ISO and ITU-T, Geneva, Switzerland. (2008) ISO/IEC FDIS 19793, ITU-T X.906.
56. Romero, J.R., Vallecillo, A.: Well-formed rules for viewpoint correspondences specification. In: Proc. of WODPEC 2008, Munich, Germany (2008)
57. Eramo, R., Pierantonio, A., Romero, J.R., Vallecillo, A.: Change management in multi-viewpoint systems using ASP. In: Proc. of WODPEC 2008, Munich, Germany (2008)
58. Adams, D.: The Hitchhiker’s Guide to the Galaxy. Ballantine Books (1979)