An executable formal semantics for UML-RT
We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the π -calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by con...
Gespeichert in:
| Veröffentlicht in: | Software and systems modeling 2016-02, Vol.15 (1), p.179-217 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 217 |
|---|---|
| container_issue | 1 |
| container_start_page | 179 |
| container_title | Software and systems modeling |
| container_volume | 15 |
| creator | Posse, Ernesto Dingel, Juergen |
| description | We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the
π
-calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between “capsules” and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM’s RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date. |
| doi_str_mv | 10.1007/s10270-014-0399-z |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1793235157</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>3934996471</sourcerecordid><originalsourceid>FETCH-LOGICAL-c462t-a29fa0051131b5c2effeda867d6b3113d4c4daba761def41d13e1238c52753993</originalsourceid><addsrcrecordid>eNp1kEtLAzEUhYMoWGp_gLsBN7qI5iaZpFmW4gtGBGnXIZNJZGQeNZkB7a83ZUREcHUvh-8cDgehcyDXQIi8iUCoJJgAx4QphfdHaAYCFAYm-fHPL8QpWsRYl4RwqhQXYoauVl3mPpwdB1M2LvN9aE2TRdeabqhtPAjZ9qnAL5szdOJNE93i-87R9u52s37AxfP943pVYMsFHbChyhtCcgAGZW6p895VZilkJUqWxIpbXpnSSAGV8xwqYA4oW9qcyjyVZ3N0OeXuQv8-ujjoto7WNY3pXD9GDVIxynLIZUIv_qBv_Ri61C5RgkjKKWGJgomyoY8xOK93oW5N-NRA9GE_Pe2n0376sJ_eJw-dPDGx3asLv5L_NX0Bg3BwXg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1760724203</pqid></control><display><type>article</type><title>An executable formal semantics for UML-RT</title><source>SpringerNature Journals</source><creator>Posse, Ernesto ; Dingel, Juergen</creator><creatorcontrib>Posse, Ernesto ; Dingel, Juergen</creatorcontrib><description>We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the
π
-calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between “capsules” and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM’s RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date.</description><identifier>ISSN: 1619-1366</identifier><identifier>EISSN: 1619-1374</identifier><identifier>DOI: 10.1007/s10270-014-0399-z</identifier><language>eng</language><publisher>Berlin/Heidelberg: Springer Berlin Heidelberg</publisher><subject>Allocations ; Compilers ; Computer programs ; Computer Science ; Information Systems Applications (incl.Internet) ; Interpreters ; IT in Business ; Programming Languages ; Programming Techniques ; Real time ; Regular Paper ; Semantics ; Software ; Software Engineering ; Software Engineering/Programming and Operating Systems ; Texts ; Transformations ; Translations</subject><ispartof>Software and systems modeling, 2016-02, Vol.15 (1), p.179-217</ispartof><rights>Springer-Verlag Berlin Heidelberg 2014</rights><rights>Springer-Verlag Berlin Heidelberg 2016</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c462t-a29fa0051131b5c2effeda867d6b3113d4c4daba761def41d13e1238c52753993</citedby><cites>FETCH-LOGICAL-c462t-a29fa0051131b5c2effeda867d6b3113d4c4daba761def41d13e1238c52753993</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s10270-014-0399-z$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s10270-014-0399-z$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,41488,42557,51319</link.rule.ids></links><search><creatorcontrib>Posse, Ernesto</creatorcontrib><creatorcontrib>Dingel, Juergen</creatorcontrib><title>An executable formal semantics for UML-RT</title><title>Software and systems modeling</title><addtitle>Softw Syst Model</addtitle><description>We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the
π
-calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between “capsules” and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM’s RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date.</description><subject>Allocations</subject><subject>Compilers</subject><subject>Computer programs</subject><subject>Computer Science</subject><subject>Information Systems Applications (incl.Internet)</subject><subject>Interpreters</subject><subject>IT in Business</subject><subject>Programming Languages</subject><subject>Programming Techniques</subject><subject>Real time</subject><subject>Regular Paper</subject><subject>Semantics</subject><subject>Software</subject><subject>Software Engineering</subject><subject>Software Engineering/Programming and Operating Systems</subject><subject>Texts</subject><subject>Transformations</subject><subject>Translations</subject><issn>1619-1366</issn><issn>1619-1374</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2016</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><recordid>eNp1kEtLAzEUhYMoWGp_gLsBN7qI5iaZpFmW4gtGBGnXIZNJZGQeNZkB7a83ZUREcHUvh-8cDgehcyDXQIi8iUCoJJgAx4QphfdHaAYCFAYm-fHPL8QpWsRYl4RwqhQXYoauVl3mPpwdB1M2LvN9aE2TRdeabqhtPAjZ9qnAL5szdOJNE93i-87R9u52s37AxfP943pVYMsFHbChyhtCcgAGZW6p895VZilkJUqWxIpbXpnSSAGV8xwqYA4oW9qcyjyVZ3N0OeXuQv8-ujjoto7WNY3pXD9GDVIxynLIZUIv_qBv_Ri61C5RgkjKKWGJgomyoY8xOK93oW5N-NRA9GE_Pe2n0376sJ_eJw-dPDGx3asLv5L_NX0Bg3BwXg</recordid><startdate>20160201</startdate><enddate>20160201</enddate><creator>Posse, Ernesto</creator><creator>Dingel, Juergen</creator><general>Springer Berlin Heidelberg</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>8AL</scope><scope>8AO</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>Q9U</scope></search><sort><creationdate>20160201</creationdate><title>An executable formal semantics for UML-RT</title><author>Posse, Ernesto ; Dingel, Juergen</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c462t-a29fa0051131b5c2effeda867d6b3113d4c4daba761def41d13e1238c52753993</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2016</creationdate><topic>Allocations</topic><topic>Compilers</topic><topic>Computer programs</topic><topic>Computer Science</topic><topic>Information Systems Applications (incl.Internet)</topic><topic>Interpreters</topic><topic>IT in Business</topic><topic>Programming Languages</topic><topic>Programming Techniques</topic><topic>Real time</topic><topic>Regular Paper</topic><topic>Semantics</topic><topic>Software</topic><topic>Software Engineering</topic><topic>Software Engineering/Programming and Operating Systems</topic><topic>Texts</topic><topic>Transformations</topic><topic>Translations</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Posse, Ernesto</creatorcontrib><creatorcontrib>Dingel, Juergen</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest Pharma Collection</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>ProQuest Central Basic</collection><jtitle>Software and systems modeling</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Posse, Ernesto</au><au>Dingel, Juergen</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>An executable formal semantics for UML-RT</atitle><jtitle>Software and systems modeling</jtitle><stitle>Softw Syst Model</stitle><date>2016-02-01</date><risdate>2016</risdate><volume>15</volume><issue>1</issue><spage>179</spage><epage>217</epage><pages>179-217</pages><issn>1619-1366</issn><eissn>1619-1374</eissn><abstract>We propose a formal semantics for UML-RT, a UML profile for real-time and embedded systems. The formal semantics is given by mapping UML-RT models into a language called kiltera, a real-time extension of the
π
-calculus. Previous attempts to formalize the semantics of UML-RT have fallen short by considering only a very small subset of the language and providing fundamentally incomplete semantics based on incorrect assumptions, such as a one-to-one correspondence between “capsules” and threads. Our semantics is novel in several ways: (1) it deals with both state machine diagrams and capsule diagrams; (2) it deals with aspects of UML-RT that have not been formalized before, such as thread allocation, service provision points, and service access points; (3) it supports an action language; and (4) the translation has been implemented in the form of a transformation from UML-RT models created with IBM’s RSA-RTE tool, into kiltera code. To our knowledge, this is the most comprehensive formal semantics for UML-RT to date.</abstract><cop>Berlin/Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/s10270-014-0399-z</doi><tpages>39</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1619-1366 |
| ispartof | Software and systems modeling, 2016-02, Vol.15 (1), p.179-217 |
| issn | 1619-1366 1619-1374 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_1793235157 |
| source | SpringerNature Journals |
| subjects | Allocations Compilers Computer programs Computer Science Information Systems Applications (incl.Internet) Interpreters IT in Business Programming Languages Programming Techniques Real time Regular Paper Semantics Software Software Engineering Software Engineering/Programming and Operating Systems Texts Transformations Translations |
| title | An executable formal semantics for UML-RT |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T07%3A05%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=An%20executable%20formal%20semantics%20for%20UML-RT&rft.jtitle=Software%20and%20systems%20modeling&rft.au=Posse,%20Ernesto&rft.date=2016-02-01&rft.volume=15&rft.issue=1&rft.spage=179&rft.epage=217&rft.pages=179-217&rft.issn=1619-1366&rft.eissn=1619-1374&rft_id=info:doi/10.1007/s10270-014-0399-z&rft_dat=%3Cproquest_cross%3E3934996471%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1760724203&rft_id=info:pmid/&rfr_iscdi=true |