{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T21:04:04Z","timestamp":1779829444860,"version":"3.53.1"},"reference-count":59,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T00:00:00Z","timestamp":1775520000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["911655"],"award-info":[{"award-number":["911655"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P34805-N"],"award-info":[{"award-number":["P34805-N"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P31989-N31"],"award-info":[{"award-number":["P31989-N31"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.jss.2026.112868","type":"journal-article","created":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:49:28Z","timestamp":1775260168000},"page":"112868","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Automated runtime temporal constraint checking for engineering process compliance"],"prefix":"10.1016","volume":"238","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1711-6387","authenticated-orcid":false,"given":"Cosmina","family":"Cristina Ratiu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9791-6442","authenticated-orcid":false,"given":"Christoph","family":"Mayr-Dorn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Stock","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3128-5427","authenticated-orcid":false,"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.jss.2026.112868_bib0001","series-title":"MoDeVVa@ MoDELS","first-page":"77","article-title":"An approach to analyzing temporal properties in UML class models","author":"Al-Lail","year":"2013"},{"key":"10.1016\/j.jss.2026.112868_bib0002","series-title":"2014 14th International Conference on Quality Software","first-page":"196","article-title":"Analyzing behavioral aspects of UML design class models against temporal properties","author":"Al-Lail","year":"2014"},{"key":"10.1016\/j.jss.2026.112868_bib0003","series-title":"International Conference on System Analysis and Modeling","first-page":"223","article-title":"Insights on the use of OCL in diverse industrial applications","author":"Ali","year":"2014"},{"key":"10.1016\/j.jss.2026.112868_bib0004","series-title":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","first-page":"1203","article-title":"Runtime detection of business process compliance violations: an approach based on anti patterns","author":"Awad","year":"2015"},{"key":"10.1016\/j.jss.2026.112868_bib0005","series-title":"International Symposium on Frontiers of Combining Systems","first-page":"149","article-title":"Runtime verification using a temporal description logic","author":"Baader","year":"2009"},{"key":"10.1016\/j.jss.2026.112868_bib0006","series-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"10.1016\/j.jss.2026.112868_bib0007","series-title":"BPM (Demos)","first-page":"25","article-title":"Bp-maas: a runtime compliance-monitoring system for business processes","author":"Barnawi","year":"2015"},{"key":"10.1016\/j.jss.2026.112868_bib0008","series-title":"Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15\u201319, 2010. Proceedings 22","first-page":"1","article-title":"Policy monitoring in first-order temporal logic","author":"Basin","year":"2010"},{"key":"10.1016\/j.jss.2026.112868_bib0009","first-page":"19","article-title":"The monpoly monitoring tool","volume":"3","author":"Basin","year":"2017","journal-title":"RV-CuBES"},{"key":"10.1016\/j.jss.2026.112868_bib0010","series-title":"Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT: IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22\u201324, 2011. Proceedings","first-page":"259","article-title":"Modeling and analysis of business process compliance","author":"Becker","year":"2011"},{"key":"10.1016\/j.jss.2026.112868_bib0011","series-title":"2012 34th International Conference on Software Engineering (ICSE)","first-page":"968","article-title":"Specification patterns from research to industry: a case study in service-based applications","author":"Bianculli","year":"2012"},{"key":"10.1016\/j.jss.2026.112868_bib0012","series-title":"Software Language Engineering: 7th International Conference, SLE 2014, V\u00e4ster\u00e5s, Sweden, September 15\u201316, 2014. Proceedings 7","first-page":"221","article-title":"Model checking of CTL-extended OCL specifications","author":"Bill","year":"2014"},{"key":"10.1016\/j.jss.2026.112868_bib0013","series-title":"Proceedings of the Third ACM International Conference on Distributed Event-Based Systems","first-page":"1","article-title":"Distributed event stream processing with non-deterministic finite automata","author":"Brenna","year":"2009"},{"issue":"3","key":"10.1016\/j.jss.2026.112868_bib0014","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2187671.2187677","article-title":"Processing flows of information: from data stream to complex event processing","volume":"44","author":"Cugola","year":"2012","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"1","key":"10.1016\/j.jss.2026.112868_bib0015","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSE.2018.2859926","article-title":"On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language","volume":"46","author":"Czepa","year":"2018","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"7","key":"10.1016\/j.jss.2026.112868_bib0016","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1109\/TSE.2006.61","article-title":"An empirical study of the complex relationships between requirements engineering processes and other processes that lead to payoffs in productivity, quality, and risk management","volume":"32","author":"Damian","year":"2006","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.jss.2026.112868_bib0017","series-title":"Proceedings of the AAAI Conference on Artificial Intelligence","first-page":"1027","article-title":"Reasoning on LTL on finite traces: insensitivity to infiniteness","volume":"Vol. 28","author":"De Giacomo","year":"2014"},{"key":"10.1016\/j.jss.2026.112868_bib0018","series-title":"Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21\u201325, 2014. Proceedings 10","first-page":"51","article-title":"Oclr: a more expressive, pattern-based temporal extension of ocl","author":"Dou","year":"2014"},{"key":"10.1016\/j.jss.2026.112868_bib0019","series-title":"2017 ACM\/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)","first-page":"323","article-title":"A model-driven approach to trace checking of pattern-based temporal properties","author":"Dou","year":"2017"},{"key":"10.1016\/j.jss.2026.112868_bib0020","series-title":"Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools","first-page":"64","article-title":"Tempsy-check: a tool for model-driven trace checking of pattern-based temporal properties","author":"Dou","year":"2017"},{"key":"10.1016\/j.jss.2026.112868_bib0021","unstructured":"Dwyer, M., Property pattern mappings for LTL. 2025https:\/\/matthewbdwyer.github.io\/psp\/patterns\/ltl.html. Accessed: 2025-11-30."},{"key":"10.1016\/j.jss.2026.112868_bib0022","series-title":"Proceedings of the Second Workshop on Formal Methods in Software Practice","first-page":"7","article-title":"Property specification patterns for finite-state verification","author":"Dwyer","year":"1998"},{"key":"10.1016\/j.jss.2026.112868_bib0023","series-title":"International Conference on Tests and Proofs","first-page":"3","article-title":"Efficient temporal logic runtime monitoring for tiny systems","author":"Ehlers","year":"2024"},{"key":"10.1016\/j.jss.2026.112868_bib0024","series-title":"2015 International Conference on Cloud Computing (ICCC)","first-page":"1","article-title":"Lifecycle business process compliance management: a semantically-enabled framework","author":"Elgammal","year":"2015"},{"key":"10.1016\/j.jss.2026.112868_bib0025","series-title":"International Conference on Conceptual Modeling","first-page":"365","article-title":"TemporalEMF: a temporal metamodeling framework","author":"G\u00f3mez","year":"2018"},{"key":"10.1016\/j.jss.2026.112868_bib0026","series-title":"Business Process Management Workshops: BPM 2018 International Workshops, Sydney, NSW, Australia, September 9\u201314, 2018, Revised Papers 16","first-page":"494","article-title":"Compliance checking for decision-aware process models","author":"Haarmann","year":"2019"},{"key":"10.1016\/j.jss.2026.112868_bib0027","series-title":"International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software","first-page":"277","article-title":"Formal verification of a power controller using the real-time model checker uppaal","author":"Havelund","year":"1999"},{"key":"10.1016\/j.jss.2026.112868_bib0028","series-title":"2016 Euromicro Conference on Digital System Design (DSD)","first-page":"708","article-title":"Verifying linear temporal logic properties in UML\/OCL class diagrams using filmstripping","author":"Hilken","year":"2016"},{"key":"10.1016\/j.jss.2026.112868_bib0029","series-title":"Business Process Management Workshops: BPM 2019 International Workshops, Vienna, Austria, September 1\u20136, 2019, Revised Selected Papers 17","first-page":"400","article-title":"Checking compliance in data-driven case management","author":"Holfter","year":"2019"},{"issue":"9\u201310","key":"10.1016\/j.jss.2026.112868_bib0030","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1016\/j.infsof.2007.10.015","article-title":"Applying UML and software simulation for process definition, verification, and validation","volume":"50","author":"Hsueh","year":"2008","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.jss.2026.112868_bib0031","series-title":"CLOSER","first-page":"553","article-title":"Ontology-based analysis of compliance and regulatory requirements of business processes","author":"Humberg","year":"2013"},{"key":"10.1016\/j.jss.2026.112868_bib0032","series-title":"Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26\u201328, 2012, Revised Selected Papers 5","first-page":"83","article-title":"Temporal constraint support for OCL","author":"Kanso","year":"2013"},{"key":"10.1016\/j.jss.2026.112868_bib0033","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/j.is.2016.10.006","article-title":"A framework for visually monitoring business process compliance","volume":"64","author":"Knuplesch","year":"2017","journal-title":"Inf. Syst."},{"key":"10.1016\/j.jss.2026.112868_bib0034","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/bs.adcom.2015.05.003","article-title":"Combinatorial testing: theory and practice","volume":"99","author":"Kuhn","year":"2015","journal-title":"Adv. Comput."},{"key":"10.1016\/j.jss.2026.112868_bib0035","series-title":"Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21\u201325, 2014. Proceedings 10","first-page":"83","article-title":"Alloy4spv: a formal framework for software process verification","author":"Laurent","year":"2014"},{"key":"10.1016\/j.jss.2026.112868_bib0036","series-title":"Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30-September 2, 2011. Proceedings 9","first-page":"132","article-title":"Monitoring business constraints with linear temporal logic: an approach based on colored automata","author":"Maggi","year":"2011"},{"key":"10.1016\/j.jss.2026.112868_bib0037","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2024.112064","article-title":"Actionable light-weight process guidance","volume":"214","author":"Mayr-Dorn","year":"2024","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.jss.2026.112868_bib0038","doi-asserted-by":"crossref","DOI":"10.1016\/j.jss.2023.111727","article-title":"Procon: an automated process-centric quality constraints checking framework","volume":"202","author":"Mayr-Dorn","year":"2023","journal-title":"J. Syst. Softw."},{"issue":"2","key":"10.1016\/j.jss.2026.112868_bib0039","doi-asserted-by":"crossref","first-page":"3","DOI":"10.19153\/cleiej.17.2.2","article-title":"Business process verification: the application of model checking and timed automata","volume":"17","author":"Mendoza Morales","year":"2014","journal-title":"CLEI Electron. J."},{"issue":"1","key":"10.1016\/j.jss.2026.112868_bib0040","first-page":"1","article-title":"Monitoring business constraints with the event calculus","volume":"5","author":"Montali","year":"2014","journal-title":"ACM Transact. Intell. Syst. Technol. (TIST)"},{"issue":"1","key":"10.1016\/j.jss.2026.112868_bib0041","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/1658373.1658376","article-title":"Declarative specification and verification of service choreographiess","volume":"4","author":"Montali","year":"2010","journal-title":"ACM Trans. Web"},{"key":"10.1016\/j.jss.2026.112868_bib0042","series-title":"2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering","first-page":"187","article-title":"From dynamic condition response structures to b\u00fcchi automata","author":"Mukkamala","year":"2010"},{"key":"10.1016\/j.jss.2026.112868_bib0043","series-title":"European Conference on Software Process Improvement","first-page":"216","article-title":"An analysis of the commonality and differences between ASPICE and ISO26262 in the context of software development","author":"Oliveira","year":"2017"},{"key":"10.1016\/j.jss.2026.112868_bib0044","series-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25\u201330, 2007, Proceedings, Part I","first-page":"77","article-title":"Constraint-based workflow models: change made easy","author":"Pesic","year":"2007"},{"key":"10.1016\/j.jss.2026.112868_bib0045","series-title":"Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015","first-page":"11","article-title":"Checking the compliance of business processes and business rules using OWL 2 ontology and SWRL","author":"Pham","year":"2016"},{"key":"10.1016\/j.jss.2026.112868_bib0046","series-title":"Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems","first-page":"76-86","article-title":"Reactive links across multi-domain engineering models","author":"Ra\u0163iu","year":"2022"},{"key":"10.1016\/j.jss.2026.112868_bib0047","unstructured":"Ratiu, C., Stock, S., Mayr-Dorn, C., Egyed, A., 2026. Supporting online material for JSS 2025 submission. Accessed: 2026-02-09. 10.6084\/m9.figshare.22773614."},{"key":"10.1016\/j.jss.2026.112868_bib0048","series-title":"2023 IEEE 31st International Requirements Engineering Conference (RE)","first-page":"233","article-title":"Taming cross-tool traceability in the wild","author":"Ra\u0163iu","year":"2023"},{"key":"10.1016\/j.jss.2026.112868_bib0049","series-title":"Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings","first-page":"202","article-title":"Incremental consistency checking for complex design rules and larger model changes","author":"Reder","year":"2012"},{"key":"10.1016\/j.jss.2026.112868_bib0050","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.entcs.2004.01.030","article-title":"Simulation of simultaneous events in regular expressions for run-time verification","volume":"113","author":"Sammapun","year":"2005","journal-title":"Electron. Note. Theor. Comput. Sci."},{"key":"10.1016\/j.jss.2026.112868_bib0051","series-title":"ICWE Workshops","first-page":"325","article-title":"Business process compliance through reusable units of compliant processes","volume":"Vol. 6385","author":"Schumm","year":"2010"},{"key":"10.1016\/j.jss.2026.112868_bib0052","series-title":"Model Driven Architecture-Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, the Netherlands, June 23\u201326, 2009. Proceedings 5","first-page":"190","article-title":"Temporal extensions of OCL revisited","author":"Soden","year":"2009"},{"issue":"6","key":"10.1016\/j.jss.2026.112868_bib0053","doi-asserted-by":"crossref","first-page":"2489","DOI":"10.1007\/s10270-022-00984-4","article-title":"Instant and global consistency checking during collaborative engineering","volume":"21","author":"Tr\u00f6ls","year":"2022","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.jss.2026.112868_bib0054","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.jss.2015.07.008","article-title":"Reminds: a flexible runtime monitoring framework for systems of systems","volume":"112","author":"Vierhauser","year":"2016","journal-title":"J. Syst. Softw."},{"key":"10.1016\/j.jss.2026.112868_bib0055","series-title":"Proceedings of the Second International Conference on Distributed Event-based Systems","first-page":"147","article-title":"Relative temporal constraints in the rete algorithm for complex event detection","author":"Walzer","year":"2008"},{"key":"10.1016\/j.jss.2026.112868_bib0056","series-title":"Proceedings of the ACM First Ph. D. Workshop in CIKM","first-page":"93","article-title":"Temporal constraints for rule-based event processing","author":"Walzer","year":"2007"},{"key":"10.1016\/j.jss.2026.112868_bib0057","series-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer","year":"2003"},{"key":"10.1016\/j.jss.2026.112868_bib0058","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s00163-017-0262-7","article-title":"Process models in design and development","volume":"29","author":"Wynn","year":"2018","journal-title":"Res. Eng. Des."},{"key":"10.1016\/j.jss.2026.112868_bib0059","series-title":"Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9\u201312, 2003. Revised Papers 5","first-page":"351","article-title":"Ocl extended with temporal logic","author":"Ziemann","year":"2003"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121226001019?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121226001019?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T20:28:22Z","timestamp":1779827302000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121226001019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":59,"alternative-id":["S0164121226001019"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2026.112868","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Automated runtime temporal constraint checking for engineering process compliance","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jss.2026.112868","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"112868"}}