The purpose of this paper is to introduce a method that specifies software systems taking into consideration the tasks users will perform on these systems, i.e. a method which is task oriented. We extend the Task knowledge Structure theory (TKS) of task modeling (8), by defining a formal framework for modeling users' tasks; we then derive the formal specification of the interactive system in terms of the (formal) model of the task the system is supposed to support. The formal method we propose was arrived at using backward engineering: we want to specify interactive systems in a particular way, so we find a method for formalising users' task requirements that can guide us (using appropriate heuristics) to the desired system specification. Throughout this paper we will use examples from the domain of Air Traffic Control, using a hypothetical electronic flight trip system. Specifying a system is a typical situation where one has some notion of state, together with some operations for interrogating and updating the state. There are two approaches to specifying such a situation. Using a constructive approach one defines directly the set of states together with functions for various operations. Using the axiomatic (also called algebraic) approach, one does not define particulare sets and functions, but merely indicates the interaction between the operations. Sets of axioms convey how operations interact. The constructive approach has the advantage of being more direct. The axiomatic or algebraic approach has the advantage of being less committal, i.e. does not force one to make an arbitrary choice between different possible constructions. We have chosen the aximoatic approach for our formalisms.
Task oriented modelling of devices - the air traffic control domain
Taskorientierte Modellerstellung für Geräte - der Bereich der Flugverkehrsüberwachung
1992
4 Seiten, 1 Bild, 11 Quellen
Aufsatz (Konferenz)
Englisch
Task-Oriented Flight Control Systems
NTIS | 1977
Aircraft Task-Oriented Control/Display Interfaces
British Library Conference Proceedings | 2003
|Implementation of task-oriented control laws
Tema Archiv | 1977
|Task and domain modelling and validation for dynamic situations
Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
|