Reference : OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Reports : Internal report
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15339
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
English
Dou, Wei mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Briand, Lionel mailto [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)]
Feb-2014
SnT Centre - University of Luxembourg
9782879711225
TR-SnT-2014-2
[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.
Interdisciplinary Centre for Security, Reliability and Trust
Fonds National de la Recherche - FnR
http://hdl.handle.net/10993/15339

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
oclr-report.pdfAuthor preprint583.21 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.