Abstract
AbstractWe present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic $$\mathcal {M}^{\downarrow }_{\mathcal {D}}$$
M
D
↓
. A theoroidal comorphism maps $$\mathcal {M}^{\downarrow }_{\mathcal {D}}$$
M
D
↓
into the $$\textsc {Casl}$$
C
A
S
L
institution. This allows for symbolic reasoning on communicating UML state machines.
Publisher
Springer International Publishing
Reference16 articles.
1. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press (2001)
2. Ernst, G., Pfähler, J., Schellhorn, G., Haneberg, D., Reif, W.: KIV: Overview and VerifyThis Competition. Intl. J. Softw. Tools Technol. Transfer 17(6), 677–694 (2015)
3. Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39, 95–146 (1992)
4. Knapp, A., Mossakowski, T.: UML Interactions Meet State Machines — An Institutional Approach. In: Bonchi, F., König, B. (eds.) Proc. 7th Intl. Conf. Algebra and Coalgebra in Computer Science (CALCO 2017). LIPIcs, vol. 72, pp. 15:1–15:15 (2017)
5. Knapp, A., Mossakowski, T., Roggenbach, M.: Towards an Institutional Framework for Heterogeneous Formal Development in UML — A Position Paper. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems — Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, Lect. Notes Comp. Sci., vol. 8950, pp. 215–230. Springer (2015)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献