MDA&MDSD 2012 Abstracts


Full Papers
Paper Nr: 1
Title:

Semantics of Logical Relations in Topological Functioning Model

Authors:

Uldis Donins

Abstract: The Topological functioning model (TFM) captures system functioning specification in the form of topological space consisting of functional features and cause-and-effect relations among them and is represented in a form of directed graph. The formal foundation of TFM makes it as a primary model which should be developed when implementing a software system. The functional features together with topological relationships contain the necessary information to create diagrams of other type, e.g., Activity or Communication diagrams. To specify the behaviour of system execution a new artefact is added to TFM – logical relations. The presence of logical relations denotes forking, branching, decision making, and joining during execution of system. Thus, it is needed to carefully analyse these new relations in TFM to have all the necessary information to transform it to other diagrams. The paper concludes with an example of TFM analysis and logical relationship identification within it.

Paper Nr: 2
Title:

Using Use Cases for Domain Modeling

Authors:

Janis Osis, Armands Slihte and Asnate Jansone

Abstract: This paper demonstrates the Use Case Builder tool and discusses its purpose and design. Previous results show that Use Cases can be analyzed by means of natural language processing (NLP) and rules can be defined for validating use cases against a given Ontology. By using this approach it is possible to acquire formally defined knowledge for transformation to a Computation Independent Model (CIM) in Model Driven Architecture (MDA). Use Case Builder provides a facility to define the use cases according to the integrated domain modeling approach, which is described in this paper. The goal is to provide a formal base for generating CIM with the possibility of tracing the transformation from Use Cases to the corresponding Topological Functioning Model (TFM).

Paper Nr: 3
Title:

System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model

Authors:

Erika Asnina, Janis Osis and Asnate Jansone

Abstract: A gap between two domains, the system and its supporting software, is a well-known issue in software development. The analysis of the system is often considered as a redundant unwanted activity. However, software development driven by models will not be able to close the gap, if these models focus only on software and ignore the system, since software is a subsystem that helps to conduct some system’s activities. Thus, the system must be accurately analyzed before the software. For this purpose, this paper suggests a formal engineering model, Topological Functioning Model, and analysis of system functioning based on the system theory, algebraic topology, and classical logic.

Paper Nr: 4
Title:

Topological Functioning Model and Services Identification - An Approach for Services Identification from a Topological Functioning Model

Authors:

Gundars Alksnis, Erika Asnina and Uldis Sukovskis

Abstract: To support the initial elicitation of software services, IT industry organizations have proposed various Service Oriented Architecture (SOA) specifications and frameworks. However most of them do not assume specific approach of SOA construction and what the service model should consist of. There are also approaches that suggest various practices for services identification, but the issue of proper services modeling still remains open. In this paper we propose an approach for services identification from a Topological Functioning Model, therefore enabling another viewpoint which fosters the quality of identified services.

Paper Nr: 5
Title:

Formal Analysis of Objects State Changes and Transitions

Authors:

Uldis Donins, Janis Osis, Erika Asnina and Asnate Jansone

Abstract: Event-driven software systems continuously wait for occurrence of some external or internal events. When such event is received and recognized, the system reacts by performing corresponding computations which may include generation of events that trigger computation in other components. The response to the received event depends on the current state of the system and underlying objects and can include a change of state leading to a state transition. The state changes and transitions within a system can be formally analysed by using Topological functioning model. It captures system functioning specification in the form of topological space consisting of functional features and cause-and-effect relations among them and is represented in a form of directed graph. The functional features together with topological relationships contain the necessary information to create State diagram which reflects the state changes within system.