Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Heymans, Patrick; Dubois, Éric

doi:10.1007/s007660050005

Cited by 42 publications

(17 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This complete software development process support of the AAM is in contrast to many agent-oriented knowledge modelling approaches. These are usually centred on goal-oriented modelling, including i* (Yu, 1997), Composite System Design (Feather, 1994), KAOS (Dardenne et al, 1993), Albert II (Heymans and Dubois, 1998) and RE Framework (Donzelli and Bresciani, 2003). Many such modelling approaches give no concern to the integration of their early phase RE models with the rest of software development.…”

Section: Related Work and Evaluationmentioning

confidence: 99%

A knowledge hierarchy model for adaptive multi-agent systems

Xiao

Greer

2008

IJCAT

View full text Add to dashboard Cite

Adaptivity in software is important since business processes, business rules and business terms constantly evolve. A radical solution is described that makes use of the inherent adaptivity of software agents. The Adaptive Agent Model (AAM) represents business knowledge in a hierarchical structure consisting of a business concepts layer, a business rules layer, and a business processes layer. Collectively, these form a knowledge base sourced from the business requirements, that is available to running agents. Such externalised knowledge is easily maintained. Using a case study, the knowledge hierarchy is described and its contribution to the goal of software adaptivity assessed.Keywords: adaptivity; software agent; agent-oriented software engineering; business rule; business process; object-oriented; OO; software engineering; requirements modelling; knowledge engineering; KE. Biographical notes: Liang Xiao is a research fellow with the Intelligence, Agents, Multimedia Group, at the University of Southampton. He received his BSc from the Huazhong University of Science and Technology (HUST), his MSc from the University of Edinburgh, and PhD from Queen's University, Belfast. He has worked in the telecommunications industry as a software designer and programmer. His experience in solving real domain problems has stimulated his interests in the area of software engineering. Specifically, his research work focuses on software adaptivity, agent-oriented modelling and requirements engineering (RE). The results of his research have been presented and published in journals and international conferences.Des Greer is a Lecturer in Computer Science at the Queen's University, Belfast. He is a graduate of QUB and received his Master's and Doctorate Degrees from the University of Ulster. Before his career in academia at Queens and previously at Ulster, he worked in industry as an analyst-programmer and his research is inspired by real problems in software engineering. His particular research interests are in iterative and incremental software processes, software evolution planning, software risk management and software adaptivity. He teaches software engineering at the undergraduate and graduate levels and is a member of the ACM and IEEE.

show abstract

Section: Related Work and Evaluationmentioning

confidence: 99%

A knowledge hierarchy model for adaptive multi-agent systems

Xiao

Greer

2008

IJCAT

View full text Add to dashboard Cite

show abstract

“…For example, [40] and [32] present an execution and animation framework for specifications in Z, whereas [22] does so for the language Albert II. In addition to being nonsequence-based design models and not having a play-inlike capability, the animation in these tools does not use the target application GUI.…”

Section: Related Workmentioning

confidence: 99%

Specifying and executing behavioral requirements: the play-in/play-out approach

2003

View full text Add to dashboard Cite

Abstract. A powerful methodology for scenario-based specification of reactive systems is described, in which the behavior is "played in" directly from the system's GUI or some abstract version thereof, and can then be "played out". The approach is supported and illustrated by a tool, which we call the play-engine. As the behavior is played in, the play-engine automatically generates a formal version in an extended version of the language of live sequence charts (LSCs). As they are played out, it causes the application to react according to the universal ("must") parts of the specification; the existential ("may") parts can be monitored to check their successful completion. Play-in is a user-friendly high-level way of specifying behavior and play-out is a rather surprising way of working with a fully operational system directly from its inter-object requirements. The ideas appear to be relevant to many stages of system development, including requirements engineering, specification, testing, analysis and implementation.

show abstract

“…[8][9][10]22], and some commercial CASE tools support animation of UML designs, e.g. Rhapsody by I-Logix [12] and Rose RT by Rational [21].…”

Section: Related Workmentioning

confidence: 99%

“…In our approach, multiple actors can collab- orate to cooperatively animate a business transaction. A notable exception to these animation approaches is the work by Heymans and Dubois [10], in which a distributed internet-based animator is presented that allows different actors to cooperatively animate a specification. However, that animator requires a human scheduler for coordinating the behaviour of the different actors, whereas our approach uses a workflow engine for this.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

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

Self Cite

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

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Abstract: Abstract

Cited by 42 publications

References 33 publications

A knowledge hierarchy model for adaptive multi-agent systems

A knowledge hierarchy model for adaptive multi-agent systems

Specifying and executing behavioral requirements: the play-in/play-out approach

Animating ebXML Transactions with a Workflow Engine

Contact Info

Product

Resources

About