Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash 91 tok/s
Gemini 2.5 Pro 58 tok/s Pro
GPT-5 Medium 29 tok/s
GPT-5 High 29 tok/s Pro
GPT-4o 102 tok/s
GPT OSS 120B 462 tok/s Pro
Kimi K2 181 tok/s Pro
2000 character limit reached

Defining and executing temporal constraints for evaluating engineering artifact compliance (2312.13012v1)

Published 20 Dec 2023 in cs.SE

Abstract: Engineering processes for safety-critical systems describe the steps and sequence that guide engineers from refining user requirements into executable code, as well as producing the artifacts, traces, and evidence that the resulting system is of high quality. Process compliance focuses on ensuring that the actual engineering work is followed as closely as possible to the described engineering processes. To this end, temporal constraints describe the ideal sequence of steps. Checking these process constraints, however, is still a daunting task that requires a lot of manual work and delivers feedback to engineers only late in the process. In this paper, we present an automated constraint checking approach that can incrementally check temporal constraints across inter-related engineering artifacts upon every artifact change thereby enabling timely feedback to engineers on process deviations. Temporal constraints are expressed in the Object Constraint Language (OCL) extended with operators from Linear Temporal Logic (LTL). We demonstrate the ability of our approach to support a wide range of higher level temporal patterns. We further show that for constraints in an industry-derived use case, the average evaluation time for a single constraint takes around 0.2 milliseconds.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (45)
  1. An analysis of the commonality and differences between aspice and iso26262 in the context of software development. In European Conference on Software Process Improvement, pages 216–227. Springer, 2017.
  2. An empirical study of the complex relationships between requirements engineering processes and other processes that lead to payoffs in productivity, quality, and risk management. IEEE Transactions on Software Engineering, 32(7):433–453, 2006.
  3. Alexander Egyed. Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Software Eng., 37(2):188–204, 2011.
  4. Advanced local checking of global consistency in heterogeneous multimodeling. In European Conference on Modelling Foundations and Applications, pages 19–35. Springer, 2016.
  5. Heiko Klare. Multi-model consistency preservation. In Proc. of the 21st ACM/IEEE Int’l Conf. on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS ’18, page 156–161. ACM, 2018.
  6. Insights on the use of ocl in diverse industrial applications. In International conference on system analysis and modeling, pages 223–238. Springer, 2014.
  7. Declarative specification and verification of service choreographiess. ACM Trans. Web, 4(1):3:1–3:62, 2010.
  8. Reasoning on ltl on finite traces: Insensitivity to infiniteness. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 28, 2014.
  9. Property specification patterns for finite-state verification. In Proceedings of the second workshop on Formal methods in software practice, pages 7–15, 1998.
  10. Policy monitoring in first-order temporal logic. In Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings 22, pages 1–18. Springer, 2010.
  11. Tempsy-check: a tool for model-driven trace checking of pattern-based temporal properties. In Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, pages 64–70. EasyChair, 2017.
  12. Applying uml and software simulation for process definition, verification, and validation. Information and Software Technology, 50(9-10):897–911, 2008.
  13. Temporal constraint support for ocl. In Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers 5, pages 83–103. Springer, 2013.
  14. Oclr: a more expressive, pattern-based temporal extension of ocl. In Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings 10, pages 51–66. Springer, 2014.
  15. A model-driven approach to trace checking of pattern-based temporal properties. In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), pages 323–333. IEEE, 2017.
  16. An approach to analyzing temporal properties in uml class models. In MoDeVVa@ MoDELS, pages 77–86. Citeseer, 2013.
  17. Analyzing behavioral aspects of uml design class models against temporal properties. In 2014 14th International Conference on Quality Software, pages 196–201, 2014.
  18. Temporal extensions of ocl revisited. In Model Driven Architecture-Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings 5, pages 190–205. Springer, 2009.
  19. Ocl extended with temporal logic. In Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers 5, pages 351–357. Springer, 2003.
  20. A framework for visually monitoring business process compliance. Information Systems, 64:381–409, 2017.
  21. Constraint-based workflow models: Change made easy. In 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-30, 2007, Proceedings, Part I, pages 77–94. Springer, 2007.
  22. Temporal constraints for rule-based event processing. In Proceedings of the ACM first Ph. D. workshop in CIKM, pages 93–100, 2007.
  23. Relative temporal constraints in the rete algorithm for complex event detection. In Proceedings of the second international conference on Distributed event-based systems, pages 147–155, 2008.
  24. Processing flows of information: From data stream to complex event processing. ACM Computing Surveys (CSUR), 44(3):1–62, 2012.
  25. Monitoring business constraints with the event calculus. ACM transactions on intelligent systems and technology (TIST), 5(1):1–30, 2014.
  26. Runtime detection of business process compliance violations: An approach based on anti patterns. In Proceedings of the 30th Annual ACM Symposium on Applied Computing, pages 1203–1210, 2015.
  27. Bp-maas: A runtime compliance-monitoring system for business processes. In BPM (Demos), pages 25–29, 2015.
  28. Monitoring business constraints with linear temporal logic: An approach based on colored automata. In Business Process Management: 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30-September 2, 2011. Proceedings 9, pages 132–147. Springer, 2011.
  29. Lifecycle business process compliance management: a semantically-enabled framework. In 2015 International Conference on Cloud Computing (ICCC), pages 1–8. IEEE, 2015.
  30. Model checking of ctl-extended ocl specifications. In Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings 7, pages 221–240. Springer, 2014.
  31. The monpoly monitoring tool. RV-CuBES, 3:19–28, 2017.
  32. Alloy4spv: A formal framework for software process verification. In Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings 10, pages 83–100. Springer, 2014.
  33. Checking compliance in data-driven case management. In Business Process Management Workshops: BPM 2019 International Workshops, Vienna, Austria, September 1–6, 2019, Revised Selected Papers 17, pages 400–411. Springer, 2019.
  34. Compliance checking for decision-aware process models. In Business Process Management Workshops: BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers 16, pages 494–506. Springer, 2019.
  35. Luis E Mendoza Morales. Business process veri cation: The application of model checking and timed automata. CLEI Electronic Journal, 17(2):3–3, 2014.
  36. Verifying linear temporal logic properties in uml/ocl class diagrams using filmstripping. In 2016 Euromicro Conference on Digital System Design (DSD), pages 708–713, 2016.
  37. Business process compliance through reusable units of compliant processes. In ICWE Workshops, volume 6385, pages 325–337, 2010.
  38. Modeling and analysis of business process compliance. In Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT: IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings, pages 259–269. Springer, 2011.
  39. Ontology-based analysis of compliance and regulatory requirements of business processes. In CLOSER, pages 553–561, 2013.
  40. Checking the compliance of business processes and business rules using owl 2 ontology and swrl. In Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015, pages 11–20. Springer, 2016.
  41. Specification patterns from research to industry: A case study in service-based applications. In 2012 34th International Conference on Software Engineering (ICSE), pages 968–976, 2012.
  42. Fluent model checking for event-based systems. In Jukka Paakki and Paola Inverardi, editors, Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pages 257–266. ACM, 2003.
  43. Incremental consistency checking for complex design rules and larger model changes. In Robert B. France, Jürgen Kazmeier, Ruth Breu, and Colin Atkinson, editors, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings, volume 7590 of Lecture Notes in Computer Science, pages 202–218. Springer, 2012.
  44. Anonymous. Supporting online material - anonymized - private link during submission. https://figshare.com/s/803eae4836e619586f7b, 2023. Accessed: 2023-05-05.
  45. On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language. IEEE Transactions on Software Engineering, 46(1):100–112, 2018.
List To Do Tasks Checklist Streamline Icon: https://streamlinehq.com

Collections

Sign up for free to add this paper to one or more collections.

User Circle Single Streamline Icon: https://streamlinehq.com Sign Up

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
Ai Generate Text Spark Streamline Icon: https://streamlinehq.com

Paper Prompts

Sign up for free to create and run prompts on this paper using GPT-5.

List Streamline Icon: https://streamlinehq.com Explore 10 Community Prompts
Dice Question Streamline Icon: https://streamlinehq.com

Follow-up Questions

We haven't generated follow-up questions for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Generate Now

Don't miss out on important new AI/ML research

See which papers are being discussed right now on X, Reddit, and more:

Explore Trending Papers

“Emergent Mind helps me see which AI papers have caught fire online.”

Philip

Philip

Creator, AI Explained on YouTube