A Validation System for Object-Oriented Specifications of Information Systems

Grau, Antonio Díaz; Kowsari, Mojgan

doi:10.14236/ewic/adbis1997.21

Cited by 9 publications

(3 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Validating a specification by animating it has been proven a useful technique in different contexts [1,2,3,5,11]. Most animation approaches [1,2,5,11] offer non-distributed, centralised animation facilities and are not internet based.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Efficient

Eshuis¹,

Brimont²,

Dubois³

et al. 2003

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

ebXML is becoming the new international standard for the specification and deployment of complex B2B transactions over the internet. ebXML transactions are inherently distributed, involving many actors exchanging XML messages with each other according to complex flows and rules. This complexity hampers validation of the correctness of a modelled business transaction by business experts. To alleviate this problem, we have developed a tool set, consisting of a CASE tool for modelling ebXML transactions and an animator for validating the modelled transactions. At the specification level, the main UML models used are class diagrams to model messages and an activity diagram to model the global flow of the messages that are exchanged by the actors (companies). The animator is internet-based, thus supporting distributed animation of an ebXML transaction. The animator checks business rules on the messages exchanged during animation. Moreover, the animator annotates messages with possible responses. Heart of the animator is a workflow engine that can read workflow descriptions in XPDL. The animator is configured automatically from the UML specification models. We illustrate the whole approach on a real-life example.

show abstract

Section: Introductionmentioning

confidence: 99%

“…Most animation approaches [1,2,5,11] offer non-distributed, centralised animation facilities and are not internet based. Consequently, only a single actor is needed to animate the specification.…”

Section: Introductionmentioning

confidence: 99%

Efficient

Eshuis¹,

Brimont²,

Dubois³

et al. 2003

SIGSOFT Softw. Eng. Notes

View full text Add to dashboard Cite

show abstract

“…This situation is reinforced when dealing with complex/critical systems. Having a way for the stakeholders to experience behaviours defined by the specification is therefore a crucial issue in validation [13], [14], [23], [35].…”

Section: Cooperative Animation Of Formal Specificationsmentioning

confidence: 99%

Bridging the gap between past and future in RE: a scenario-based approach

Haumer

Heymans

Jarke

et al.

Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188)

View full text Add to dashboard Cite

Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As RE becomes a continuous process throughout the system lifecycle, it must achieve an effective combination of envisionment and traceability. In this paper, we describe a scenario-based solution to this problem which is based on an integration of five ingredients: (a) the persistent capture of context in the form of real world scenes captured in multimedia; (b) formal agent-oriented modelling with a semantics that allows distributed interactive animation; (c) message trace diagrams as a medium for exchanging animation test cases and traces; (d) a goal model to control and record the RE process; and (e) a process-integrated tool environment to ensure method-guidance and traceability with as little effort as possible. In addition to the basics of our approach, we also describe its prototypical implementation in the CREWS-EVE environment and demonstrate its usefulness with examples from a case study in the production industry.

show abstract

Animating ebXML Transactions with a Workflow Engine

Eshuis

Brimont

Dubois

et al. 2003

On the Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE

View full text Add to dashboard Cite

Abstract. ebXML is becoming the new international standard for the specification and deployment of complex B2B transactions over the internet. ebXML transactions are inherently distributed, involving many actors exchanging XML messages with each other according to complex flows and rules. This complexity hampers validation of the correctness of a modelled business transaction by business experts. To alleviate this problem, we have developed an animator to support the cooperative validation of ebXML transactions by business experts. The animator is internet-based, supporting distributed animation of an ebXML transaction. The animator automatically checks business rules on the messages exchanged during animation. Heart of the animator is a workflow engine that can read workflow descriptions in XPDL. In this paper, we show how the animator is automatically configured from the UML models describing the ebXML transaction. The main UML models used are class diagrams to model messages and an activity diagram to model the global flow of the messages that are exchanged by the actors. Class diagrams are annotated with business rules. The UML activity diagram maps into XPDL code for the workflow engine. The class diagrams map into XML Schemas that are used by the animator for receiving, checking and sending messages. The mapping algorithms have been implemented as plugins in a commercial UML-based CASE tool. Throughout the paper, we illustrate the whole approach on a real-life example.

show abstract

A Validation System for Object-Oriented Specifications of Information Systems

Cited by 9 publications

References 24 publications

Efficient

Efficient

Bridging the gap between past and future in RE: a scenario-based approach

Animating ebXML Transactions with a Workflow Engine

Contact Info

Product

Resources

About