05800nam 22007935 450 991048398480332120251226203750.01-280-38712-297866135650443-642-13595-110.1007/978-3-642-13595-8(CKB)2550000000011546(SSID)ssj0000446643(PQKBManifestationID)11271436(PQKBTitleCode)TC0000446643(PQKBWorkID)10496401(PQKB)11284382(DE-He213)978-3-642-13595-8(MiAaPQ)EBC3065307(PPN)149063849(BIP)30771383(EXLCZ)99255000000001154620100531d2010 u| 0engurnn|008mamaatxtccrModelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings /edited by Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (364 p. 150 illus.) Programming and Software Engineering,2945-9168 ;6138Bibliographic Level Mode of Issuance: Monograph3-642-13594-3 Includes bibliographical references and index.Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering -- The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson -- Comparing Approaches to Implement Feature Model Composition -- A UML 2.0 Profile to Model Block Cipher Algorithms -- Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools -- Aspect-Oriented Business Process Modeling with AO4BPMN -- A Reflective Approach to Model-Driven Web Engineering -- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study -- Generative Technologies for Model Animation in the TopCased Platform -- Model-Driven Engineering of Machine Executable Code -- eSPEM – A SPEM Extension for Enactable Behavior Modeling -- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive Electronic Climate Control Software -- Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search -- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms -- MoPCoM Methodology: Focus on Models of Computation -- Dynamic Computation of Change Operations in Version Management of Business Process Models -- Detecting Inconsistencies in Multi-View Models with Variability -- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces -- Concordance: A Framework for Managing Model Integrity -- An Integrated Facet-Based Library for Arbitrary Software Components -- Precise Specification of Design Pattern Structure and Behaviour -- Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy -- On the Combination of Domain Specific Modeling Languages -- JointLanguage and Domain Engineering -- An Automated Approach to Transform Use Cases into Activity Diagrams.The 2010 European Conference on Modelling Foundations and Applications (ECMFA 2010) was dedicated to assessing the state of the art and the state of the practice in model-based engineering. It was the sixth edition in the - ries of conferences previously known under the title "European Conference on Model-DrivenArchitecture-FoundationsandApplications(ECMDA-FA)."The name changere'ects the de facto broadening of the conference scope beyondthe R R MDA initiative of the Object Management Group to cover all major advances related to model-based engineering approaches. These proceedings, like the ones from previous editions in the conference series, will undoubtedly serve as a reference to all who follow model-based engineering theory and practice. The included papers document the steady e- lution of model-based development methods into a mature discipline, with we- established standards, industrial-strength tools, and emerging theoretical fo- dations. They also serve to illustrate that model-based approaches are capable of signi'cantproductivity andquality improvementsrelativeto moretraditional development methods.Programming and Software Engineering,2945-9168 ;6138Software engineeringComputer scienceCompilers (Computer programs)Computer networksElectronic data processingManagementSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersComputer Communication NetworksIT OperationsSoftware engineering.Computer science.Compilers (Computer programs)Computer networks.Electronic data processingManagement.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Computer Communication Networks.IT Operations.005.10285Kuhne Thomas387237European Conference on Modelling Foundations and ApplicationsMiAaPQMiAaPQMiAaPQBOOK9910483984803321Modelling foundations and applications4200689UNINA