Continuous Process Compliance Using Model Driven Engineering

Fahad Rafique Golra (1, 2) , Fabien Dagnat (1, 3) , Reda Bendraou (4) , Antoine Beugnard (1, 3)

1 IMT Atlantique - INFO - Département Informatique
2 IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
3 PASS - Process for Adaptative Software Systems
4 MoVe - Modélisation et Vérification

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.

Mots clés: Compliance; Process standards; Process Modeling; Conformance; Model Driven Engineering

Domaines: Génie logiciel [cs.SE]; Interface homme-machine [cs.HC]; Réseaux et télécommunications [cs.NI]

Fahad Rafique Golra, Fabien Dagnat, Reda Bendraou, Antoine Beugnard. Continuous Process Compliance Using Model Driven Engineering. MEDI 2017 : 7th International Conference on Model and Data Engineering, Oct 2017, Barcelone, Spain. pp.42-56, ⟨10.1007/978-3-319-66854-3_4⟩. ⟨hal-01633341⟩