The University of Southampton
University of Southampton Institutional Repository

Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification

Joochim, Tossaporn and Poppleton, Mike (2007) Transfroming Timing Diagrams into Knowledge Acquisition in Automated Specification At 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.

PDF 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: 18 Jul 2017 07:31

Export record

Contributors

Author: Tossaporn Joochim
Author: Mike Poppleton

University divisions

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.

×