Formal deadlock elimination in an object oriented conceptual schema

doi:10.1016/0169-023X(94)00031-9

Data & Knowledge Engineering

Volume 15, Issue 1, March 1995, Pages 1-30

https://doi.org/10.1016/0169-023X(94)00031-9 Get rights and content

Abstract

Object oriented models model structural and behavioural aspects of objects in the Universe of Discourse. As the dynamic aspects of objects include parallelism and synchronisation of object life cycles, conceptual schemes must be verified for problematic behaviour like deadlock. In this paper we will present fragments of a method for object oriented analysis and the process algebra that allows to formally verify a conceptual schema build according to this method for deadlock behaviour.

References (35)

G. Kappel et al.
Using an object-oriented diagram technique for the design of information systems
R. Wieringa
Steps towards a method for the formal modeling of dynamic objects
Data and Knowledge Eng.
(1991)
A.V. Aho et al.
J.C.M. Baeton
Proces Algebra
(1986)
G. Booch
Object oriented development
IEEE Trans. Software Eng.
(1986)
G. Booch
Object Oriented Design with Applications
(1991)
G. Brebner
A CCS based investigation of deadlock in a multi-process electronic mail system
Formal Aspects Comput.
(1993)
P.P. Chen
The Entity-Relationship Model—Toward a unified view of data
ACM Trans. Database Syst.
(1976)
P.P. Chen
The Entity Relationship Approach to Logical Database Design
(1977)
P. Coad et al.
Object-Oriented Analysis
(1991)

D. Coleman et al.

Introducing objectcharts or How to use statecharts in object oriented design

IEEE Trans. Software Eng.

(1992)

G. Dedene et al.

On Generalisation/Specialisation Hierarchies in M.E.R.O.DE. Object Oriented Business Modeling

G. Dedene

Model-driven object-oriented development by examples (M.E.R.O.DE.)

G. Dedene et al.

Object-oriented systems: From conception to delivery

G. Dedene et al.

M.E.R.O.DE.: A Model-driven Entity-Relationship Object-oriented DEvelopment method

ACM SIGSOFT Software Eng. Notes

(1994)

D.W. Embley et al.

Object-Oriented Systems Analysis: A Model-Driven Approach

(1992)

D. Harel

On visual formalisms

Commun. ACM

(1988)

Cited by (29)

Assessing the influence of feedback-inclusive rapid prototyping on understanding the semantics of parallel UML statecharts by novice modellers
2017, Information and Software Technology
Citation Excerpt :
Multiparty interaction means that when an event occurs (is produced) it can be consumed by many parties. The formal definition of this model of interaction relies on CSP [19,60]. Concretely, when an event is triggered, all transitions enabled for this event will fire, even when belonging to different finite statecharts.
UML diagrams are the de facto standard for analysing, communicating and designing software systems, as well as automated code generation. However there is a certain degree of difficulty in understanding a system represented by means of UML diagrams.
Our previous research demonstrates a significant improvement in understanding the structural aspects of a system represented as a UML class diagram when using a feedback-inclusive prototype of a model. This paper extends our previous work with an empirical validation study for the effectiveness of the feedback-inclusive rapid prototyping (FIRP) method, on the comprehension of system dynamics represented as multiple interacting UML statecharts. Because models often combine structural and behavioural views that are highly intertwined, we additionally evaluate the effectiveness of the proposed method with respect to comprehension of the between-view consistency.
The FIRP environment was built following the principles of Design Science Research in Information Systems. This study targets the empirical validation of the effectiveness of the proposed technique using an experimental study method. Two experiments were conducted with the participation of 65 final-year master students in the context of different modelling courses from different study programs at KU Leuven using two two-group factorial experimental designs. The effectiveness of the FIRP method was measured by comparing students’ performance between the cycles with and without the use of the method, using the understandability (comprehension test results) as the dependent variable and the use of FIRP as the independent variable. Effects from unknown variables were neutralized by means of randomized group compositions. The effectiveness of FIRP was additionally assessed with respect to personal characteristics (age, gender, previous knowledge, self-efficacy) and user acceptance (perceived ease of use, perceived utility, preference, satisfaction).
The findings reveal a significant positive impact of the use of the prototyping technique on students’ comprehension of system dynamics represented as multiple interacting statecharts.
The findings provide empirical support for the advantage of the use of FIRP over manual inspection of interacting statecharts. The findings also suggest that the method is suitable for training system's analysis and modelling skills when UML statecharts are involved.
A scenario-based verification technique to assess the compatibility of collaborative business processes
2009, Data and Knowledge Engineering
Successful E-Business is based on seamless collaborative business processes. Each partner in the collaboration specifies its own rules and interaction preconditions. The verification of the compatibility of collaborative business processes, based on local and global views, is a complex task, which is critical for the success of the cooperation. The verification of process compatibility should be a key element in the design of new business alliances, which makes this verification essential in inter-organizational business process design. The advent of Web Services and Service Oriented Architectures stresses the need to solve complex business cooperations under the pressure of reduced costs and risks, combined with shorter time to market. At the same time, the message-based paradigm results in large and complex processes which makes the verification process quite hard.
First the use of an atomic business activity based interaction paradigm is proposed to reduce the complexity of collaborative process models. Next, formal compatibility criteria for business processes are developed. The key construction is the notion of semantic compatibility, which can be used to assess the compatibility of the publicly exposed behavior (a.k.a. business interfaces) between business partners in joint business processes. The formal nature of this compatibility allows to give a precise indication of the degree of compatibility between cooperating business partners. It enables exhaustive lists of incompatible (i.e. unsupported scenarios) business cooperations, which is more comprehensive and complete than the typical compatible or incompatible answer to this question. Finally, complex multiple party interactions can be examined in terms of the safety of the interaction protocols.
Events as atomic contracts for component integration
2004, Data and Knowledge Engineering
Citation Excerpt :
The event-based interaction mechanism as proposed in this paper uses two techniques borrowed from the object-oriented analysis and design methodology Merode [41,42], namely the object–event table and the sequence charts. Additionally, in Section 4, the Merode process algebra [13] is used to analyse coordination problems. Merode is complementary to UML [32], in that it offers a precise and computationally complete methodology.
Today many companies rely on third party applications and application services for (part of) their information systems. When applications from different parties are used together, an integration problem arises. Similarly, cross-organisational application integration requires the coordination of distributed processing across several autonomous applications. In this paper, we describe an integration approach based on an event-based coordination paradigm. Interaction is based on atomic units of interaction called “business events”. Each business event mirrors some event in the real world that requires the coordination of actions within a number of components. The coordination between applications is achieved by having applications specify preconditions for business events. As a result, a business event becomes a small scale contract between involved applications: each application can insert its own clauses into the contract by specifying preconditions. Moreover, a formal method for contract analysis is proposed, to verify whether the contract is free from contradictions and inconsistencies. Finally, in addition to its contracting aspect, the event-based communication paradigm entails a dispatching and coordination mechanism, which offers the additional advantage of a complete separation of the coordination aspects from the functionality aspects. The paper discusses different alternative architectures for event-based coordination, with particular emphasis on distributed, loosely coupled environments such as web services.
Distance-based software measurement: Necessary and sufficient properties for software measures
2000, Information and Software Technology
Axiomatic approaches to software measurement present sets of necessary, but not sufficient measure axioms. The insufficiency of the measure axioms implies that they are useful to invalidate existing software measures, but not to validate them. In this paper, a set of measure axioms is presented whose sufficiency is guaranteed by measurement theory. The axioms referred to are the metric axioms, used in mathematics to define measures of distance. We present a constructive procedure that defines software measures satisfying these axioms. As an illustration of distance-based software measurement, a measure is defined for the aggregation coupling of object classes.
On the feasibility of situational method engineering
1997, Information Systems
Given the plethora of methods for information systems development and the fact that no one method is equally suitable for every type of application domain, various proposals have been made to allow for the adaption (tailoring) of methods to better suit the needs of a specific application domain. Among these proposals is the idea of method engineering, which can be defined as the engineering discipline concerned with the design, construction and adaptation of methods, techniques and tools for (information) systems development. Within this field of study, situational method engineering is concerned with the tuning of methods and techniques to the specific characteristics of a certain project. This paper does not address the benefits of situational method engineering, as they are evident, but focuses on the feasibility of this concept. The prerequisites that have to be fulfilled for situational method engineering to be successful are identified and their inherent complexity is investigated.
Formalization of communication and behaviour in object-oriented analysis
1997, Data and Knowledge Engineering
It is often claimed that strengths of object-oriented approaches include the integration of data and process perspectives, opportunities for reuse and high comprehensibility. In this paper focus is on object-oriented analysis, and the core models of an object-oriented analysis method are examined, formalized and enhanced to define a general framework. Jacobson's method is used as a starting point because of its underlying philosophy and its successful application in practice. Core models are the object-oriented data model and the communication model, which is an integration of the interaction and the behaviour model. As Objectory emphasizes interaction between objects, the paper concentrates on the latter model. The communication model is extended with constructs to specify parallelism within an object, synchronization of concurrent execution paths, and a basic mechanism to receive results from asynchronous service requests.

View all citing articles on Scopus

View full text

PaperFormal deadlock elimination in an object oriented conceptual schema

Abstract

Data and Knowledge Eng.

Proces Algebra

Object oriented development

IEEE Trans. Software Eng.

Object Oriented Design with Applications

A CCS based investigation of deadlock in a multi-process electronic mail system

Formal Aspects Comput.

The Entity-Relationship Model—Toward a unified view of data

ACM Trans. Database Syst.

The Entity Relationship Approach to Logical Database Design

Object-Oriented Analysis

Introducing objectcharts or How to use statecharts in object oriented design

IEEE Trans. Software Eng.

On Generalisation/Specialisation Hierarchies in M.E.R.O.DE. Object Oriented Business Modeling

Model-driven object-oriented development by examples (M.E.R.O.DE.)

Object-oriented systems: From conception to delivery

M.E.R.O.DE.: A Model-driven Entity-Relationship Object-oriented DEvelopment method

ACM SIGSOFT Software Eng. Notes

Object-Oriented Systems Analysis: A Model-Driven Approach

On visual formalisms

Commun. ACM

Paper
Formal deadlock elimination in an object oriented conceptual schema