Abstract
Software development methods and standards have existed for decades and the software industry is often expected to follow them, especially when it comes to critical systems. They are of vital importance for establishing a common frame of reference and milestones for software life-cycle planning, development, monitoring and evaluation. However, there is hardly any (semi-)automatic method that ensures the compliance of de-facto processes to the adopted de-jure standards throughout the development life cycle i.e. from specification to enactment. We argue that compliance assurance should be dealt by the process modeling methodologies implicitly to facilitate correct by construction approach for process development. This article presents a framework for modeling software development processes that ensures their continuous compliance to an adopted standard from specification to execution.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Wüllenweber, K., Beimborn, D., Weitzel, T., König, W.: The impact of process standardization on business process outsourcing success. Inf. Syst. Front. 10(2), 211–224 (2008). doi:10.1007/s10796-008-9063-x
Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149–164. Springer, Heidelberg (2007). doi:10.1007/978-3-540-75183-0_12
Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.: Translating standard process models to BPEL. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 417–432. Springer, Heidelberg (2006). doi:10.1007/11767138_28
El Kharbili, M., Stein, S., Pulvermüller, E.: Policy-based semantic compliance checking for business process management. In: MobIS Workshops, vol. 420, pp. 178–192. Citeseer (2008)
Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R.: Managing standards compliance. IEEE Trans. Softw. Eng. 25(6), 836–851 (1999)
Golra, F.R., Dagnat, F.: Generation of dynamic process models for multi-metamodel applications. In: 2012 International Conference on Software and System Process (ICSSP), pp. 48–57. IEEE, June 2012
ECSS, Requirements & Standards Division: Space Engineering - Software, ECSS-E-ST-40C (2009)
ISO/IEC: Systems and Software Engineering - Software Life Cycle Processes, ISO/IEC 12207, IEEE Std 12207–2008 (2008)
El Kharbili, M., Stein, S., Markovic, I., Pulvermüller, E.: Towards a framework for semantic business process compliance management. In: Proceedings of GRCIS (2008)
Golra, F.R.: A refinement based methodology for software process modeling. Ph.D. thesis, Télécom Bretagne, Université de Rennes 1 (2014)
Meyer, B.: Applying ‘design by contract’. Computer 25(10), 40–51 (1992)
Chung, P.W., Cheung, L.Y., Machin, C.H.: Compliance flow - managing the compliance of dynamic and complex processes. Knowl.-Based Syst. 21(4), 332–354 (2008)
Panesar-Walawege, R., Sabetzadeh, M., Briand, L.: A model-driven engineering approach to support the verification of compliance to safety standards. In: 22nd International Symposium on Software Reliability Engineering (ISSRE), pp. 30–39, November 2011
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Golra, F.R., Dagnat, F., Bendraou, R., Beugnard, A. (2017). Continuous Process Compliance Using Model Driven Engineering. In: Ouhammou, Y., Ivanovic, M., Abelló, A., Bellatreche, L. (eds) Model and Data Engineering. MEDI 2017. Lecture Notes in Computer Science(), vol 10563. Springer, Cham. https://doi.org/10.1007/978-3-319-66854-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-66854-3_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66853-6
Online ISBN: 978-3-319-66854-3
eBook Packages: Computer ScienceComputer Science (R0)