1,721,057 research outputs found
06351 Summary -- Methods for Modelling Software Systems (MMOSS)
Full text linkWe survey the key objectives and the structure of this Dagstuhl seminar,and discuss common themes that emerged
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Full text linkFrom 27.08.06 to 01.09.06, the Dagstuhl Seminar 06351 "Methods for Modelling Software Systems (MMOSS)" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available
The Death of Object-Oriented Programming
No full textModern software systems are increasingly long-lived. In order to gracefully evolve these systems as they address new requirements, developers need to navigate effectively between domain concepts and the code that addresses those domains. One of the original promises of object-orientation was that the same object-oriented models would be used throughout requirements analysis, design and implementation. Software systems today however are commonly constructed from a heterogeneous "language soup" of mainstream code and dedicated DSLs addressing a variety of application and technical domains. Has object-oriented programming outlived its purpose? In this essay we argue that we need to rethink the original goals of object-orientation and their relevance for modern software development. We propose as a driving maxim, ``Programming is Modeling,'' and explore what this implies for programming languages, tools and environments. In particular, we argue that: (1) source code should serve not only to specify an implementation of a software system, but should encode a queryable and manipulable model of the application and technical domains concerned; (2) IDEs should exploit these domain models to enable inexpensive browsing, querying and analysis by developers; and (3) barriers between the code base, the running application, and the software ecosystem at large need to be broken down, and their connections exploited and monitored to support developers in comprehension and evolution tasks
Introduction to bidirectional transformations
Full text linkBidirectional transformations (BX) serve to maintain consistency between different representations of related and often overlapping information, translating changes in one representation to the others. We present a brief introduction to the field, in order to provide some common background to the remainder of this volume, which constitutes the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford in July 2016 as one of the closing activities of the UK EPSRC-funded project A Theory of Least Change for Bidirectional Transformations
06351 Summary -- Methods for Modelling Software Systems (MMOSS)
Full text linkWe survey the key objectives and the structure of this Dagstuhl seminar,and discuss common themes that emerged
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Full text linkFrom 27.08.06 to 01.09.06, the Dagstuhl Seminar 06351 "Methods for Modelling Software Systems (MMOSS)" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available
Exploration games for UML software design
Full text linkThe Unified Modeling Language (UML) has become the standard language
for the design of object-oriented software systems over the past
decade. Even though there exist various tools which claim to support
design with UML, their functionality is usually focused on drawing UML
diagrams and generating code from the UML model. The task of choosing
a suitable design which fulfils the requirements still has to be
accomplished by the human designer alone.
The aim of this thesis is to develop concepts for UML design tools
which assist the modeller in improving the system design and
requirements incrementally. For this approach a variant of formal
games called exploration games is introduced as underlying
technique. Exploration games can be defined on the basis of incomplete
and imprecise UML models as they occur frequently in practice. The
designer repeatedly plays an exploration game to detect flaws or
incompleteness in the design and its specification, which are both
incorporated in the game definition. At any time the game definition
can be incremented by the modeller which allows him to react to the
discoveries made during a play and experiment with new design solutions.
Exploration games can be applied to UML in different variants. For
each variant must be specified how the UML diagrams are used to set up
the game and how the semantic variation points of UML should be
interpreted. Furthermore some parts of the game definition may not be
contained in the UML model and have to be provided separately. The
emphasis of this thesis is on game variants which make use of UML
diagrams for modelling system behaviour, especially state machines
and activity diagrams.
A prototypical implementation demonstrates how the concepts developed
in this thesis can be put into practice. The tool supports the user in
defining, playing and incrementing a game. Moreover it can compute
winning strategies for the players and may act as opponent of the
modeller. As example a game variant based on UML state machines has
been implemented. The architecture that has been chosen for the tool
leaves room for extension by additional game variants and alternative
algorithms
Engineering bidirectional transformations
Full text linkBidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. It focuses on stages of a typical engineering lifecycle, starting with requirements and progressing to implementation and verification. It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well. It concludes by describing some challenges for future research into engineering bidirectional transformations
Model-Based Testing of Probabilistic Systems
Full text linkThis paper presents a model-based testing framework for probabilistic systems. We provide algorithms to generate, execute and evaluate test cases from a probabilistic requirements model. In doing so, we connect ioco-theory for model-based testing and statistical hypothesis testing: our ioco-style algorithms handle the functional aspects, while statistical methods, using χ2χ2 tests and fitting functions, assess if the frequencies observed during test execution correspond to the probabilities specified in the requirements. Key results of our paper are the classical soundness and completeness properties, establishing the mathematical correctness of our framework; Soundness states that each test case is assigned the right verdict. Completeness states that the framework is powerful enough to discover each probabilistic deviation from the specification, with arbitrary precision. We illustrate the use of our framework via two case studies
- …
