Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-18084
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1808/

Robinson, William

Extended OCL for Goal Monitoring

pdf-Format:
Dokument 1.pdf (399 KB)
Print-on-Demand:

Kurzfassung auf Englisch

Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to a user’s goal model helps to determine user satisfaction. By formalizing a goal model, runtime monitors can be automatically derived.

The REQMON system monitors the satisfaction of goal models. Recently, an OCL compiler was developed for REQMON. The OCL was extended slightly to address temporal and real-time constraints. Now, goal models can be represented in the extended OCL, from which runtime monitors can be compiled. The resulting REQMON system appears to be easier to use comes the abstract.

Freie Schlagwörter (Deutsch): OCL , Object Constraint Language , Programmiersprache
Freie Schlagwörter (Englisch): OCL , Object Constraint Language , programming language
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 09/10
ISBN/ISSN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 11.03.2008
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja