Jon Whittle, Tony Clark, Thomas Kühne
Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2011.

@proceedings{MoDELS-2011,
	address       = "Wellington, New Zealand",
	doi           = "10.1007/978-3-642-24485-8",
	editor        = "Jon Whittle and Tony Clark and Thomas Kühne",
	isbn          = "978-3-642-24484-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 6981,
	year          = 2011,
}

Committee

Contents (52 items)

23 ×#modelling
6 ×#model transformation
6 ×#uml
6 ×#using
5 ×#design
5 ×#diagrams
5 ×#testing
4 ×#approach
4 ×#automation
4 ×#development

MODELS-2011-Petre #modelling

The Value in Muddling Around Modelling (MP), p. 1.

MODELS-2011-DragoGM #model transformation #quality #towards

Towards Quality Driven Exploration of Model Transformation Spaces (MLD, CG, RM), pp. 2–16.

MODELS-2011-KainzBK #automation #concept #metamodelling #model transformation

Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.

MODELS-2011-TisiPJC #execution #lazy evaluation #model transformation

Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.

MODELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using

Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.

MODELS-2011-BlouinCBB #modelling

Modeling Model Slicers (AB, BC, BB, OB), pp. 62–76.

MODELS-2011-Espinazo-PaganCM #approach #modelling #named #scalability

Morsa: A Scalable Approach for Persisting and Accessing Large Models (JEP, JSC, JGM), pp. 77–92.

MODELS-2011-FabryZG #case study #design #experience #interactive

Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.

MODELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using

An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.

MODELS-2011-AbedK #aspect-oriented #distributed #modelling

Aspect-Oriented Modelling for Distributed Systems (WAA, JK), pp. 123–137.

MODELS-2011-ReggioRSCD #modelling #precise #process

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.

MODELS-2011-MaozRR #analysis #configuration management #consistency #diagrams #semantics

Semantically Configurable Consistency Analysis for Class and Object Diagrams (SM, JOR, BR), pp. 153–167.

MODELS-2011-BavotaGOLTGC #comprehension #diagrams #identification #uml

Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension (GB, CG, RO, ADL, GT, MG, JACL), pp. 168–182.

MODELS-2011-Kraemer #android #process #uml

Engineering Android Applications Based on UML Activities (FAK), pp. 183–197.

MODELS-2011-SteelD #model transformation

Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.

MODELS-2011-PalyartLOB #framework #maintenance #scalability

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (MP, DL, IO, JMB), pp. 213–227.

MODELS-2011-LettnerTM #embedded #identification #migration #overview #problem

A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice (ML, MT, RM), pp. 228–242.

MODELS-2011-KoudriCGT #component #design #evaluation #standard

Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AK, AC, SG, FT), pp. 243–257.

MODELS-2011-Al-BatranSH #clone detection #detection #development #embedded #modelling #semantics

Semantic Clone Detection for Model-Based Development of Embedded Systems (BAB, BS, BH), pp. 258–272.

MODELS-2011-SongHCZSSM #incremental #modelling #qvt #runtime

Instant and Incremental QVT Transformation for Runtime Models (HS, GH, FC, WZ, YS, WS, HM), pp. 273–288.

MODELS-2011-ClavreulMBF #architecture #behaviour #modelling

Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.

MODELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.

MODELS-2011-HamidGJD #design #formal method #modelling

Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (BH, SG, CJ, ND), pp. 319–333.

MODELS-2011-LindH #approach #automation #component #embedded #estimation #modelling

A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (KL, RH), pp. 334–348.

MODELS-2011-FleureyMSB

MDE to Manage Communications with and between Resource-Constrained Systems (FF, BM, AS, OB), pp. 349–363.

MODELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

MODELS-2011-FeinererSS #diagrams #multi

Reducing Multiplicities in Class Diagrams (IF, GS, TS), pp. 379–393.

MODELS-2011-Sagar #modelling #simulation

Creating Models for Simulating the Face (MS), p. 394.

MODELS-2011-Garcia-DominguezKRPM #framework #model management #named #testing

EUnit: A Unit Testing Framework for Model Management Tasks (AGD, DSK, LMR, RFP, IMB), pp. 395–409.

MODELS-2011-MoffettBD #consistency #model checking #protocol #uml #using #verification

Verifying UML-RT Protocol Conformance Using Model Checking (YM, AB, JD), pp. 410–424.

MODELS-2011-CichosOLS #generative #modelling #product line #testing

Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.

MODELS-2011-Steimann #constraints #refactoring

Constraint-Based Model Refactoring (FS), pp. 440–454.

MODELS-2011-AkiyamaHKS #design #refactoring

Supporting Design Model Refactoring for Improving Class Responsibility Assignment (MA, SH, TK, MS), pp. 455–469.

MODELS-2011-ZaparanuksH #modelling

Vision Paper: The Essence of Structural Models (DZ, MH), pp. 470–479.

MODELS-2011-WilkeGRA #energy #modelling #testing #towards

Vision Paper: Towards Model-Based Energy Testing (CW, SG, JR, UA), pp. 480–489.

MODELS-2011-FahrenbergLW #difference #exclamation #semantics

Vision Paper: Make a Difference! (Semantically) (UF, AL, AW), pp. 490–500.

MODELS-2011-RamirezC #automation #monitoring #requirements

Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.

MODELS-2011-BalabanK #development

Logic-Based Model-Level Software Development with F-OML (MB, MK), pp. 517–532.

MODELS-2011-StenzelMR #code generation #qvt #verification

Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.

MODELS-2011-Iraqi-HoussainiKR #design #modelling

Model-Based (Mechanical) Product Design (MIH, MK, LR), pp. 548–562.

MODELS-2011-IzukuraYOSKX #approach #development #modelling #using

Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.

MODELS-2011-KulkarniBR #agile #approach #experience #modelling

Early Experience with Agile Methodology in a Model-Driven Approach (VK, SB, UR), pp. 578–590.

MODELS-2011-SchulteJ #development #modelling

Finding Models in Model-Based Development — (WS, EKJ), p. 591.

MODELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using

CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.

MODELS-2011-FlochYGDCRF #compilation #modelling #optimisation #question

Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? (AF, TY, CG, SD, BC, SVR, RBF), pp. 608–622.

MODELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards

Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.

MODELS-2011-JohansenHF #combinator #feature model #modelling #product line #testing

Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible (MFJ, ØH, FF), pp. 638–652.

MODELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.

MODELS-2011-HermannEOCDX #correctness #graph grammar

Correctness of Model Synchronization Based on Triple Graph Grammars (FH, HE, FO, KC, ZD, YX), pp. 668–682.

MODELS-2011-JensenCGN #behaviour #detection

A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.

MODELS-2011-CuccuruGT

Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.

MODELS-2011-ZhangK #architecture #collaboration #industrial #modelling #using

Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models (RZ, AK), pp. 714–728.