Richard F. Paige, Alan Hartman, Arend Rensink
Proceedings of the Fifth European Conference on Model Driven Architecture — Foundations and Applications
ECMDA-FA, 2009.
@proceedings{ECMDA-FA-2009, address = "Enschede, The Netherlands", doi = "10.1007/978-3-642-02674-4", editor = "Richard F. Paige and Alan Hartman and Arend Rensink", isbn = "978-3-642-02673-7", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proceedings of the Fifth European Conference on Model Driven Architecture — Foundations and Applications}", volume = 5562, year = 2009, }
Contents (24 items)
- ECMDA-FA-2009-Trew #embedded #platform #question
- Creating Embedded Platforms with MDA: Where’s the Sweet Spot? (TT), p. 1.
- ECMDA-FA-2009-GronmoMO #comparison #model transformation #transformation language
- Comparison of Three Model Transformation Languages (RG, BMP, GKO), pp. 2–17.
- ECMDA-FA-2009-TisiJFCB #higher-order #model transformation #on the #using
- On the Use of Higher-Order Model Transformations (MT, FJ, PF, SC, JB), pp. 18–33.
- ECMDA-FA-2009-GarcesJCB #adaptation #detection #metamodelling #precise
- Managing Model Adaptation by Precise Detection of Metamodel Changes (KG, FJ, PC, JB), pp. 34–49.
- ECMDA-FA-2009-KublerG #approach #mining #qvt #using
- A Pattern Mining Approach Using QVT (JK, TG), pp. 50–65.
- ECMDA-FA-2009-ChenM #consistency #guidelines #uml
- A Language-Theoretic View on Guidelines and Consistency Rules of UML (ZC, GM), pp. 66–81.
- ECMDA-FA-2009-IzquierdoM #domain-specific language #legacy #modelling
- A Domain Specific Language for Extracting Models in Software Modernization (JLCI, JGM), pp. 82–97.
- ECMDA-FA-2009-EspinozaCSG #challenge #design #embedded #modelling
- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems (HE, DC, BS, SG), pp. 98–113.
- ECMDA-FA-2009-HeidenreichJKSW #modelling #refinement #syntax
- Derivation and Refinement of Textual Syntax for Models (FH, JJ, SK, MS, CW), pp. 114–129.
- ECMDA-FA-2009-MougenotDBS #generative #metamodelling #random
- Uniform Random Generation of Huge Metamodel Instances (AM, AD, XB, MS), pp. 130–145.
- ECMDA-FA-2009-Kolovos #comparison #modelling
- Establishing Correspondences between Models with the Epsilon Comparison Language (DSK), pp. 146–157.
- ECMDA-FA-2009-KusterGE #modelling #process
- Dependent and Conflicting Change Operations of Process Models (JMK, CG, GE), pp. 158–173.
- ECMDA-FA-2009-MaderGP #automation #maintenance #traceability
- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations (PM, OG, IP), pp. 174–189.
- ECMDA-FA-2009-SodenE #ocl #revisited
- Temporal Extensions of OCL Revisited (MS, HE), pp. 190–205.
- ECMDA-FA-2009-DanielePS #approach #behaviour #mobile #modelling
- An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications (LD, LFP, MvS), pp. 206–220.
- ECMDA-FA-2009-AmeedeenBA #analysis #approach #modelling
- A Model Driven Approach to the Analysis of Timeliness Properties (MAA, BB, RA), pp. 221–236.
- ECMDA-FA-2009-CharfiSS #editing #hybrid #uml #visual notation
- A Hybrid Graphical and Textual Notation and Editor for UML Actions (AC, AS, AS), pp. 237–252.
- ECMDA-FA-2009-SchmitzZRJPPKR #development #modelling
- Mapping Requirement Models to Mathematical Models in Control System Development (DS, MZ, TR, MJ, AP, JP, SK, MR), pp. 253–264.
- ECMDA-FA-2009-SadovykhVGHGE #on the
- On Study Results: Round Trip Engineering of Space Systems (AS, LV, EG, AH, JG, OE), pp. 265–276.
- ECMDA-FA-2009-KoudriCAS #analysis #design #process
- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis (AK, JC, DA, PS), pp. 277–288.
- ECMDA-FA-2009-BeucheW #flexibility #modelling
- Managing Flexibility: Modeling Binding-Times in Simulink (DB, JW), pp. 289–300.
- ECMDA-FA-2009-EvansFM #case study #eclipse #experience #modelling #network #using
- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment (AE, MAF, PM), pp. 301–312.
- ECMDA-FA-2009-StefanescuWK #approach #modelling #named #testing
- MBT4Chor: A Model-Based Testing Approach for Service Choreographies (AS, SW, AK), pp. 313–324.
- ECMDA-FA-2009-MilanovicCKWK #case study #industrial #information management #modelling
- Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study (NM, MC, RDK, JW, FK), pp. 325–336.
12 ×#modelling
4 ×#approach
2 ×#analysis
2 ×#case study
2 ×#comparison
2 ×#design
2 ×#embedded
2 ×#metamodelling
2 ×#model transformation
2 ×#on the
4 ×#approach
2 ×#analysis
2 ×#case study
2 ×#comparison
2 ×#design
2 ×#embedded
2 ×#metamodelling
2 ×#model transformation
2 ×#on the