Reactive Semantics for Distributed UML Activities
Identifieur interne : 000113 ( Hal/Curation ); précédent : 000112; suivant : 000114Reactive Semantics for Distributed UML Activities
Auteurs : Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège]Source :
English descriptors
Abstract
We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems. These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps. We show that activities adhering to these semantics and a set of rules lead to event-driven and bounded specifications that can be implemented automatically by model transformations and executed efficiently using runtime support systems.
Url:
DOI: 10.1007/978-3-642-13464-7_3
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000113
Links to Exploration step
Hal:hal-01055149Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Reactive Semantics for Distributed UML Activities</title><author><name sortKey="Kraemer, Frank Alexander" sort="Kraemer, Frank Alexander" uniqKey="Kraemer F" first="Frank Alexander" last="Kraemer">Frank Alexander Kraemer</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-263827" status="INCOMING"><orgName>Department of Telematics</orgName><desc><address><addrLine>Trondheim</addrLine><country key="NO"></country></address></desc><listRelation><relation active="#struct-50794" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-50794" type="direct"><org type="institution" xml:id="struct-50794" status="VALID"><orgName>Norwegian University of Science and Technology [Trondheim, Norway]</orgName><orgName type="acronym">NTNU</orgName><desc><address><addrLine>NO-7491 Trondheim</addrLine><country key="NO"></country></address><ref type="url">https://www.ntnu.edu/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Herrmann, Peter" sort="Herrmann, Peter" uniqKey="Herrmann P" first="Peter" last="Herrmann">Peter Herrmann</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-263827" status="INCOMING"><orgName>Department of Telematics</orgName><desc><address><addrLine>Trondheim</addrLine><country key="NO"></country></address></desc><listRelation><relation active="#struct-50794" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-50794" type="direct"><org type="institution" xml:id="struct-50794" status="VALID"><orgName>Norwegian University of Science and Technology [Trondheim, Norway]</orgName><orgName type="acronym">NTNU</orgName><desc><address><addrLine>NO-7491 Trondheim</addrLine><country key="NO"></country></address><ref type="url">https://www.ntnu.edu/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Norvège</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-01055149</idno><idno type="halId">hal-01055149</idno><idno type="halUri">https://hal.inria.fr/hal-01055149</idno><idno type="url">https://hal.inria.fr/hal-01055149</idno><idno type="doi">10.1007/978-3-642-13464-7_3</idno><date when="2010">2010</date><idno type="wicri:Area/Hal/Corpus">000113</idno><idno type="wicri:Area/Hal/Curation">000113</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Reactive Semantics for Distributed UML Activities</title><author><name sortKey="Kraemer, Frank Alexander" sort="Kraemer, Frank Alexander" uniqKey="Kraemer F" first="Frank Alexander" last="Kraemer">Frank Alexander Kraemer</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-263827" status="INCOMING"><orgName>Department of Telematics</orgName><desc><address><addrLine>Trondheim</addrLine><country key="NO"></country></address></desc><listRelation><relation active="#struct-50794" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-50794" type="direct"><org type="institution" xml:id="struct-50794" status="VALID"><orgName>Norwegian University of Science and Technology [Trondheim, Norway]</orgName><orgName type="acronym">NTNU</orgName><desc><address><addrLine>NO-7491 Trondheim</addrLine><country key="NO"></country></address><ref type="url">https://www.ntnu.edu/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Norvège</country></affiliation></author><author><name sortKey="Herrmann, Peter" sort="Herrmann, Peter" uniqKey="Herrmann P" first="Peter" last="Herrmann">Peter Herrmann</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-263827" status="INCOMING"><orgName>Department of Telematics</orgName><desc><address><addrLine>Trondheim</addrLine><country key="NO"></country></address></desc><listRelation><relation active="#struct-50794" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-50794" type="direct"><org type="institution" xml:id="struct-50794" status="VALID"><orgName>Norwegian University of Science and Technology [Trondheim, Norway]</orgName><orgName type="acronym">NTNU</orgName><desc><address><addrLine>NO-7491 Trondheim</addrLine><country key="NO"></country></address><ref type="url">https://www.ntnu.edu/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Norvège</country></affiliation></author></analytic><idno type="DOI">10.1007/978-3-642-13464-7_3</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>Reactive Systems</term><term>UML Activities</term><term>UML Semantics</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems. These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps. We show that activities adhering to these semantics and a set of rules lead to event-driven and bounded specifications that can be implemented automatically by model transformations and executed efficiently using runtime support systems.</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="en">Reactive Semantics for Distributed UML Activities</title><author role="aut"><persName><forename type="first">Frank Alexander</forename><surname>Kraemer</surname></persName><email></email><idno type="halauthor">1063851</idno><affiliation ref="#struct-263827"></affiliation></author><author role="aut"><persName><forename type="first">Peter</forename><surname>Herrmann</surname></persName><email></email><idno type="halauthor">1063852</idno><affiliation ref="#struct-263827"></affiliation></author><editor role="depositor"><persName><forename>Hal</forename><surname>Ifip</surname></persName><email>ifip-hal@inria.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2014-08-11 16:24:15</date><date type="whenModified">2014-08-11 16:53:20</date><date type="whenReleased">2014-08-11 16:53:20</date><date type="whenProduced">2010</date><date type="whenEndEmbargoed">2014-08-11</date><ref type="file" target="https://hal.inria.fr/hal-01055149/document"><date notBefore="2014-08-11"></date></ref><ref type="file" subtype="author" n="1" target="https://hal.inria.fr/hal-01055149/file/61170017.pdf"><date notBefore="2014-08-11"></date></ref></edition><respStmt><resp>contributor</resp><name key="200187"><persName><forename>Hal</forename><surname>Ifip</surname></persName><email>ifip-hal@inria.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">hal-01055149</idno><idno type="halUri">https://hal.inria.fr/hal-01055149</idno><idno type="halBibtex">kraemer:hal-01055149</idno><idno type="halRefHtml">John Hatcliff; Elena Zucca. Formal Techniques for Distributed Systems, 6117, Springer, pp.17-31, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. <10.1007/978-3-642-13464-7_3></idno><idno type="halRef">John Hatcliff; Elena Zucca. Formal Techniques for Distributed Systems, 6117, Springer, pp.17-31, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. <10.1007/978-3-642-13464-7_3></idno></publicationStmt><seriesStmt><idno type="stamp" n="IFIP-LNCS-6117" p="IFIP-LNCS">Formal Techniques for Distributed Systems</idno><idno type="stamp" n="IFIP-LNCS" p="IFIP">IFIP - Lecture Notes in Computer Science</idno><idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno></seriesStmt><notesStmt><note type="audience" n="2">International</note><note type="popular" n="0">No</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">Reactive Semantics for Distributed UML Activities</title><author role="aut"><persName><forename type="first">Frank Alexander</forename><surname>Kraemer</surname></persName><idno type="halAuthorId">1063851</idno><affiliation ref="#struct-263827"></affiliation></author><author role="aut"><persName><forename type="first">Peter</forename><surname>Herrmann</surname></persName><idno type="halAuthorId">1063852</idno><affiliation ref="#struct-263827"></affiliation></author></analytic><monogr><idno type="isbn">978-3-642-13463-0</idno><title level="m">Formal Techniques for Distributed Systems</title><editor>John Hatcliff; Elena Zucca</editor><imprint><publisher>Springer</publisher><biblScope unit="serie">Lecture Notes in Computer Science</biblScope><biblScope unit="volume">6117</biblScope><biblScope unit="pp">17-31</biblScope><date type="datePub">2010</date></imprint></monogr><idno type="doi">10.1007/978-3-642-13464-7_3</idno></biblStruct></sourceDesc><profileDesc><langUsage><language ident="en">English</language></langUsage><textClass><keywords scheme="author"><term xml:lang="en">UML Activities</term><term xml:lang="en">UML Semantics</term><term xml:lang="en">Reactive Systems</term></keywords><classCode scheme="halDomain" n="info.info-dl">Computer Science [cs]/Digital Libraries [cs.DL]</classCode><classCode scheme="halTypology" n="COUV">Book section</classCode></textClass><abstract xml:lang="en">We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems. These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps. We show that activities adhering to these semantics and a set of rules lead to event-driven and bounded specifications that can be implemented automatically by model transformations and executed efficiently using runtime support systems.</abstract></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Hal/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000113 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd -nk 000113 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Ticri/CIDE
|area= TelematiV1
|flux= Hal
|étape= Curation
|type= RBID
|clé= Hal:hal-01055149
|texte= Reactive Semantics for Distributed UML Activities
}}
| This area was generated with Dilib version V0.6.31. |  |