000 07648nam a22005655i 4500
001 978-3-540-87875-9
003 DE-He213
005 20160624102122.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540878759
_9978-3-540-87875-9
024 7 _a10.1007/978-3-540-87875-9
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aModel Driven Engineering Languages and Systems
_h[electronic resource] :
_b11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings /
_cedited by Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2008.
300 _bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5301
505 0 _aKeynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional Model Synchronization -- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations -- Precise Semantics of EMF Model Transformations by Graph Transformation -- A Formal Metamodel for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams -- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions -- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications -- The Future of Train Signaling -- NAOMI – An Experimental Platform for Multi–modeling -- Keynote II -- Abstraction and Modelling — A Complementary Partnership -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting Patterns of Poor Design Solutions Using Constraint Propagation -- A General Approach for Scenario Integration -- Behavioral Modelling and Composition of Object Slices Using Event Observation -- Scenario-Based Static Analysis of UML Class Models -- Constructing Models with the Human-Usable Textual Notation -- X3D-UML: 3D UML State Machine Diagrams -- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment -- Keynote III -- 3D Parametric Models for Aeroplanes — From Idea to Design -- MOOGLE: A Model Search Engine -- Managing Model Conflicts in Distributed Development -- Metamodel Matching for Automatic Model Transformation Generation -- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams -- Implementation of the Conformance Relation for Incremental Development of Behavioural Models -- A Model-Based Framework for Statically and Dynamically Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition -- Interfaces and Metainterfaces for Models and Metamodels -- Model&Metamodel, Metadata and Document Repository for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax -- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency -- Contrary-to-Duties Constraints: From UML to Relational Model -- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms -- Integrating Performance Analysis in the Model Driven Development of Software Product Lines -- A Model-Driven Measurement Approach -- Specifying Service Composition Using UML 2.x and Composition Policies -- A Model-Based Framework for Security Policy Specification, Deployment and Testing -- A Pattern Language Verifier for Web-Based Enterprise Applications -- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty -- Autonomic Management Policy Specification: From UML to DSML -- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density -- An Empirical Investigation on Dynamic Modeling in Requirements Engineering -- Heterogeneous Coupled Evolution of Software Languages -- Automatability of Coupled Evolution of Metamodels and Models in Practice -- Enriching Reverse Engineering with Annotations -- Towards a Formal Account of a Foundational Subset for Executable UML Models -- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language -- Semantically Configurable Code Generation -- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams -- Adding Dependability Analysis Capabilities to the MARTE Profile -- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications -- Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation -- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability -- Managing Variability Complexity in Aspect-Oriented Modeling -- Mapping the UML2 Semantics of Associations to a Java Code Generation Model -- Meaningful Composite Structures -- A Systematic Approach to Connectors in a Multi-level Modeling Environment -- Model-Based Quality Assurance of Automotive Software -- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA -- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool -- Workshops at MODELS 2008 -- Educators Symposium at MODELS 2008 -- Doctoral Symposium at MODELS 2008 -- Tutorials at MODELS 2008 -- Panels at MODELS 2008.
520 _aThis book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008. The 58 revised full papers presented were carefully reviewed and selected from 271 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 Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer simulation.
650 0 _aInformation Systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aSimulation and Modeling.
650 2 4 _aManagement of Computing and Information Systems.
700 1 _aCzarnecki, Krzysztof.
_eeditor.
700 1 _aOber, Ileana.
_eeditor.
700 1 _aBruel, Jean-Michel.
_eeditor.
700 1 _aUhl, Axel.
_eeditor.
700 1 _aVölter, Markus.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540878742
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5301
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-87875-9
942 _2EBK8231
_cEBK
999 _c37525
_d37525