Institution-based encoding and verification of simple UML state machines in CASL/SPASS

DOI10.1007/978-3-030-73785-6_7OpenAlexW3094924270MaRDI QIDQ2237342FDOQ2237342

Authors: Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach 

Publication date: 27 October 2021

Full work available at URL: https://arxiv.org/abs/2011.00556

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Modal logic
• Institutions: abstract model theory for specification and programming
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Relating CASL with other specification languages: the institution level.
• Designing domain specific languages -- a craftsman's approach for the railway domain using \textsc{Casl}
• Dynamic logic with binders and its application to the development of reactive systems
• Encoding hybridized institutions into first-order logic
• UML interactions meet state machines -- an institutional approach
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• A hybrid dynamic logic for event/data-based systems

Cited In (1)

• An institutional approach to communicating UML state machines

Uses Software

• CASL
• SPASS
• Hets

This page was built for publication: Institution-based encoding and verification of simple UML state machines in CASL/SPASS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2237342)