Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter
Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2008.

@proceedings{MoDELS-2008,
	address       = "Toulouse, France",
	editor        = "Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter",
	isbn          = "978-3-540-87874-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 5301,
	year          = 2008,
}

Contents (61 items)

27 ×#modelling
10 ×#uml
6 ×#metamodelling
5 ×#analysis
5 ×#approach
5 ×#diagrams
5 ×#model transformation
5 ×#semantics
4 ×#behaviour
4 ×#composition

MoDELS-2008-BatoryAS #design

The Objects and Arrows of Computational Design (DSB, MA, JS), pp. 1–20.

MoDELS-2008-Diskin #algebra #bidirectional #modelling

Algebraic Models for Bidirectional Model Synchronization (ZD), pp. 21–36.

MoDELS-2008-CabotCGL #analysis #declarative #invariant #model transformation

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (JC, RC, EG, JdL), pp. 37–52.

MoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise #semantics

Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.

MoDELS-2008-HateburHS #metamodelling #problem

A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.

MoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation

Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.

MoDELS-2008-SinhaKPW #case study #modelling #requirements #using #validation

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.

MoDELS-2008-HemelVV #modelling #named #object-oriented #web #workflow

WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications (ZH, RV, EV), pp. 113–127.

MoDELS-2008-SvendsenOEMCAH #future of

The Future of Train Signaling (AS, GKO, JE, TM, EC, KJA, ØH), pp. 128–142.

MoDELS-2008-DentonJSOB #framework #multi #named #platform

NAOMI — An Experimental Platform for Multi-modeling (TD, EJ, SS, KO, RWB), pp. 143–157.

MoDELS-2008-Kramer #abstraction #modelling

Abstraction and Modelling — A Complementary Partnership (JK), p. 158.

MoDELS-2008-KessentiniSB #model transformation #optimisation #problem

Model Transformation as an Optimization Problem (MK, HAS, MB), pp. 159–173.

MoDELS-2008-RobbesL #program transformation

Example-Based Program Transformation (RR, ML), pp. 174–188.

MoDELS-2008-El-BoussaidiM #constraints #design #detection #using

Detecting Patterns of Poor Design Solutions Using Constraint Propagation (GEB, HM), pp. 189–203.

MoDELS-2008-LiangDDP #approach #integration

A General Approach for Scenario Integration (HL, ZD, JD, EP), pp. 204–218.

MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using

Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.

MoDELS-2008-YuFR #modelling #static analysis #uml

Scenario-Based Static Analysis of UML Class Models (LY, RBF, IR), pp. 234–248.

MoDELS-2008-RosePKP #modelling

Constructing Models with the Human-Usable Textual Notation (LMR, RFP, DSK, FP), pp. 249–263.

MoDELS-2008-McIntoshHS #3d #diagrams #named #state machine #uml

X3D-UML: 3D UML State Machine Diagrams (PM, MH, RGvS), pp. 264–279.

MoDELS-2008-GeneroCCAIC #comprehension #diagrams #empirical #sequence chart #uml

Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment (MG, JACL, DC, SMA, EI, JÁC), pp. 280–294.

MoDELS-2008-Rauhut #3d #design #idea #modelling #parametricity

3D Parametric Models for Aeroplanes — From Idea to Design (PR), p. 295.

MoDELS-2008-LucredioFW #named

MOOGLE: A Model Search Engine (DL, RPdMF, JW), pp. 296–310.

MoDELS-2008-CicchettiRP #development #distributed

Managing Model Conflicts in Distributed Development (AC, DDR, AP), pp. 311–325.

MoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation

Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.

MoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process

Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.

MoDELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling

Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.

MoDELS-2008-WaignierSMD #component #framework #interactive #modelling

A Model-Based Framework for Statically and Dynamically Checking Component Interactions (GW, PS, AFLM, LD), pp. 371–385.

MoDELS-2008-WeisemollerS #component #composition #metamodelling

Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.

MoDELS-2008-HessellundW #interface #metamodelling #modelling

Interfaces and Metainterfaces for Models and Metamodels (AH, AW), pp. 401–415.

MoDELS-2008-MilanovicKBCEPW #documentation #integration #metadata #metamodelling #repository

Model&Metamodel, Metadata and Document Repository for Software and Data Integration (NM, RDK, TB, MC, HE, MP, JW), pp. 416–430.

MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax

Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.

MoDELS-2008-GogollaKB #benchmark #metric #ocl #performance

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency (MG, MK, FB), pp. 446–459.

MoDELS-2008-Ramos #constraints #relational #uml

Contrary-to-Duties Constraints: From UML to Relational Model (PNR), pp. 460–474.

MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.

MoDELS-2008-TawhidP #analysis #development #modelling #performance #product line

Integrating Performance Analysis in the Model Driven Development of Software Product Lines (RT, DCP), pp. 490–504.

MoDELS-2008-MonperrusJCH #approach #metric #modelling

A Model-Driven Measurement Approach (MM, JMJ, JC, BH), pp. 505–519.

MoDELS-2008-RosseboR #composition #policy #specification #uml #using

Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.

MoDELS-2008-MouelhiFBT #deployment #framework #modelling #policy #security #specification #testing

A Model-Based Framework for Security Policy Specification, Deployment and Testing (TM, FF, BB, YLT), pp. 537–552.

MoDELS-2008-ZamaniKB #enterprise #pattern matching #verification

A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.

MoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism

Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.

MoDELS-2008-CombemaleBCDH #domain-specific language #policy #specification #uml

Autonomic Management Policy Specification: From UML to DSML (BC, LB, XC, MJD, DH), pp. 584–599.

MoDELS-2008-NugrohoFC #analysis #empirical #fault #modelling #uml

Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density (AN, BF, MRVC), pp. 600–614.

MoDELS-2008-GravinoST #empirical #modelling #requirements

An Empirical Investigation on Dynamic Modeling in Requirements Engineering (CG, GS, GT), pp. 615–629.

MoDELS-2008-VermolenV #co-evolution #evolution

Heterogeneous Coupled Evolution of Software Languages (SV, EV), pp. 630–644.

MoDELS-2008-HerrmannsdoerferBJ #co-evolution #evolution #metamodelling #modelling

Automatability of Coupled Evolution of Metamodels and Models in Practice (MH, SB, EJ), pp. 645–659.

MoDELS-2008-BruhlmannGGN #reverse engineering

Enriching Reverse Engineering with Annotations (AB, TG, OG, ON), pp. 660–674.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.

MoDELS-2008-ProutADS #code generation #configuration management #semantics

Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.

MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety

Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.

MoDELS-2008-BernardiMP #analysis #dependence

Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.

MoDELS-2008-SaadKS #framework #modelling #network #testing #visual notation

Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications (MAS, NK, JHS), pp. 751–765.

MoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving

Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.

MoDELS-2008-MorinFBJSDB #approach #aspect-oriented #modelling #variability

An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability (BM, FF, NB, JMJ, AS, VD, GSB), pp. 782–796.

MoDELS-2008-MorinVLGBJ #aspect-oriented #complexity #modelling #variability

Managing Variability Complexity in Aspect-Oriented Modeling (BM, GV, PL, AG, OB, JMJ), pp. 797–812.

MoDELS-2008-Gessenharter #code generation #java #semantics #uml

Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.

MoDELS-2008-CuccuruGR

Meaningful Composite Structures (AC, SG, AR), pp. 828–842.

MoDELS-2008-GutheilKA #approach #modelling #multi

A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.

MoDELS-2008-JurjensRT #assurance #modelling #quality

Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.

MoDELS-2008-ParetoSE #embedded #evolution #ontology

Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA (LP, MS, PE), pp. 874–888.

MoDELS-2008-ObataI #modelling #validation

General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool (TO, TI), pp. 889–895.