Szczegóły publikacji
Opis bibliograficzny
Logical square-driven and state-oriented generation of behavioural models / Radosław KLIMEK // 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. 72–81. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 81, Abstr. — Publikacja dostępna online od: 2024-10-27
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 156748 |
|---|---|
| Data dodania do BaDAP | 2025-01-10 |
| Tekst źródłowy | URL |
| DOI | 10.1145/3691621.3694936 |
| 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
The accurate defining states in a newly designed state machine diagram can be a challenge, especially if we are not domain experts. There is an idea of the square of opposition in classical logic, which is highly informative and can support analysts when shaping states for behavioural models. We proposed an identification method employing a square-driven and state-oriented approach, ideally suited for cases where analysts struggle with understanding the investigated domain or in applications that demand rigorous adherence to formal methodologies. State identification is augmented by the encoding of state variables representing particular states and predicates along with the analysis in a logical style. We have shown a simple yet inspiring example to illustrate the entire methodology in a satisfactory manner.
