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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Task oriented modelling of devices - the air traffic control domain


    Weitere Titelangaben:

    Taskorientierte Modellerstellung für Geräte - der Bereich der Flugverkehrsüberwachung


    Beteiligte:
    Gikas, S. (Autor:in) / Johnson, P. (Autor:in)


    Erscheinungsdatum :

    1992


    Format / Umfang :

    4 Seiten, 1 Bild, 11 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Control Oriented Freeway Traffic Modelling by Physics-Regularized Machine Learning

    Binjaku, K. / Mece, E.K. / Pasquale, C. et al. | IEEE | 2023



    Aircraft Task-Oriented Control/Display Interfaces

    Veldhuijzen / Mulder, M. / van Paassen et al. | British Library Conference Proceedings | 2003


    Implementation of task-oriented control laws

    Onken, R. | Tema Archiv | 1977


    Task and domain modelling and validation for dynamic situations

    Käthner, David / Huemer, Anja Katharina / Jipp, Meike | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022

    Freier Zugriff