LEADER 09586nam 22008295 450 001 996465332803316 005 20210929002846.0 010 $a3-642-04425-5 024 7 $a10.1007/978-3-642-04425-0 035 $a(CKB)1000000000784742 035 $a(SSID)ssj0000318978 035 $a(PQKBManifestationID)11240675 035 $a(PQKBTitleCode)TC0000318978 035 $a(PQKBWorkID)10336454 035 $a(PQKB)10168849 035 $a(DE-He213)978-3-642-04425-0 035 $a(MiAaPQ)EBC3064639 035 $a(PPN)139958738 035 $a(Association for Computing Machinery)10.5555/1691319 035 $a(EXLCZ)991000000000784742 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Driven Engineering Languages and Systems $e12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings /$fedited by Andy Schürr, Bran V. Selic 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XX, 756 p.) 225 1 $aProgramming and Software Engineering ;$v5795 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-04424-7 320 $aIncludes bibliographical references and index. 327 $aKeynote 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. 330 $aThis 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 248 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on (meta-)model Modeling and Management, quantitative modeling with UML, model transformations and constraints, model management, UML in practice and quality assurance, formalization of model transformations, scenario modeling, business application development, model synchronisation and change propagation, language specification and annotation, domain-specific languages, model-based analysis, model (de-)composition and abstraction, distributed software development, service and business process integration, genericity and constraints, variability management, and model transformation engineering. 410 0$aProgramming and Software Engineering ;$v5795 517 3 $aMODELS '09 606 $aSoftware engineering 606 $aUser interfaces (Computer systems) 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aArchitecture, Computer 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aUser Interfaces and Human Computer Interaction$3https://scigraph.springernature.com/ontologies/product-market-codes/I18067 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 608 $aDenver (Colo., 2009)$2swd 608 $aKongress.$2swd 615 0$aSoftware engineering. 615 0$aUser interfaces (Computer systems). 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aArchitecture, Computer. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aUser Interfaces and Human Computer Interaction. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aComputer System Implementation. 676 $a005.1 686 $aDAT 310f$2stub 686 $aSS 4800$2rvk 702 $aSchürr$b Andy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSelic$b Bran V$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aMODELS 2009 906 $aBOOK 912 $a996465332803316 996 $aModel Driven Engineering Languages and Systems$9772687 997 $aUNISA