Eingang zum Volltext
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
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.
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: |
|
Kurzfassung in 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 | |
| Band Nummer: | 09/10 | |
| ISBN: | 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 |
