![](bg8.png)
tion for future work is to achieve the synchronisation
between process, product and assurance cases.
ACKNOWLEDGEMENTS
This work is partially supported by FiC (Future fac-
tories in the Cloud) project funded by SSF (Swedish
Foundation for Strategic Research). The second au-
thor has also participated during the tenure of an
ERCIM “Alain Bensoussan” Fellowship Programme.
REFERENCES
Ardila, J. P. C., Gallina, B., and Muram, F. U. (2018). Trans-
forming SPEM 2.0-compatible process models into
models checkable for compliance. In International
Conference on Software Process Improvement and
Capability Determination, SPICE ’18, Tessaloniki,
Greece, pages 233–247.
Delicado, L., Sànchez-Ferreres, J., Carmona, J., and Padró,
L. (2017). NLP4BPM - natural language processing
tools for business process management. In 15th In-
ternational Conference on Business Process Manage-
ment, BPM ’17 Demo Track, Barcelona, Spain.
ECSS (2009). European Cooperation for Space Standard-
ization, ECSS-E-ST-40C, Space Engineering Soft-
ware.
ECSS (2019). European Cooperation for Space Stan-
dardization, ECSS Applicability Requirement Matrix
(EARM). https://ecss.nl/standards/downloads/earm/.
Friedrich, F., Mendling, J., and Puhlmann, F. (2011). Pro-
cess model generation from natural language text. In
23rd International Conference on Advanced Informa-
tion Systems Engineering, CAiSE ’11, London, UK,
pages 482–496.
Javed, M. A. and Gallina, B. (2018). Safety-oriented pro-
cess line engineering via seamless integration between
EPF composer and BVR tool. In 22nd International
Systems and Software Product Line Conference - Vol-
ume 2, SPLC ’18, Gothenburg, Sweden, pages 23–28.
Javed, M. A., Gallina, B., and Carlsson, A. (2019). To-
wards variant management and change impact anal-
ysis in safety-oriented process-product lines. In
34th ACM/SIGAPP Symposium on Applied Comput-
ing, SAC 2019, Limassol, Cyprus, pages 2372–2375.
Javed, M. A., Muram, F. U., and Zdun, U. (2018). On-
demand automated traceability maintenance and evo-
lution. In 17th International Conference on New Op-
portunities for Software Reuse, ICSR ’18, Madrid,
Spain, volume 10826, pages 111–120.
Javed, M. A., Stevanetic, S., and Zdun, U. (2016). To-
wards a pattern language for construction and main-
tenance of software architecture traceability links.
In 21st European Conference on Pattern Languages
of Programs, EuroPLoP ’16, Kaufbeuren, Germany,
page 24.
Jiang, J., Aldewereld, H., Dignum, V., Wang, S., and Baida,
Z. (2015). Regulatory compliance of business pro-
cesses. AI Soc., 30(3):393–402.
Leopold, H., Mendling, J., and Polyvyanyy, A. (2014).
Supporting process model validation through natu-
ral language generation. IEEE Trans. Software Eng.,
40(8):818–840.
Muram, F. U., Gallina, B., and Kanwal, S. (2019). A
tool-supported model-based method for facilitating
the EN50129-compliant safety approval process. In
Third International Conference on Reliability, Safety,
and Security of Railway Systems. Modelling, Analy-
sis, Verification, and Certification, RSSRail ’19, Lille,
France, pages 125–141.
Muram, F. U., Gallina, B., and Rodriguez, L. G. (2018).
Preventing omission of key evidence fallacy in
process-based argumentations. In 11th International
Conference on the Quality of Information and Com-
munications Technology, QUATIC ’18, Coimbra, Por-
tugal, pages 65–73.
Muram, F. U., Javed, M. A., Hansson, H., and Punnekkat,
S. (2020). Dynamic reconfiguration of safety-critical
production systems. In 25th IEEE Pacific Rim Interna-
tional Symposium on Dependable Computing, PRDC
’20, Perth, Australia, pages 120–129.
OMG (2008). Object Management Group, Soft-
ware & Systems Process Engineering Meta-
model Specification (SPEM), Version 2.0.
http://www.omg.org/spec/SPEM/2.0/.
OMG (2011). Object Management Group, Business Pro-
cess Model And Notation (BPMN), Version 2.0.
https://www.omg.org/spec/BPMN/2.0.
Qian, C., Wen, L., Kumar, A., Lin, L., Lin, L., Zong, Z.,
Li, S., and Wang, J. (2020). An approach for pro-
cess model extraction by multi-grained text classifica-
tion. In 32nd International Conference on Advanced
Information Systems Engineering, CAiSE ’20, Greno-
ble, France, pages 268–282.
Sànchez-Ferreres, J., Carmona, J., and Padró, L. (2017).
Aligning textual and graphical descriptions of pro-
cesses through ILP techniques. In 29th International
Conference on Advanced Information Systems Engi-
neering, CAiSE ’17, Essen, Germany, pages 413–427.
van der Aa, H., Ciccio, C. D., Leopold, H., and Reijers,
H. A. (2019). Extracting declarative process models
from natural language. In 31st International Confer-
ence on Advanced Information Systems Engineering,
CAiSE ’19, Rome, Italy, pages 365–382.
Winter, K., van der Aa, H., Rinderle-Ma, S., and Weidlich,
M. (2020). Assessing the compliance of business pro-
cess models with regulatory documents. In 39th In-
ternational Conference on Conceptual Modeling, ER
’20, Vienna, Austria, volume 12400, pages 189–203.
Yanuarifiani, A. P., Chua, F., and Chan, G. (2019). Au-
tomating business process model generation from
ontology-based requirements. In 8th International
Conference on Software and Computer Applications,
ICSCA ’19, Penang, Malaysia, February 19-21, pages
205–209.
Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing
313