Model Driven Engineering Languages and Systems 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings /
This book constitutes the refereed proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009, held in Denver, CO, USA, during October 4-9, 2009. The 45 revised full papers and 13 short papers presented were carefully reviewed and selected from 24...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Σειρά: | Lecture Notes in Computer Science,
5795 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Keynote 1
- Models. Models. Models. So What?
- (Meta-)Model Modeling and Management
- Modeling Modeling
- Representation and Traversal of Large Clabject Models
- Meta-model Pruning
- Quantitative Modeling with UML
- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems
- Model Driven Performance Measurement and Assessment with MoDePeMART
- Security Analysis of a Biometric Authentication System Using UMLsec and JML
- Model Transformations and Constraints
- Automatically Discovering Hidden Transformation Chaining Constraints
- CSP(M): Constraint Satisfaction Problem over Models
- Parsing SBVR-Based Controlled Languages
- Model Management
- SLIM—A Lightweight Environment for Synchronous Collaborative Modeling
- Language-Independent Change Management of Process Models
- Requirements for Practical Model Merge – An Industrial Perspective
- UML in Practice and Quality Assurance
- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study
- Concern Visibility in Base Station Development – An Empirical Investigation
- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation
- Formalization of Model Transformations
- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
- Formal Support for QVT-Relations with Coloured Petri Nets
- Scenario Modeling
- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
- Refactoring-Safe Modeling of Aspect-Oriented Scenarios
- Model-Based Testing Using LSCs and S2A
- Business Application Development
- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward
- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
- Rule-Enhanced Business Process Modeling Language for Service Choreographies
- Model Synchronisation and Change Propagation
- Change-Driven Model Transformations
- An Incremental Algorithm for High-Performance Runtime Model Consistency
- Traceability-Based Change Awareness
- Keynote 2
- Interaction Design and Model-Driven Development
- Language Specification and Annotation
- Towards Test-Driven Semantics Specification
- Scalable Semantic Annotation Using Lattice-Based Ontologies
- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages
- Domain-Specific Languages
- Domain-Specific Languages in Practice: A User Study on the Success Factors
- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context
- Model-Based Analysis
- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty
- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation
- Polymorphic Scenario-Based Specification Models: Semantics and Applications
- Model (De-)Composition and Abstractio
- Aspect Model Unweaving
- Model Composition Contracts
- Abstracting Complex Languages through Transformation and Composition
- An Approach for Evolving Transformation Chains
- Distributed Software Development
- Deterministic UML Models for Interconnected Activities and State Machines
- Automated Encapsulation of UML Activities for Incremental Development and Verification
- Using UML Statecharts with Knowledge Logic Guards
- Service and Business Process Integration
- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems
- Executable Domain Specific Language for Message-Based System Integration
- Keynote 3
- Architectural Mining: The Other Side of the MDD
- Genericity and Constraints
- Generic Model Refactorings
- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers
- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages
- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
- Variability Management
- Variability within Modeling Language Definitions
- Variability Modelling throughout the Product Line Lifecycle
- Weaving Variability into Domain Metamodels
- Automatic Domain Model Migration to Manage Metamodel Evolution
- Model Transformation Engineering
- Model Transformation by Demonstration
- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
- Incremental Development of Model Transformation Chains Using Automated Testing
- Test-Driven Development of Model Transformations
- Symposium
- Educators’ Symposium at MODELS 2009.
