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)
External co-authors :
no
Language :
English
Title :
Revisiting Model-driven Engineering for Run-time Verification of Business Processes
Publication date :
September 2014
Event name :
8th System Analysis and Modeling Conference (SAM 2014)
Event place :
Valencia, Spain
Event date :
29-30 September
Audience :
International
Main work title :
Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014)
Baresi, L., Bianculli, D., Ghezzi, C., Guinea, S., Spoletini, P.: Validation of web service compositions. IET Softw. 1(6), 219–232 (2007)..
Baresi, L., Di Nitto, E.: Test and Analysis of Web Services. Springer, Heidelberg (2007).
Baresi, L., Di Nitto, E., Ghezzi, C.: Toward open-world software: Issue and challenges. IEEE Computer 39(10), 36–43 (2006).
Bianculli, D., Filieri, A., Ghezzi, C., Mandrioli, D.: Syntactic-semantic incrementality for agile verification. Sci. Comput. Program (2013) (in press), doi:10.1016/j.scico.2013.11.026.
Bianculli, D., Ghezzi, C.: Towards a methodology for lifelong validation of service compositions. In: SDSOA 2008, pp. 7–12. ACM (May 2008).
Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification patterns from research to industry: a case study in service-based applications. In: ICSE 2012, pp. 968–976. IEEE (2012).
Cabot, J., Teniente, E.: Incremental evaluation of OCL constraints. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 81–95. Springer, Heidelberg (2006).
Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459–1478 (2009).
Canfora, G., Di Penta, M.: Service-oriented architectures testing: A survey. In: De Lucia, A., Ferrucci, F. (eds.) ISSSE 2006-2008. LNCS, vol. 5413, pp. 78–105. Springer, Heidelberg (2009).
Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst. 20, 149–186 (1995).
Dou, W., Bianculli, D., Briand, L.: A model-based approach to trace checking of temporal properties with OCL. Tech. Rep. TR-SnT-2014-5, SnT Centre - University of Luxembourg (March 2014).
Dou, W., Bianculli, D., Briand, L.: OCLR: a more expressive, pattern-based temporal extension of OCL. In: Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 51–66. Springer, Heidelberg (2014).
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999, pp. 411–420. IEEE (1999).
Garcia, M., Möller, R.: Incremental evaluation of OCL invariants in the essential MOF object model. In: Modellierung 2008. LNI, vol. 127, pp. 11–26 (2008).
Giblin, C., Müller, S., Pfitzmann, B.: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Tech. Rep. Research Report RZ-3662, IBM Research GmbH (2006).
Gruhn, V., Laue, R.: Patterns for timed property specifications. Electron. Notes Theor. Comput. Sci. 153(2), 117–133 (2006).
Holmes, T., Mulo, E., Zdun, U., Dustdar, S.: Model-aware monitoring of SOAs for compliance service engineering. In: Service Engineering, pp. 117–136. Springer Vienna (2011).
Josuttis, N.: SOA in Practice: The Art of Distributed System Design. O’Reilly Media, Inc. (2007).
Koetter, F., Kochanowski, M.: Goal-oriented model-driven business process monitoring using proGoalML. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 72–83. Springer, Heidelberg (2012).
Menet, L., Lamolle, M., Le Dc, C.: Incremental validation of models in a MDE approach applied to the modeling of complex data structures. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol. 6428, pp. 120–129. Springer, Heidelberg (2010).
Momm, C., Gebhart, M., Abeck, S.: A model-driven approach for monitoring business performance in web service compositions. In: ICIW 2009, pp. 343–350. IEEE (2009).
OASIS: Web Services Business Process Execution Language Version 2.0 (2007) 24. OMG: BPMN 2.0 specification (January 2011), http://www.bpmn.org.
Salaün, G.: Analysis and verification of service interaction protocols - a brief survey. In: TAV-WEB 2010. EPTCS, vol. 35, pp. 75–86 (2010).
Vajk, T., Mezei, G., Levendovszky, T.: An incremental OCL compiler for modeling environments. ECEASST 15 (2008).
Yu, T., Jeng, J.J.: Model driven development of business process monitoring and control systems. In: Chen, C.-S., Filipe, J., Seruca, I., Cordeiro, J. (eds.) ICEIS 2005, pp. 161–166 (2005).