|
Showing 1 - 5 of
5 matches in All Departments
|
Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings (Paperback, 2012 ed.)
Robert B. France, Jurgen Kazmeier, Ruth Breu, Colin Atkinson
|
R1,731
Discovery Miles 17 310
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 15th
International Conference on Model Driven Engineering Languages and
Systems, MODELS 2012, held in Innsbruck, Austria, in
September/October 2012. The 50 papers presented in this volume were
carefully reviewed and selected from a total of 181 submissions.
They are organized in topical sections named: metamodels and domain
specific modeling; models at runtime; model management; modeling
methods and tools, consistency analysis, software product lines;
foundations of modeling; static analysis techniques; model testing
and simulation; model transformation; model matching, tracing and
synchronization; modeling practices and experience; and model
analysis.
work for small problems, but it introduces signi?cant accidental
complexities when tackling larger problems.
Notethattherealchallengehereisnothowtodesignthesystemtotakeap-
ticular aspect into account: there is signi?cant design know-how in
industry on this and it is often captured in the form of design
patterns. Taking into account more than one aspect can be a little
harder, but many large scale successful projects in industry
provide some evidence that engineers know how di?erent concerns
should be handled. The real challenge is reducing the e?ort that
the engineerhasto
expendwhengrapplingwithmanyinter-dependentconcerns.For example, in
a product-line context, when an engineer wants to replace a variant
of an aspect used in a system, she should be able to do this
cheaply, quickly and safely. Manually weaving every aspect is not
an option. Unlike many models used in the sciences, models in
software and in lingu- tics have the same nature as the things they
model. In software, this provides an opportunity to automatically
derive software from its model, that is, to - tomate the weaving
process. This requires models to be formal, and the weaving process
be described as a program (i.e., an executable meta-model) manipul-
ing models to produce a detailed design. The detailed design
produced by the weaving process can ultimately be transformed to
code or at least test suites.
\While in geometry attempts to square the circle never succeeded,
the UML has achieved it: states canbeimplementedasclasses.
"{\Wehavemade much progressfrom thetime cloudswere used. " The Uni
ed Modeling Language is described as a language for \specifying, -
sualizing, constructing, and documenting the artifacts of software
systems" and for business modeling (OMG UML V1. x documents). The
UML re?ects some of the best experiences in object-oriented
modeling, thus it has the potential to become a widely-used
standard object-oriented modeling language. As a
generally-applicable standard the UML has to be both ?exible (ext-
sible, adaptable, modia ble) and precise. Flexibility is needed if
the UML is to be used in a variety of application domains.
Tailoring of UML syntax and adaptation of UML semantics to system
domains is highly desirable. Incor- rating domain-specic concepts
into the language will yield modeling languages that more e
ectively support system development in these domains. Tailoring may
involve determining a subset of the UML that is applicable to the
domain, extending or modifying existing language elements, or den
ing new language elements. One can envisage UML variants that are
tailored to specic domains, for example, UML for real-time systems,
multimedia systems, and for intern- based systems. Furthermore, one
can also de ne UML variants that determine levels of sophistication
in the use of the UML.
|
Globalizing Domain-Specific Languages - International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers (Paperback, 1st ed. 2015)
Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jezequel, Bernhard Rumpe
|
R1,581
Discovery Miles 15 810
|
Ships in 10 - 15 working days
|
The development of modern complex software-intensive systems often
involves the use of multiple DSMLs that capture different system
aspects. Supporting coordinated use of DSMLs leads to what we call
the globalization of modeling languages, that is, the use of
multiple modeling languages to support coordinated development of
diverse aspects of a system. In this book, a number of articles
describe the vision and the way globalized DSMLs currently assist
integrated DSML support teams working on systems that span many
domains and concerns to determine how their work on a particular
aspect influences work on other aspects. Globalized DSMLs offer
support for communicating relevant information, and for
coordinating development activities and associated technologies
within and across teams, in addition to providing support for
imposing control over development artifacts produced by multiple
teams. DSMLs can be used to support socio-technical coordination by
providing the means for stakeholders to bridge the gap between how
they perceive a problem and its solution, and the programming
technologies used to implement a solution. They also support
coordination of work across multiple teams. DSMLs developed in an
independent manner to meet the specific needs of domain experts
have an associated framework that regulates interactions needed to
support collaboration and work coordination across different system
domains. The articles in the book describe how multiple
heterogeneous modeling languages (or DSMLs) can be related to
determine how different aspects of a system influence each other.
The book includes a research roadmap that broadens the current DSML
research focus beyond the development of independent DSMLs to one
that provides support for globalized DSMLs.
Traditionally, research on model-driven engineering (MDE) has
mainly focused on the use of models at the design, implementation,
and verification stages of development. This work has produced
relatively mature techniques and tools that are currently being
used in industry and academia. However, software models also have
the potential to be used at runtime, to monitor and verify
particular aspects of runtime behavior, and to implement self-*
capabilities (e.g., adaptation technologies used in self-healing,
self-managing, self-optimizing systems). A key benefit of using
models at runtime is that they can provide a richer semantic base
for runtime decision-making related to runtime system concerns
associated with autonomic and adaptive systems. This book is one of
the outcomes of the Dagstuhl Seminar 11481 on [email protected] held
in November/December 2011, discussing foundations, techniques,
mechanisms, state of the art, research challenges, and applications
for the use of runtime models. The book comprises four research
roadmaps, written by the original participants of the Dagstuhl
Seminar over the course of two years following the seminar, and
seven research papers from experts in the area. The roadmap papers
provide insights to key features of the use of runtime models and
identify the following research challenges: the need for a
reference architecture, uncertainty tackled by runtime models,
mechanisms for leveraging runtime models for self-adaptive
software, and the use of models at runtime to address assurance for
self-adaptive systems.
|
You may like...
Not available
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|