On the role of basic design concepts in behaviour structuring

This paper presents some basic design concepts for the design of open distributed systems. These concepts should form the basis for the development of effective design methodologies. The paper discusses how design concepts, such as interaction, action and causality relation, can be used for modelling and structuring behaviours of functional entities in a distributed environment. The paper also addresses some consequences of the application of these design concepts such as the choice of language elements and operations to represent behaviour structure, the structuring of the design process, and the definition of design operations for behaviour refinement

Sinderen, A Design-for-Change Approach: Developing Distributed Applications from Enterprise Models, CTIT

This paper presents a novel approach to distributed applications design. The proposed approach considers both the enterprise viewpoint and the computational viewpoint of distributed applications during the design process. Two important benefits are thus accomplished: (1) the resulting distributed applications will better match the enterprise’s needs, and (2) changes in the enterprise can easily be translated to changes in the distributed application. The approach comes with a formal notation that makes it possible to define a precise relation between enterprise models and models of the distributed applications

A Rigorous Approach to Relate Enterprise and Computational Viewpoints," presented at 8th

Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more manageable. However, to construct a consistent multi-viewpoint design, the relations between viewpoints must be defined precisely, so that the consistency of designs from these viewpoints can be verified. The goal of this paper is to make the consistency rules between (a slightly adapted version of) the RM-ODP enterprise and computational viewpoints more precise and to make checking the consistency between these viewpoints practically applicable. To achieve this goal, we apply a generic framework for relating viewpoints that includes reusable consistency rules. We implemented the consistency rules in a tool to show their applicability. 1

Verifying the Correctness of Component-Based Applications that Support Business Processes

Developing applications that properly support the enterprise is a difficult task. Failing to perform this task results in applications that are not accepted by the end-users and that frustrate daily conduct of business. In this paper we introduce a formal yet practical method that helps to design componentbased applications that properly support the enterprise. The method can be used to verify whether the behavior of an application conforms to the behavior of the enterprise, where the behavior of the enterprise is specified in the form of business processes. The method helps to avoid applications being designed that support the enterprise in an incorrect manner

The invisible computer

On the role of basic design concepts in behaviour structurin