Szczegóły publikacji
Opis bibliograficzny
Automatic generation of logical specifications for behavioural models / Radosław KLIMEK, Julia Witek // W: ASEW 2024 [Dokument elektroniczny] : 39th IEEE/ACM international conference on Automated Software Engineering Workshops : October 27 - November 1, 2024 Sacramento, California, USA : proceedings / eds. Vladimir Filkov, Baishakhi Ray, Minghui Zhou. — Wersja do Windows. — Dane tekstowe. — New York : Association for Computing Machinery, cop. 2024. — e-ISBN: 979-8-4007-1249-4. — S. 1–7. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 7, Abstr. — Publikacja dostępna online od: 2024-10-27
Autorzy (2)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 156747 |
|---|---|
| Data dodania do BaDAP | 2025-01-09 |
| Tekst źródłowy | URL |
| DOI | 10.1145/3691621.3694927 |
| Rok publikacji | 2024 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Creative Commons | |
| Wydawca | Association for Computing Machinery (ACM) |
| Konferencja | Automated Software Engineering Conference 2024 |
Abstract
Logical specifications for behavioural models are crucial for the formal analysis of complex system designs. The automation of obtaining such a specification is essential particularly for promoting logical and deductive methods in software development. This article replicates earlier methods for automatically generating logical specifications equivalent to behavioural models, while also extending the approach to include workflow mining processes. Various and effective interactions with existing theorem provers are also proposed. We conducted straightforward, yet comprehensive, experiments covering multiple stages, which include workflow extraction, automatic logical specification generation, and theorem prover based analysis and the evaluation of these specifications.
