Internal report (Reports)
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel
2014
 

Files


Full Text
oclr-report.pdf
Author preprint (597.21 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Modern enterprise information systems often require to specify their functional and non-functional (e.g., Quality of Service) requirements using expressions that contain temporal constraints. Specification approaches based on temporal logics demand a certain knowledge of mathematical logic, which is difficult to find among practitioners; moreover, tool support for temporal logics is limited. On the other hand, a standard language such as the Object Constraint Language (OCL), which benefits from the availability of several industrial-strength tools, does not support temporal expressions. In this paper we propose OCLR, an extension of OCL with support for temporal constraints based on well-known property specification patterns. With respect to previous extensions, we add support for referring to a specific occurrence of an event as well as for indicating a time distance between events and/or scope boundaries. The proposed extension defines a new syntax, very close to natural language, paving the way for a rapid adoption by practitioners. We show the application of the language in a case study in the domain of eGovernment, developed in collaboration with a public service partner.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Dou, Wei ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Publication date :
February 2014
Publisher :
SnT Centre - University of Luxembourg
ISBN/EAN :
9782879711225
Report number :
TR-SnT-2014-2
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 04 February 2014

Statistics


Number of views
363 (86 by Unilu)
Number of downloads
310 (25 by Unilu)

Bibliography


Similar publications



Contact ORBilu