No Cover Image

Conference Paper/Proceeding/Abstract 1184 views 131 downloads

An Institutional Approach to Communicating UML State Machines

Tobias Rosenberger, Alexander Knapp Orcid Logo, Markus Roggenbach Orcid Logo

Fundamental Approaches to Software Engineering, Pages: 205 - 224

Swansea University Authors: Tobias Rosenberger, Markus Roggenbach Orcid Logo

  • 60036.pdf

    PDF | Version of Record

    Copyright: The Author(s) 2022. This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License

    Download (557.07KB)

Check full text

DOI (Published version): 10.1007/978-3-030-99429-7_12

Abstract

We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic M↓D. A theoroidal comorphism maps M↓D into the CASL institution. This allows for symbolic reasoning on communicating UML state machines.

Published in: Fundamental Approaches to Software Engineering
ISBN: 9783030994280 9783030994297
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa60036
first_indexed 2022-05-16T11:25:49Z
last_indexed 2022-05-28T03:35:31Z
id cronfa60036
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-05-27T12:44:44.5347017</datestamp><bib-version>v2</bib-version><id>60036</id><entry>2022-05-16</entry><title>An Institutional Approach to Communicating UML State Machines</title><swanseaauthors><author><sid>2bedd3bcd796110eeb54244682dd8a9c</sid><firstname>Tobias</firstname><surname>Rosenberger</surname><name>Tobias Rosenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-05-16</date><deptcode>MACS</deptcode><abstract>We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic M&#x2193;D. A theoroidal comorphism maps M&#x2193;D into the CASL institution. This allows for symbolic reasoning on communicating UML state machines.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Fundamental Approaches to Software Engineering</journal><volume/><journalNumber/><paginationStart>205</paginationStart><paginationEnd>224</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030994280</isbnPrint><isbnElectronic>9783030994297</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>29</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-03-29</publishedDate><doi>10.1007/978-3-030-99429-7_12</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-05-27T12:44:44.5347017</lastEdited><Created>2022-05-16T12:07:26.1054770</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Tobias</firstname><surname>Rosenberger</surname><order>1</order></author><author><firstname>Alexander</firstname><surname>Knapp</surname><orcid>0000-0002-4050-3249</orcid><order>2</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>3</order></author></authors><documents><document><filename>60036__24094__4d872ef8647a4f60ad0f3e6372c8c719.pdf</filename><originalFilename>60036.pdf</originalFilename><uploaded>2022-05-16T12:26:00.6968965</uploaded><type>Output</type><contentLength>570444</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>Copyright: The Author(s) 2022. This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>http://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling 2022-05-27T12:44:44.5347017 v2 60036 2022-05-16 An Institutional Approach to Communicating UML State Machines 2bedd3bcd796110eeb54244682dd8a9c Tobias Rosenberger Tobias Rosenberger true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2022-05-16 MACS We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic M↓D. A theoroidal comorphism maps M↓D into the CASL institution. This allows for symbolic reasoning on communicating UML state machines. Conference Paper/Proceeding/Abstract Fundamental Approaches to Software Engineering 205 224 Springer International Publishing Cham 9783030994280 9783030994297 0302-9743 1611-3349 29 3 2022 2022-03-29 10.1007/978-3-030-99429-7_12 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2022-05-27T12:44:44.5347017 2022-05-16T12:07:26.1054770 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Tobias Rosenberger 1 Alexander Knapp 0000-0002-4050-3249 2 Markus Roggenbach 0000-0002-3819-2787 3 60036__24094__4d872ef8647a4f60ad0f3e6372c8c719.pdf 60036.pdf 2022-05-16T12:26:00.6968965 Output 570444 application/pdf Version of Record true Copyright: The Author(s) 2022. This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License true eng http://creativecommons.org/licenses/by/4.0/
title An Institutional Approach to Communicating UML State Machines
spellingShingle An Institutional Approach to Communicating UML State Machines
Tobias Rosenberger
Markus Roggenbach
title_short An Institutional Approach to Communicating UML State Machines
title_full An Institutional Approach to Communicating UML State Machines
title_fullStr An Institutional Approach to Communicating UML State Machines
title_full_unstemmed An Institutional Approach to Communicating UML State Machines
title_sort An Institutional Approach to Communicating UML State Machines
author_id_str_mv 2bedd3bcd796110eeb54244682dd8a9c
7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv 2bedd3bcd796110eeb54244682dd8a9c_***_Tobias Rosenberger
7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Tobias Rosenberger
Markus Roggenbach
author2 Tobias Rosenberger
Alexander Knapp
Markus Roggenbach
format Conference Paper/Proceeding/Abstract
container_title Fundamental Approaches to Software Engineering
container_start_page 205
publishDate 2022
institution Swansea University
isbn 9783030994280
9783030994297
issn 0302-9743
1611-3349
doi_str_mv 10.1007/978-3-030-99429-7_12
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
description We present a new approach on how to provide institution-based semantics for communicating UML state machines in form of a hybrid modal logic M↓D. A theoroidal comorphism maps M↓D into the CASL institution. This allows for symbolic reasoning on communicating UML state machines.
published_date 2022-03-29T04:59:33Z
_version_ 1851639645688823808
score 11.089905

Similar Items