LEADER 06114nam 22007935 450 001 996465401703316 005 20200702214652.0 010 $a3-642-02674-5 024 7 $a10.1007/978-3-642-02674-4 035 $a(CKB)1000000000753982 035 $a(SSID)ssj0000318975 035 $a(PQKBManifestationID)11254483 035 $a(PQKBTitleCode)TC0000318975 035 $a(PQKBWorkID)10311070 035 $a(PQKB)11491471 035 $a(DE-He213)978-3-642-02674-4 035 $a(MiAaPQ)EBC3064347 035 $a(PPN)13630706X 035 $a(EXLCZ)991000000000753982 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Driven Architecture - Foundations and Applications$b[electronic resource] $e5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009, Proceedings /$fedited by Richard F. Paige, Alan Hartman, Arend Rensink 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XIII, 337 p.) 225 1 $aProgramming and Software Engineering ;$v5562 300 $aInternational conference proceedings. 311 $a3-642-02673-7 320 $aIncludes bibliographical references and index. 327 $aCreating Embedded Platforms with MDA: Where?s the Sweet Spot? -- Creating Embedded Platforms with MDA: Where?s the Sweet Spot? -- Foundations -- Comparison of Three Model Transformation Languages -- On the Use of Higher-Order Model Transformations -- Managing Model Adaptation by Precise Detection of Metamodel Changes -- A Pattern Mining Approach Using QVT -- A Language-Theoretic View on Guidelines and Consistency Rules of UML -- A Domain Specific Language for Extracting Models in Software Modernization -- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems -- Derivation and Refinement of Textual Syntax for Models -- Uniform Random Generation of Huge Metamodel Instances -- Establishing Correspondences between Models with the Epsilon Comparison Language -- Dependent and Conflicting Change Operations of Process Models -- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations -- Temporal Extensions of OCL Revisited -- An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications -- A Model Driven Approach to the Analysis of Timeliness Properties -- A Hybrid Graphical and Textual Notation and Editor for UML Actions -- Applications -- Mapping Requirement Models to Mathematical Models in Control System Development -- On Study Results: Round Trip Engineering of Space Systems -- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis -- Managing Flexibility: Modeling Binding-Times in Simulink -- Experiences of Developing a Network Modeling Tool Using the Eclipse Environment -- MBT4Chor: A Model-Based Testing Approach for Service Choreographies -- Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study. 330 $aThis book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009. The 23 revised full papers presented - 16 research papers and 7 industry papers - were carefully reviewed and selected from 72 submissions. Promoting the use of models in the specification, design, analysis, synthesis, deployment, and evolution of complex software systems, the papers address all current issues of model-driven architecture including model transformations, modelling language issues, modelling of behaviour and time, traceability and scalability, model-based embedded systems engineering, and the application of model-driven development to IT and networking systems. 410 0$aProgramming and Software Engineering ;$v5562 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer organization 606 $aComputer logic 606 $aManagement information systems 606 $aComputer science 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer organization. 615 0$aComputer logic. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aManagement of Computing and Information Systems. 676 $a005.1 702 $aPaige$b Richard F$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHartman$b Alan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRensink$b Arend$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean Conference on Model Driven Architecture -Foundations and Applications 906 $aBOOK 912 $a996465401703316 996 $aModel Driven Architecture – Foundations and Applications$9772160 997 $aUNISA