Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.
Content Level »Research
Keywords »Action - BPM - Factor - Requirements Engineering - architecture analysis - architecture description language - business process modeling - code generation - complexity - component-based systems - computational geometry - design language - embedded sy - modeling - quality assurance
Keynote 2.- Modeling the Internet.- Transformation-Based Parallelization of Request-Processing Applications.- Model Driven Orchestration: Design for Service Compatibility.- Embedded Software Development with Projectional Language Workbenches.- Concern-Based (de)composition of Model-Driven Software Development Processes.- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling.- Role-Based Generic Model Refactoring.- Precise Detection of Conflicting Change Operations Using Process Model Terms.- Capturing the Intention of Model Changes.- Selective and Consistent Undoing of Model Changes.- Modeling Features at Runtime.- Metamodel-Based Information Integration at Industrial Scale.- Inferring Meta-models for Runtime System Data from the Clients of Management APIs.- A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering.- A Common Framework for Synchronization in Requirements Modelling Languages.- A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development.- Slicing of UML Models Using Model Transformations.- An Adjustable Transformation from OWL to Ecore.- Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program.- Keynote 3.- Disciplined Heterogeneous Modeling.- Design Guidelines for the Development of Quality-Driven Model Transformations.- Early Deviation Detection in Modeling Activities of MDE Processes.- Artifact or Process Guidance, an Empirical Study.- Scaling Up Model Driven Engineering – Experience and Lessons Learnt.- Mod4J: A Qualitative Case Study of Model-Driven Software Development.- Modeling Issues: a Survival Guide for a Non-expert Modeler.- Monarch: Model-Based Development of Software Architectures.- Model-to-Metamodel Transformation for the Development of Component-Based Systems.- Architectural Descriptions as Boundary Objects in System and Design Work.