Model driven engineering languages and systems : 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 ; proceedings / / Andy Schurr, Brian Selic (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
Descrizione fisica | 1 online resource (XX, 756 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
SchurrAndreas
SelicBran |
Collana | Lecture notes in computer science |
Soggetto topico |
Computer software - Development
UML (Computer science) |
ISBN | 3-642-04425-5 |
Classificazione |
DAT 310f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Altri titoli varianti | MODELS 2009 |
Record Nr. | UNINA-9910484097103321 |
Berlin ; ; New York, : Springer, c2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Models in software engineering : workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009 : reports and revised selected papers / / Sudipto Ghosh (ed.) |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | New York, : Springer, 2010 |
Descrizione fisica | 1 online resource (X, 360 p. 139 illus.) |
Disciplina | 005.1 |
Altri autori (Persone) | GhoshSudipto |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico |
Computer software - Development
Software engineering UML (Computer science) |
ISBN |
1-280-38609-6
9786613564016 3-642-12261-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Doctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application Development -- Educators’ Symposium -- Essentials of the 5th Educators’ Symposium at MODELS 2009 -- Teaching Object-Oriented Modeling and UML to Various Audiences -- Teaching Modeling: Why, When, What? -- Workshop — ACES-MB -- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) -- Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems -- Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration -- Workshop — AOM -- Report of the 14th International Workshop on Aspect-Oriented Modeling -- HiLA: High-Level Aspects for UML State Machines -- Workshop — Model@run.time -- 4th International Workshop on Models@run.time -- Incremental Model Synchronization for Efficient Run-Time Monitoring -- Generating Synchronization Engines between Running Systems and Their Model-Based Views -- Workshop — MoDeVVa -- MoDeVVa Workshop Summary -- From UML to Alloy and Back Again -- Generating Class Contracts from Deterministic UML Protocol Statemachines -- Workshop — MoDSE-MCCM -- “Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM) -- Model Patches in Model-Driven Engineering -- Limitations of Automating Model Migration in Response to Metamodel Adaptation -- Workshop — MPM -- Recent Advances in Multi-paradigm Modeling -- Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition -- Explicit Transformation Modeling -- Workshop — OCL -- Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages -- Extending OCL with Null-References -- On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set -- Workshop — NFPinDSML -- The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View with ModHel’X -- Workshop — TWOMDE -- Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009) -- Towards Semantic Modeling of Network Physical Devices -- Using Ontology Reasoning for Reverse Engineering Design Patterns. |
Altri titoli varianti | MODELS 2009 |
Record Nr. | UNINA-9910484814503321 |
New York, : Springer, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|