TY - GEN
T1 - OCLR
T2 - 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, Held as Part of Software Technologies: Applications and Foundations, STAF 2014
AU - Dou, Wei
AU - Bianculli, Domenico
AU - Briand, Lionel
PY - 2014
Y1 - 2014
N2 - 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 from 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.
AB - 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 from 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.
UR - http://www.scopus.com/inward/record.url?scp=84958544952&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-09195-2_4
DO - 10.1007/978-3-319-09195-2_4
M3 - Conference contribution
AN - SCOPUS:84958544952
SN - 9783319091945
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 51
EP - 56
BT - Modelling Foundations and Applications - 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, Proceedings
PB - Springer Verlag
Y2 - 21 July 2014 through 25 July 2014
ER -
