Alloy is a formal language, which has been applied to modelling of systems in a wide range
of application domains. It is supported by Alloy Analyzer, a tool, which allows fully automated …

When dealing with complex systems, information is very often fragmented across many
different models expressed within a variety of (modeling) languages. To provide the relevant …

Model Management addresses the problem of managing an evolving collection of models,
by capturing the relationships between models and providing well-defined operators to …

Although Web services are becoming business-critical components, they are often deployed
with critical software bugs that can be maliciously explored. Web vulnerability scanners …

Der Verlag und die Autoren haben alle Sorgfalt walten lassen, um vollständige und akkurate
Informationen in diesem Buch zu publizieren. Der Verlag übernimmt weder Garantie noch …

Abstract Domain Specific Modeling Languages (DSMLs) are essential elements in Model-
based Engineering. Each DSML allows capturing certain properties of the system, while …

Although labelled graphical, many modelling languages represent important model parts as
structured text. We benefit from sophisticated text editors when we use programming …

Model Management addresses the problem of managing an evolving collection of models
by capturing the relationships between models and providing well-defined operators to …

The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the
current state of research of the UML 2 Semantics Project. Equally important to receiving …

Theme/UML is an existing approach to aspect-oriented modelling that supports the
modularisation and composition of concerns, including crosscutting ones, in design. To date …