Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
Proceedings of the Ninth International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2006.

@proceedings{MoDELS-2006,
	address       = "Genova, Italy",
	editor        = "Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio",
	isbn          = "3-540-45772-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 4199,
	year          = 2006,
}

Contents (53 items)

23 ×#modelling
11 ×#uml
6 ×#analysis
6 ×#semantics
5 ×#model transformation
4 ×#approach
4 ×#case study
4 ×#using
3 ×#design
3 ×#development

MoDELS-2006-Gomaa #architecture #design #modelling #product line #realtime

A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines (HG), pp. 1–15.

MoDELS-2006-Henderson-SellersG #uml

Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 (BHS, CGP), pp. 16–26.

MoDELS-2006-LangeBCD #modelling #uml

An Experimental Investigation of UML Modeling Conventions (CFJL, BDB, MRVC, SD), pp. 27–41.

MoDELS-2006-OKeefe #uml

Improving the Definition of UML (GO), pp. 42–56.

MoDELS-2006-Staron #case study #development #industrial #modelling

Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.

MoDELS-2006-CeriaC #case study #development

Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.

MoDELS-2006-KuhnGW #case study #development #experience #modelling #process #tool support

Model-Driven Development with SDL — Process, Tools, and Experiences (TK, RG, CW), pp. 83–97.

MoDELS-2006-MullerFFHSGJ #analysis #modelling #syntax #synthesis

Model-Driven Analysis and Synthesis of Concrete Syntax (PAM, FF, FF, MH, RS, SG, JMJ), pp. 98–110.

MoDELS-2006-Baar #modelling #syntax #visual notation

Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.

MoDELS-2006-GoolPHE #composition

Compositional MDA (LvG, TP, MH, RvE), pp. 126–139.

MoDELS-2006-BerghC #interactive #modelling

CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications (JVdB, KC), pp. 140–154.

MoDELS-2006-RashidM #domain model #modelling

Domain Models Are NOT Aspect Free (AR, AMDM), pp. 155–169.

MoDELS-2006-CibranD #aspect-oriented #slicing

A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects (MAC, MD), pp. 170–184.

MoDELS-2006-ZitoDD #question #uml

Package Merge in UML 2: Practice vs. Theory? (AZ, ZD, JD), pp. 185–199.

MoDELS-2006-MensSD #analysis #consistency #dependence #detection #nondeterminism #using

Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis (TM, RVDS, MD), pp. 200–214.

MoDELS-2006-KolovosPP #modelling

Merging Models with the Epsilon Merging Language (EML) (DSK, RFP, FP), pp. 215–229.

MoDELS-2006-DiskinD #semantics #towards #uml

Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.

MoDELS-2006-TaleghaniA #semantics #uml

Semantic Variations Among UML StateMachines (AT, JMA), pp. 245–259.

MoDELS-2006-CostalGQRT #constraints #uml

Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.

MoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards

Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.

MoDELS-2006-SussMKWW #re-engineering

MDA-Based Re-engineering with Object-Z (JGS, TM, SKK, LW, GW), pp. 291–305.

MoDELS-2006-BruckerDW #analysis #model transformation #semantics

A Model Transformation Semantics and Analysis Methodology for SecureUML (ADB, JD, BW), pp. 306–320.

MoDELS-2006-HearndenLR #evolution #incremental #model transformation #modelling

Incremental Model Transformation for the Evolution of Model-Driven Systems (DH, ML, KR), pp. 321–335.

MoDELS-2006-CuadradoM #empirical #model transformation

A Plugin-Based Language to Experiment with Model Transformation (JSC, JGM), pp. 336–350.

MoDELS-2006-AkehurstBEHM #java #named

SiTra: Simple Transformations in Java (DHA, BB, MJE, WGJH, KDMM), pp. 351–364.

MoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation

Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.

MoDELS-2006-DuarteKU #information management #using

Model Extraction Using Context Information (LMD, JK, SU), pp. 380–394.

MoDELS-2006-TombelleV #modelling

Dynamic and Generic Manipulation of Models: From Introspection to Scripting (CT, GV), pp. 395–409.

MoDELS-2006-Varro #model transformation

Model Transformation by Example (DV), pp. 410–424.

MoDELS-2006-BiermannEKKTW #eclipse #framework #modelling #visual notation

Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework (EB, KE, CK, GK, GT, EW), pp. 425–439.

MoDELS-2006-BezivinBGJKL #exclamation #model transformation #modelling

Model Transformations? Transformation Models! (JB, FB, MG, FJ, IK, AL), pp. 440–453.

MoDELS-2006-AlanenLP #diagrams #modelling

A Mapping Language from Models to DI Diagrams (MA, TL, IP), pp. 454–468.

MoDELS-2006-AlanenP #modelling #set

Basic Operations over Models Containing Subset and Union Properties (MA, IP), pp. 469–483.

MoDELS-2006-ElaasarBL #approach #metamodelling #specification

A Metamodeling Approach to Pattern Specification (ME, LCB, YL), pp. 484–498.

MoDELS-2006-Cohen

Immune System Computation and the Immunological Homunculus (IRC), pp. 499–512.

MoDELS-2006-ArevaloFHN #abstraction #approach #concept analysis #modelling

Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach (GA, JRF, MH, CN), pp. 513–527.

MoDELS-2006-KappelKKKRRSW #integration #metamodelling #modelling #ontology #semantics

Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages (GK, EK, HK, GK, TR, WR, WS, MW), pp. 528–542.

MoDELS-2006-GieseW #graph grammar #incremental

Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.

MoDELS-2006-MustafizSKV #assessment #case study #modelling

Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.

MoDELS-2006-HogganvikS #approach #empirical #identification #motivation #risk management #visual notation

A Graphical Approach to Risk Identification, Motivated by Empirical Investigations (IH, KS), pp. 574–588.

MoDELS-2006-MottuBT #approach #component #reuse

Reusable MDA Components: A Testing-for-Trust Approach (JMM, BB, YLT), pp. 589–603.

MoDELS-2006-DucasseG #execution #metalanguage #smalltalk #using

Using Smalltalk as a Reflective Executable Meta-language (SD, TG), pp. 604–618.

MoDELS-2006-LundellLPM #analysis #uml #xmi

UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 (BL, BL, AP, AM), pp. 619–630.

MoDELS-2006-SriplakichBG #distributed

Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment (PS, XB, MPG), pp. 631–645.

MoDELS-2006-PonsG #ocl #specification #verification

An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE (CP, DG), pp. 646–660.

MoDELS-2006-MarkovicB #ocl #qvt #semantics

An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.

MoDELS-2006-Kosiuczenko #ocl #specification #variability

Specification of Invariability in OCL (PK), pp. 676–691.

MoDELS-2006-AntkiewiczC #modelling

Framework-Specific Modeling Languages with Round-Trip Engineering (MA, KC), pp. 692–706.

MoDELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation

A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.

MoDELS-2006-HendricksonJH #design #diagrams #process

Layered Class Diagrams: Supporting the Design Process (SAH, BJ, AvdH), pp. 722–736.

MoDELS-2006-SchattkowskyHE #design #process #synthesis #uml #using

Using UML Activities for System-on-Chip Design and Synthesis (TS, JHH, GE), pp. 737–752.

MoDELS-2006-BertolinoBAS #estimation #modelling #network #performance

Modeling and Early Performance Estimation for Network Processor Applications (AB, AB, GDA, ALSV), pp. 753–767.

MoDELS-2006-Beeck #semantics #uml

A Formal Semantics of UML-RT (MvdB), pp. 768–782.