Beschreibung
InhaltsangabeCloud, Mobile and Web Computing.- Model-Driven Development of Mobile Applications Allowing Role-Driven Variants.- A Model-Based System to Automate Cloud Resource Allocation and Optimization.- An Evaluation of the Effectiveness of the Atomic Section Model.- Model Transformation 1.- Parsing in a Broad Sense.- Streaming Model Transformations by Complex Event Processing.- On the Use of Signatures for Source Incremental Model-to-text Transformation.- Behavioral Modeling.- Modeling Systemic Behavior by State-Based Holonic Modular Units.- Semantic Model Differencing Utilizing Behavioral Semantics Specifications.- Formalizing Execution Semantics of UML Profiles with fUML Models.- MDE: Past, Present and Future.-Who Knows/Uses What of the UML: A Personal Opinion Survey.- Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain.- The Relevance of Model-Driven Engineering Thirty Years from Now.- Formal Semantics, Specification and Verification.- Verifying Compilation of Synchronous Distributed Applications.- Environment-Centric Contracts for Design of Cyber-Physical Systems.- Removing Redundancies and Deducing Equivalences in UML Class Diagrams.- Models at Runtime.- A Native Versioning Concept to Support Historized Models at Runtime.- Modelling Adaptation Policies as Domain-Specific Constraints.- Scalable Armies of Model Clones through Data Sharing.- Feature and Variability Modeling.- Three Cases of Feature-Based Variability Modeling in Industry.- Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned.- Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process.- Composition and Adaptation.- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.- Model-Integrating Software Components.- Practices and Experience.- Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain.- Model Driven Grant Proposal Engineering.- Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study.- Modeling for Analysis.- Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.- Resolution of Interfering Product Fragments in Software Product Line Engineering.- Ontology-Based Modeling of Context-Aware Systems.- Pragmatics.- Comprehending Feature Models Expressed in CVL.- On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters.- Enabling the Development of Cognitive Effective Visual DSLs.- Model Extraction, Manipulation and Persistence.- JUMP-From Java Annotations to UML Profiles.- SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.- A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence.- Model Transformation 2.- Automated Chaining of Model Transformations with Incompatible Metamodels.- Classification of Model Transformation Tools: Pattern Matching Techniques.- Learning Implicit and Explicit Control in Model Transformations by Example.- Querying and Reasoning IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud.- Translating OCL to Graph Patterns.
Autorenporträt
InhaltsangabeCloud, Mobile and Web Computing.- Model-Driven Development of Mobile Applications Allowing Role-Driven Variants.- A Model-Based System to Automate Cloud Resource Allocation and Optimization.- An Evaluation of the Effectiveness of the Atomic Section Model.- Model Transformation 1.- Parsing in a Broad Sense.- Streaming Model Transformations by Complex Event Processing.- On the Use of Signatures for Source Incremental Model-to-text Transformation.- Behavioral Modeling.- Modeling Systemic Behavior by State-Based Holonic Modular Units.- Semantic Model Differencing Utilizing Behavioral Semantics Specifications.- Formalizing Execution Semantics of UML Profiles with fUML Models.- MDE: Past, Present and Future.-Who Knows/Uses What of the UML: A Personal Opinion Survey.- Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain.- The Relevance of Model-Driven Engineering Thirty Years from Now.- Formal Semantics, Specification and Verification.- Verifying Compilation of Synchronous Distributed Applications.- Environment-Centric Contracts for Design of Cyber-Physical Systems.- Removing Redundancies and Deducing Equivalences in UML Class Diagrams.- Models at Runtime.- A Native Versioning Concept to Support Historized Models at Runtime.- Modelling Adaptation Policies as Domain-Specific Constraints.- Scalable Armies of Model Clones through Data Sharing.- Feature and Variability Modeling.- Three Cases of Feature-Based Variability Modeling in Industry.- Supporting Multiplicity and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned.- Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process.- Composition and Adaptation.- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink.- A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes.- Model-Integrating Software Components.- Practices and Experience.- Experiences in Applying Model Driven Engineering to the Telescope.- and Instrument Control System Domain.- Model Driven Grant Proposal Engineering.- Agile Model-Driven Engineering in Mechatronic Systems - An Industrial Case Study.- Modeling for Analysis.- Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.- Resolution of Interfering Product Fragments in Software Product Line Engineering.- Ontology-Based Modeling of Context-Aware Systems.- Pragmatics.- Comprehending Feature Models Expressed in CVL.- On the Impact of Layout Quality to Understanding UML Diagrams: Size Matters.- Enabling the Development of Cognitive Effective Visual DSLs.- Model Extraction, Manipulation and Persistence.- JUMP-From Java Annotations to UML Profiles.- SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.- A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence.- Model Transformation 2.- Automated Chaining of Model Transformations with Incompatible Metamodels.- Classification of Model Transformation Tools: Pattern Matching Techniques.- Learning Implicit and Explicit Control in Model Transformations by Example.- Querying and Reasoning IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud.- Translating OCL to Graph Patterns.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
