The University of Southampton
University of Southampton Institutional Repository

Transforming timing diagrams into knowledge acquisition in automated specification

Transforming timing diagrams into knowledge acquisition in automated specification
Transforming timing diagrams into knowledge acquisition in automated specification
Requirements engineering is an important part of developing programs. It is an essential stage of the software development process that defines what a product or system should to achieve. The UML Timing diagram and Knowledge Acquisition in Automated Specification (KAOS) model are requirements engineering techniques. KAOS is a goal-oriented requirements approach while the Timing diagram is a graphical notation used for explaining software timing requirements. KAOS uses linear temporal logic (LTL) to describe time constraints in goal and operation models. Similarly, the Timing diagram can describe some temporal operators such as X (next), U (until) and R (release) over some period of time. Thus, our aim is to use the Timing diagram to generate parts of a KAOS model. In this paper we demonstrate techniques for creating a KAOS goal model from a Timing diagram. The Timing diagram which is used in this paper is adapted from the UML 2.0 Timing diagram and includes features to support translation into KAOS. We use a case study of a Lift system as an example to explain the translation processes described here.
Event-B Method, KAOS
Joochim, Tossaporn
8a351167-b23c-4133-84c5-fa4bd194767c
Poppleton, Mike
4c60e63f-188c-4636-98b9-de8a42789b1b
Joochim, Tossaporn
8a351167-b23c-4133-84c5-fa4bd194767c
Poppleton, Mike
4c60e63f-188c-4636-98b9-de8a42789b1b

Joochim, Tossaporn and Poppleton, Mike (2007) Transforming timing diagrams into knowledge acquisition in automated specification. IAIT2007: The 2nd International Conference on Advances in Information Technology 2007, Thailand.

Record type: Conference or Workshop Item (Paper)

Abstract

Requirements engineering is an important part of developing programs. It is an essential stage of the software development process that defines what a product or system should to achieve. The UML Timing diagram and Knowledge Acquisition in Automated Specification (KAOS) model are requirements engineering techniques. KAOS is a goal-oriented requirements approach while the Timing diagram is a graphical notation used for explaining software timing requirements. KAOS uses linear temporal logic (LTL) to describe time constraints in goal and operation models. Similarly, the Timing diagram can describe some temporal operators such as X (next), U (until) and R (release) over some period of time. Thus, our aim is to use the Timing diagram to generate parts of a KAOS model. In this paper we demonstrate techniques for creating a KAOS goal model from a Timing diagram. The Timing diagram which is used in this paper is adapted from the UML 2.0 Timing diagram and includes features to support translation into KAOS. We use a case study of a Lift system as an example to explain the translation processes described here.

Text
Manuscript_KAOS_TD.pdf - Other
Download (163kB)

More information

Published date: 1 September 2007
Venue - Dates: IAIT2007: The 2nd International Conference on Advances in Information Technology 2007, Thailand, 2007-09-01
Keywords: Event-B Method, KAOS
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 264917
URI: http://eprints.soton.ac.uk/id/eprint/264917
PURE UUID: 64a9456b-976c-44a3-869e-85bdcc2907ef

Catalogue record

Date deposited: 03 Dec 2007 18:20
Last modified: 14 Mar 2024 07:58

Export record

Contributors

Author: Tossaporn Joochim
Author: Mike Poppleton

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×