{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T12:27:06Z","timestamp":1766579226515,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,27]],"date-time":"2024-10-27T00:00:00Z","timestamp":1729987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,27]]},"DOI":"10.1145\/3691621.3694936","type":"proceedings-article","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T12:18:59Z","timestamp":1729599539000},"page":"72-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Logical square-driven and state-oriented generation of behavioural models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9061-561X","authenticated-orcid":false,"given":"Radoslaw","family":"Klimek","sequence":"first","affiliation":[{"name":"AGH University of Krakow, Krakow, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: Principles, Techniques, and Tools (2nd Edition). Addison Wesley."},{"key":"e_1_3_2_1_2_1","volume-title":"Schneider","author":"Alpern Bowen","year":"1985","unstructured":"Bowen Alpern and Fred B. Schneider. 1985. Defining liveness. Inform. Process. Lett. 21 (4) (1985), 181--185."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/DESSERT.2018.8409134"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/s10270-014-0440-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/s11787-007-0023-x"},{"volume-title":"The Unified Modeling Language Reference Manual","author":"Booch Grady","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. 1999. The Unified Modeling Language Reference Manual. Addison Wesley.","key":"e_1_3_2_1_6_1"},{"unstructured":"Boost.Statechart Development Team. 2024. The Boost Statechart Library. https:\/\/www.boost.org\/doc\/libs\/1_79_0\/libs\/statechart\/doc\/index.html accessed on 5-May-2024.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-319-00966-7_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1147\/sj.282.0294"},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas H.","unstructured":"Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. 2009. Introduction to Algorithms (3rd ed.). The MIT Press.","edition":"3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.ins.2010.01.026"},{"volume-title":"Modeling and Using Context (Lecture Notes in Artificial Intelligence), Henning Christiansen, Isidora Stojanovic, and George A","author":"Demey Lorenz","unstructured":"Lorenz Demey. 2015. Interactively Illustrating the Context-Sensitivity of Aristotelian Diagrams. In Modeling and Using Context (Lecture Notes in Artificial Intelligence), Henning Christiansen, Isidora Stojanovic, and George A. Papadopoulos (Eds.), Vol. 9405. Springer International Publishing, 331--345.","key":"e_1_3_2_1_12_1"},{"volume-title":"FME '93: Industrial-Strength Formal Methods, James C","author":"Dick Jeremy","unstructured":"Jeremy Dick and Alain Faivre. 1993. Automating the generation and sequencing of test cases from model-based specifications. In FME '93: Industrial-Strength Formal Methods, James C. P. Woodcock and Peter G. Larsen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 268--284.","key":"e_1_3_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/s11787-007-0032-9"},{"key":"e_1_3_2_1_15_1","volume-title":"Design Patterns: Elements of Reusable Object-oriented Software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/S1574-6526(07)03002-7"},{"volume-title":"Handbook of the Poisson Distribution","author":"F.A. Haight and Operations Research Society of America. 1967.","unstructured":"F.A. Haight and Operations Research Society of America. 1967. Handbook of the Poisson Distribution. Wiley.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","volume-title":"Modeling Reactive Systems with Statecharts: The Statemate Approach","author":"Harel David","unstructured":"David Harel and Michal Politi. 1998. Modeling Reactive Systems with Statecharts: The Statemate Approach (1st ed.). McGraw-Hill, Inc.","edition":"1"},{"unstructured":"Marijn Heule Matti J\u00e4rvisalo and Martin Suda. 2022. The international SAT Competitions web page. http:\/\/www.satcompetition.org\/. accessed on 16-May-2022.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","volume-title":"Ullman","author":"Hopcroft John E.","year":"2006","unstructured":"John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman. 2006. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley."},{"volume-title":"Software Testing: a Craftsman's Approach","author":"Jorgensen Paul C.","unstructured":"Paul C. Jorgensen. 2013. Software Testing: a Craftsman's Approach (fourth ed.). Auerbach Publications.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","volume-title":"Safety and Liveness Properties: A Survey. EATCS-Bulletin 53","author":"Kindler Ekkart","year":"1994","unstructured":"Ekkart Kindler. 1994. Safety and Liveness Properties: A Survey. EATCS-Bulletin 53 (1994)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1016\/j.jlamp.2019.02.005"},{"volume-title":"The Art of Computer Programming","author":"Knuth Donald E.","unstructured":"Donald E. Knuth. 2015. The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability (1st ed.). Addison-Wesley Professional.","key":"e_1_3_2_1_24_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1002\/spe.4380240704"},{"key":"e_1_3_2_1_26_1","volume-title":"Applying UML and patterns: An introduction to object-oriented analysis and design and iterative development","author":"Larman Craig","unstructured":"Craig Larman. 2004. Applying UML and patterns: An introduction to object-oriented analysis and design and iterative development (3rd Edition). Prentice Hall PTR.","edition":"3"},{"volume-title":"The Temporal Logic of Reactive and Concurrent Systems - Specification","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli. 1992. The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer-Verlag New York, Inc.","key":"e_1_3_2_1_27_1"},{"unstructured":"William McCune. 2019. Website for solver Prover9. https:\/\/www.cs.unm.edu\/~mccune\/prover9\/ accessed on 5-Aug-2020.","key":"e_1_3_2_1_28_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1080\/01445340.2015.1084183"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1109\/LASCAS45839.2020.9069010"},{"key":"e_1_3_2_1_31_1","volume-title":"Stanford Encyclopedia of Philosophy http:\/\/plato.stanford.edu\/entries\/square\/, Edward N","author":"Parsons T.","year":"2022","unstructured":"T. Parsons. 2018. The traditional square of opposition. In Stanford Encyclopedia of Philosophy http:\/\/plato.stanford.edu\/entries\/square\/, Edward N. Zalta (Ed.). accessed on 10-May-2022."},{"unstructured":"Tom Pender. 2003. UML Bible. John Wiley & Sons.","key":"e_1_3_2_1_32_1"},{"unstructured":"Qt State Machine Development Team. 2024. Qt State Machine Framework. https:\/\/doc.qt.io\/qt-5\/statemachine-api.html accessed on 5-May-2024.","key":"e_1_3_2_1_33_1"},{"key":"e_1_3_2_1_34_1","first-page":"3","article-title":"The design and implementation of VAMPIRE","volume":"15","author":"Riazanov Alexandre","year":"2002","unstructured":"Alexandre Riazanov and Andrei Voronkov. 2002. The design and implementation of VAMPIRE. AI Commun. 15, 2,3 (aug 2002), 91--110.","journal-title":"AI Commun."},{"volume-title":"Practical UML Statecharts in C\/C++: Event-Driven Programming for Embedded Systems","author":"Samek Miro","unstructured":"Miro Samek. 2002. Practical UML Statecharts in C\/C++: Event-Driven Programming for Embedded Systems. CRC Press.","key":"e_1_3_2_1_35_1"},{"unstructured":"Renate Schmidt. 2022. AiML.NET. Advances in modal logic. Accessible theorem provers webpage. http:\/\/www.cs.man.ac.uk\/~schmidt\/tools\/. accessed on 16-May-2022.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","first-page":"3","article-title":"E - a brainiac theorem prover","volume":"15","author":"Schulz Stephan","year":"2002","unstructured":"Stephan Schulz. 2002. E - a brainiac theorem prover. Journal of AI Communications 15, 2,3 (aug 2002), 111--126.","journal-title":"Journal of AI Communications"},{"unstructured":"Stephan Schulz. 2020. Website for prover E. http:\/\/wwwlehre.dhbw-stuttgart.de\/~sschulz\/E\/E.html accessed on 5-Aug-2024.","key":"e_1_3_2_1_38_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1007\/s10849-014-9207-y"},{"unstructured":"SML Development Team. 2024. Website for SML (State Machine Language). https:\/\/github.com\/boost-ext\/sml accessed on 5-May-2024.","key":"e_1_3_2_1_40_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1109\/TSE.2006.55"},{"key":"e_1_3_2_1_42_1","volume-title":"Square of Opposition Conferences Scientific Board. 2018. 6th Square of Opposition Conference","author":"The","year":"2018","unstructured":"The Square of Opposition Conferences Scientific Board. 2018. 6th Square of Opposition Conference, Crete, Greece, 2018. http:\/\/www.square-of-opposition.org\/square2018.html"},{"key":"e_1_3_2_1_43_1","volume-title":"Square of Opposition Conferences Scientific Board. 2022. 7th Square of Opposition Conference","author":"The","year":"2022","unstructured":"The Square of Opposition Conferences Scientific Board. 2022. 7th Square of Opposition Conference, Leuven, Belgium, 2022. http:\/\/www.square-of-opposition.org\/square2022.html"},{"unstructured":"Andrei Voronkov. 2017. Website for prover Vampire. https:\/\/vprover.github.io\/ accessed on 5-Aug-2024.","key":"e_1_3_2_1_44_1"},{"volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer Jos","unstructured":"Jos Warmer and Anneke Kleppe. 1999. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, Reading, MA.","key":"e_1_3_2_1_45_1"},{"unstructured":"Joseph C. Watkins. 2021. An Introduction to the Science of Statistics: From Theory to Implementation. Preliminary Edition. https:\/\/www.math.arizona.edu\/~jwatkins\/statbook.pdf","key":"e_1_3_2_1_46_1"},{"key":"e_1_3_2_1_47_1","volume-title":"Thomas Sturm, and Uwe Waldmann.","author":"Weidenbach Christoph","year":"2019","unstructured":"Christoph Weidenbach, Jasmin Christian Blanchette, Thomas Sturm, and Uwe Waldmann. 2019. Website for solver SPASS. http:\/\/www.spass-prover.org\/ accessed on 5-Aug-2020."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1007\/978-3-642-02959-2_10"}],"event":{"sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"acronym":"ASEW '24","name":"ASEW '24: 39th IEEE\/ACM International Conference on Automated Software Engineering Workshops","location":"Sacramento CA USA"},"container-title":["Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691621.3694936","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:40Z","timestamp":1750295380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3691621.3694936"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,27]]},"references-count":48,"alternative-id":["10.1145\/3691621.3694936","10.1145\/3691621"],"URL":"https:\/\/doi.org\/10.1145\/3691621.3694936","relation":{},"subject":[],"published":{"date-parts":[[2024,10,27]]},"assertion":[{"value":"2024-10-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}