Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Date de publication/diffusion :
juillet 2014
Nom de la manifestation :
2014 European Conference on Modelling Foundations and Applications (ECMFA 2014)
Lieu de la manifestation :
York, Royaume-Uni
Date de la manifestation :
21-25 July 2014
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014)
Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification patterns from research to industry: A case study in service-based applications. In: Proc. ICSE 2012, pp. 968-976. IEEE (2012)
Bianculli, D., Ghezzi, C., San Pietro, P.: The tale of SOLOIST: A specification language for service compositions interactions. In: Pǎsǎreanu, C.S., Salaün, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 55-72. Springer, Heidelberg (2013)
Cabot, J., Olivé, À., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 44-59. Springer, Heidelberg (2003)
Conrad, S., Turowski, K.: Temporal OCL: Meeting specification demands for business components. In: Unified Modeling Language: System Analysis, Design, and Development Issues, pp. 151-165. IGI Global (2001)
Dou, W., Bianculli, D., Briand, L.: OCLR: a more expressive, pattern-based temporal extension of OCL. Tech. Rep. TR-SnT-2014-2, SnT Centre - University of Luxembourg (February 2014), http://hdl.handle.net/10993/15339
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411-420. IEEE (1999)
Flake, S., Mueller, W.: Past- and future-oriented time-bounded temporal properties with OCL. In: Proc. SEFM 2004, pp. 154-163. IEEE (2004)
Flake, S., Muller, W.: Expressing property specification patterns with OCL. In: Software Engineering Research and Practice, pp. 595-603. CSREA Press (2003)
Gruhn, V., Laue, R.: Patterns for timed property specifications. Electron. Notes Theor. Comput. Sci. 153(2), 117-133 (2006)
Object Constraint Language (2012), http://www.omg.org/spec/OCL/ISO/19507/
Kanso, B., Taha, S.: Temporal constraint support for OCL. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 83-103. Springer, Heidelberg (2013)
Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proc. ICSE 2005, pp. 372-381. ACM (2005)
Lavazza, L., Morasca, S., Morzenti, A.: A dual language approach extension to UML for the development of time-critical component-based systems. Electron. Notes Theor. Comput. Sci. 82(6), 121-132 (2003)
Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM Trans. Program. Lang. Syst. 14, 521-573 (1992)
Robinson, W.N.: Extended OCL for goal monitoring. ECEASST 9 (2008)
Soden, M., Eichler, H.: Temporal extensions of OCL revisited. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 190-205. Springer, Heidelberg (2009)
Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 351-357. Springer, Heidelberg (2004)
