Extended OCL for Goal Monitoring

  • 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 constrainMonitoring 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.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: William Robinson
URN:urn:nbn:de:kobv:83-opus-18084
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (09/10)
Document Type:Arbeitspapier/Research Paper
Language:English
Date of Publication (online):2008/03/11
Publishing Institution:Technische Universität Berlin
Release Date:2008/03/11
Tag:OCL; Object Constraint Language; Programmiersprache
OCL; Object Constraint Language; programming language
Note:
http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Licence (German):License LogoCC BY-NC-SA 2.0 DE: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe unter gleichen Bedingungen 2.0 Deutschland