Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil
Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2007.

@proceedings{MoDELS-2007,
	address       = "Nashville, USA",
	editor        = "Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil",
	isbn          = "978-3-540-75208-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 4735,
	year          = 2007,
}

Contents (45 items)

17 ×#modelling
9 ×#uml
6 ×#design
4 ×#approach
4 ×#automation
3 ×#analysis
3 ×#aspect-oriented
3 ×#development
3 ×#interactive
3 ×#model transformation

MODELS-2007-Stevens #bidirectional #model transformation #qvt #semantics

Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions (PS), pp. 1–15.

MODELS-2007-GreenyerK #graph grammar #qvt

Reconciling TGGs with QVT (JG, EK), pp. 16–30.

MODELS-2007-VanhooffABJB #framework #named

UniTI: A Unified Transformation Infrastructure (BV, DA, SVB, WJ, YB), pp. 31–45.

MODELS-2007-HessellundCW #development #domain-specific language #multi

Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.

MODELS-2007-MassicotteCBL #detection #modelling

Model-Driven, Network-Context Sensitive Intrusion Detection (FM, MC, LCB, YL), pp. 61–75.

MODELS-2007-CorreaWB #empirical #ocl #refactoring #smell #specification

An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications (ALC, CW, MdOB), pp. 76–90.

MODELS-2007-GasevicKH #megamodelling #metamodelling #on the

On Metamodeling in Megamodels (DG, NK, MH), pp. 91–105.

MODELS-2007-RenggliDK #approach #developer #named

Magritte — A Meta-driven Approach to Empower Developers and End Users (LR, SD, AK), pp. 106–120.

MODELS-2007-RamosBJ

Matching Model-Snippets (RR, OB, JMJ), pp. 121–135.

MODELS-2007-KusterR #consistency #evaluation #nondeterminism

Improving Inconsistency Resolution with Side-Effect Evaluation and Costs (JMK, KR), pp. 136–150.

MODELS-2007-JayaramanWEG #analysis #composition #detection #feature model #interactive #product line #using

Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis (PKJ, JW, AME, HG), pp. 151–165.

MODELS-2007-WeilMNDB #analysis #automation #design #modelling #semantics

Automated Semantic Analysis of Design Models (FW, BEM, DN, PD, AvdB), pp. 166–180.

MODELS-2007-SteimannK #modelling #type system

Piecewise Modelling with State Subtypes (FS, TK), pp. 181–195.

MODELS-2007-CabotG #contract #diagrams #uml

Deriving Operation Contracts from UML Class Diagrams (JC, CG), pp. 196–210.

MODELS-2007-KampffmeyerZ #design pattern #ontology

Finding the Pattern You Need: The Design Pattern Intent Ontology (HK, SZ), pp. 211–225.

MODELS-2007-SukaviriyaSRM #approach #design #interface #lifecycle #modelling

Model-Driven Approach for Managing Human Interface Design Life Cycle (NS, VS, TR, SM), pp. 226–240.

MODELS-2007-PleussVH #development #interactive #tool support

Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications (AP, AV, HH), pp. 241–255.

MODELS-2007-ZhaoZHM #approach #e-commerce #generative #user interface

A Business-Process-Driven Approach for Generating E-Commerce User Interfaces (XZ, YZ, JH, BM), pp. 256–270.

MODELS-2007-CuccuruMTG #semantics #uml

Enhancing UML Extensions with Operational Semantics (AC, CM, FT, SG), pp. 271–285.

MODELS-2007-KrahnRV #syntax

Integrated Definition of Abstract and Concrete Syntax for Textual Languages (HK, BR, SV), pp. 286–300.

MODELS-2007-OldevikH #architecture #aspect-oriented #uml

Architectural Aspects in UML (JO, ØH), pp. 301–315.

MODELS-2007-BatoriTA #configuration management #modelling

Domain Specific Modeling Methodology for Reconfigurable Networked Systems (GB, ZT, DA), pp. 316–330.

MODELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability

A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.

MODELS-2007-HanH #modelling #navigation #web

Relating Navigation and Request Routing Models in Web Applications (MH, CH), pp. 346–359.

MODELS-2007-ErmaganK #modelling #uml

A UML2 Profile for Service Modeling (VE, IHK), pp. 360–374.

MODELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow

Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.

MODELS-2007-BrownDJ #design #implementation

A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.

MODELS-2007-JacksonS #reasoning

Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.

MODELS-2007-BasinCDE #approach #metamodelling #modelling

A Metamodel-Based Approach for Analyzing Security-Design Models (DAB, MC, JD, ME), pp. 420–435.

MODELS-2007-AnastasakisBGR #alloy #model transformation #named #uml

UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.

MODELS-2007-KonradGC #analysis #incremental #modelling #process

i²MAP : An Incremental and Iterative Modeling and Analysis Process (SK, HG, BHCC), pp. 451–466.

MODELS-2007-AbrahaoMGI #automation #design #metric #modelling #validation #web

A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.

MODELS-2007-FleureyBBNJ #industrial #migration #modelling #scalability

Model-Driven Engineering for Software Migration in a Large Industrial Context (FF, EB, BB, AN, JMJ), pp. 482–497.

MODELS-2007-LahireMVGBJ #aspect-oriented #modelling #variability

Introducing Variability into Aspect-Oriented Modeling Approaches (PL, BM, GV, AG, OB, JMJ), pp. 498–513.

MODELS-2007-WhittleMAJER #composition #diagrams #uml

An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.

MODELS-2007-ZhangHK #aspect-oriented #state machine #uml

Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.

MODELS-2007-SmialekBNAS #case study

Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.

MODELS-2007-AndreMS #modelling

Modeling Time(s) (CA, FM, RdS), pp. 559–573.

MODELS-2007-ZoughbiBL #safety #uml

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.

MODELS-2007-HibberdLR #debugging #forensics #model transformation

Forensic Debugging of Model Transformations (MH, ML, KR), pp. 589–604.

MODELS-2007-PilskalnsWI #debugging #runtime #uml #using

Runtime Debugging Using Reverse-Engineered UML (OP, SW, FI), pp. 605–619.

MODELS-2007-XuL #interactive #monitoring #visual notation

Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.

MODELS-2007-ProchnowH #development #statechart

Statechart Development Beyond WYSIWYG (SP, RvH), pp. 635–649.

MODELS-2007-KienzleDV #behaviour #design #game studies #modelling

Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.

MODELS-2007-ChakiILWZ #modelling

Model-Driven Construction of Certified Binaries (SC, JI, PL, KCW, NZ), pp. 666–681.