Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Andy Schürr, Bran Selic
Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2009.

MDE
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{MoDELS-2009,
	address       = "Denver, Colorado, USA",
	doi           = "10.1007/978-3-642-04425-0",
	editor        = "Andy Schürr and Bran Selic",
	isbn          = "978-3-642-04424-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 5795,
	year          = 2009,
}

Contents (61 items)

MoDELS-2009-Mellor #modelling #question #what
Models. Models. Models. So What? (SJM), p. 1.
MoDELS-2009-MullerFB #modelling
Modeling Modeling (PAM, FF, BB), pp. 2–16.
MoDELS-2009-AschauerDP #modelling #representation #scalability #traversal
Representation and Traversal of Large Clabject Models (TA, GD, WP), pp. 17–31.
MoDELS-2009-SenMBJ #metamodelling
Meta-model Pruning (SS, NM, BB, JMJ), pp. 32–46.
MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml
A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
MoDELS-2009-BoskovicH #assessment #metric #modelling #performance
Model Driven Performance Measurement and Assessment with MoDePeMART (MB, WH), pp. 62–76.
MoDELS-2009-LloydJ #analysis #authentication #ml #security #using
Security Analysis of a Biometric Authentication System Using UMLsec and JML (JL, JJ), pp. 77–91.
MoDELS-2009-ChenouardJ #automation #constraints
Automatically Discovering Hidden Transformation Chaining Constraints (RC, FJ), pp. 92–106.
MoDELS-2009-HorvathV #constraints #csp #modelling #problem
CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
MoDELS-2009-KleinerAB #parsing
Parsing SBVR-Based Controlled Languages (MK, PA, JB), pp. 122–136.
MoDELS-2009-ThumSS #collaboration #lightweight #modelling #named
SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
MoDELS-2009-GerthKE #independence #modelling #process
Language-Independent Change Management of Process Models (CG, JMK, GE), pp. 152–166.
MoDELS-2009-BendixE #industrial #perspective #requirements
Requirements for Practical Model Merge — An Industrial Perspective (LB, PE), pp. 167–180.
MoDELS-2009-NugrohoC #case study #industrial #modelling #quality #uml
Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.
MoDELS-2009-ParetoEE #development #empirical
Concern Visibility in Base Station Development — An Empirical Investigation (LP, PE, SE), pp. 196–210.
MoDELS-2009-Weissleder #industrial #modelling #state machine #testing #uml
Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (SW), pp. 211–225.
MoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MoDELS-2009-EhrigEHP #correctness #graph grammar #model transformation #on the fly
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars (HE, CE, FH, UP), pp. 241–255.
MoDELS-2009-LaraG #petri net #qvt
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MoDELS-2009-BroschLSWWKRS #modelling #word
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.
MoDELS-2009-MussbacherAW #aspect-oriented #modelling
Refactoring-Safe Modeling of Aspect-Oriented Scenarios (GM, DA, JW), pp. 286–300.
MoDELS-2009-MaozMK #modelling #testing #using
Model-Based Testing Using LSCs and S2A (SM, JM, MK), pp. 301–306.
MoDELS-2009-MohanK #development #enterprise #experience #lessons learnt #modelling #user interface #visual notation
Model Driven Development of Graphical User Interfaces for Enterprise Business Applications — Experience, Lessons Learnt and a Way Forward (RM, VK), pp. 307–321.
MoDELS-2009-MazanekM #diagrams #editing #modelling #process
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors (SM, MM), pp. 322–336.
MoDELS-2009-MilanovicGWH #modelling #process
Rule-Enhanced Business Process Modeling Language for Service Choreographies (MM, DG, GW, MH), pp. 337–341.
MoDELS-2009-RathVV #model transformation
Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
MoDELS-2009-WolfeGP #algorithm #consistency #incremental #runtime
An Incremental Algorithm for High-Performance Runtime Model Consistency (CW, TCNG, WGP), pp. 357–371.
MoDELS-2009-HelmingKNDS
Traceability-Based Change Awareness (JH, MK, HN, JD, AS), pp. 372–376.
MoDELS-2009-Constantine #design #development #interactive #modelling
Interaction Design and Model-Driven Development (LLC), p. 377.
MoDELS-2009-SoltenbornE #semantics #specification #testing #towards
Towards Test-Driven Semantics Specification (CS, GE), pp. 378–392.
MoDELS-2009-LeungMLLSTL #ontology #scalability #semantics #using
Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
MoDELS-2009-WalterPS #domain-specific language #framework #named #ontology
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MoDELS-2009-HermansPD #case study #domain-specific language #user study
Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MoDELS-2009-DhaussyPCRTB #validation
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
MoDELS-2009-WienandsG #domain-specific language #industrial #visual notation
Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (CW, MG), pp. 453–467.
MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism #requirements
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.
MoDELS-2009-Maoz #modelling #polymorphism #semantics #specification
Polymorphic Scenario-Based Specification Models: Semantics and Applications (SM), pp. 499–513.
MoDELS-2009-KleinKMJ #weaving
Aspect Model Unweaving (JK, JK, BM, JMJ), pp. 514–530.
MoDELS-2009-OldevikMK #composition #contract
Model Composition Contracts (JO, MM, IK), pp. 531–545.
MoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MoDELS-2009-YieCWD #approach #evolution
An Approach for Evolving Transformation Chains (AY, RC, DW, DD), pp. 551–555.
MoDELS-2009-DawV #modelling #process #state machine #uml
Deterministic UML Models for Interconnected Activities and State Machines (ZD, MV), pp. 556–570.
MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification
Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MoDELS-2009-DrusinskyS #logic #uml #using
Using UML Statecharts with Knowledge Logic Guards (DD, MtS), pp. 586–590.
MoDELS-2009-EsfahaniMSGM #composition #modelling
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MoDELS-2009-Booch #architecture #mining
Architectural Mining: The Other Side of the MDD (GB), p. 627.
MoDELS-2009-MohaMBJ #refactoring
Generic Model Refactorings (NM, VM, OB, JMJ), pp. 628–643.
MoDELS-2009-CuccuruRGT #classification #parametricity #uml
Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (AC, AR, SG, FT), pp. 644–649.
MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl
Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MoDELS-2009-Chimiak-Opoka #constraints #ocl
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (JCO), pp. 665–669.
MoDELS-2009-CengarleGR #modelling #variability
Variability within Modeling Language Definitions (MVC, HG, BR), pp. 670–684.
MoDELS-2009-SchwanningerGEL #lifecycle #modelling #product line #variability
Variability Modelling throughout the Product Line Lifecycle (CS, IG, CE, ML), pp. 685–689.
MoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving
Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MoDELS-2009-SunWG #model transformation
Model Transformation by Demonstration (YS, JW, JG), pp. 712–726.
MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
MoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using
Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
MoDELS-2009-GinerP #agile #development #model transformation #testing
Test-Driven Development of Model Transformations (PG, VP), pp. 748–752.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.