Weaving of UML sequence diagrams using STAIRS

In this report we explore aspect-oriented modeling for UML 2.0 sequence diagrams. We ensure that the aspect weaving is semantics-based by using a formal trace model for sequence diagrams. A major challenge is to handle unbounded loops which produce infinite traces. We establish a systematic way to permutate and rewrite the original loop definition so that the weaving in many typical cases can be performed on a finite structure. We prove that it is always sufficient to consider a loop with upper bound relative to the pointcut definition to discover if the loop has infinitely repeating matches. A running example illustrates the approach and a prototype weaving tool is being implemented

On abstraction in the OMG hierarchy: systems, models, and descriptions

The Model-Driven Architecture (MDA) uses a metadata hierarchy with several layers that are placed on top of each other. The traditional view is that the layers provide abstractions related to models in languages defined by meta-models. Over the years, it has been difficult to define a consistent understanding of the layers. In this paper, we propose such a consistent understanding by clarifying the relations between the different elements in the hierarchy. This is done based on the Scandinavian approach to modelling that distinguishes between systems and system descriptions. Systems can be physical, digital, or even mental, while descriptions can be programs, language descriptions, specifications, and diagrams. We relate descriptions and systems by explaining where semantics of objects originate and how they apply in the hierarchy.publishedVersionPaid Open Acces

Models, systems, and descriptions - A cross-disciplinary reflection on models

There are many different notions of models in different areas of science that are often not aligned, making it difficult to discuss them across disciplines. In this study, we look at the differences between physical models and mental models as well as the difference between static and dynamic models. Semiotics provides a philosophical underpinning by explaining meaning-making. This allows for identifying a common ground between models in different areas. We use examples from natural sciences and linguistics to illustrate different approaches and concepts and to find commonalities. This study distinguishes between systems, models, and descriptions of models. This distinction allows us to understand the commonalities of mental and physical models in different areas.publishedVersio

Communicating Concepts in an Interdisciplinary Project: Four Models of a Lake Described in the DELTA Language

This report is the first part of an English version of a Master's Thesis. In this thesis the DELTA language was used in the description of four different models of the same system, the experiences with the use was reported and an extension of DELTA by a context concept was proposed.This report covers the use of the DELTA language. A forthcoming report (DAIMI PB-83) will deal with the proposed extension by a context concept.This report is also referred to as DELTA Project Report No. 7

Communicating Concepts in an Interdisciplinary Project: Four Models of a Lake Described in the DELTA Language

This report is the first part of an English version of a Master's Thesis. In this thesis the DELTA language was used in the description of four different models of the same system, the experiences with the use was reported and an extension of DELTA by a context concept was proposed.This report covers the use of the DELTA language. A forthcoming report (DAIMI PB-83) will deal with the proposed extension by a context concept.This report is also referred to as DELTA Project Report No. 7

Proposal for a Context Concept in Delta

The description of a context concept in DELTA is analyzed, similar concepts from various fields are considered, and on the basis of this and on the use of a context concept in an application of DELTA in an interdisciplinary project a definition of a context concept is proposed

Proposal for a Context Concept in Delta

The description of a context concept in DELTA is analyzed, similar concepts from various fields are considered, and on the basis of this and on the use of a context concept in an application of DELTA in an interdisciplinary project a definition of a context concept is proposed