Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dingel, Juergen (Επιμελητής έκδοσης), Schulte, Wolfram (Επιμελητής έκδοσης), Ramos, Isidro (Επιμελητής έκδοσης), Abrahão, Silvia (Επιμελητής έκδοσης), Insfran, Emilio (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Σειρά: Lecture Notes in Computer Science, 8767
• Θέματα: Computer science.; Computer system failures.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer simulation.; Management information systems.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Management of Computing and Information Systems.; Simulation and Modeling.; System Performance and Evaluation.

This book constitutes the refereed proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, held in Valencia, Spain, in September/October 2014. The 41 full papers presented in this volume were carefully reviewed and selected from a total of 126...

Πίνακας περιεχομένων:

• Cloud, 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.