Filters








166 Hits in 2.7 sec

Networks of Real-Time Actors [chapter]

Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani
<span title="">2012</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Furthermore, in order to have a uniform analysis platform, we show how to use Uppaal to combine Constraint Automata, the semantic model of Reo, with Timed Automata models of the actors.  ...  We explain how to avoid extra communication buffers during analysis in some common Reo connectors.  ...  Compatibility Check To check the compatibility of actors coordinated using Reo connectors, we need to compose the behavioral interfaces of the actors with the Constraint Automata models of the Reo connectors  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35743-5_11">doi:10.1007/978-3-642-35743-5_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y6x7b5at2jfrbn3thl7lfadxky">fatcat:y6x7b5at2jfrbn3thl7lfadxky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140904111029/http://homepages.cwi.nl:80/~jaghouri/papers/facs11.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e9/5f/e95f896a2cef54dacc46004ef50dd5cb1b92e9d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35743-5_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model Checking of Component Connectors

Mohammad Izadi, Ali Movaghar, Farhad Arbab
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6ymrafsxezalvknryjo7legj6e" style="color: black;">Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International</a> </i> &nbsp;
Next we introduce the algorithm we implemented for model checking of Reo connectors. We follow an automata-based model checking approach.  ...  Reo connectors, thus leading to an automata based model checking algorithm. * By generalizing standard automata based model checking algorithms for linear time temporal logic, we gave both global (inductive  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2007.153">doi:10.1109/compsac.2007.153</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/compsac/IzadiMA07.html">dblp:conf/compsac/IzadiMA07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lysriwrovfalxdsge5jm7xxuvi">fatcat:lysriwrovfalxdsge5jm7xxuvi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210717083520/https://scholarlypublications.universiteitleiden.nl/access/item%3A2876957/view" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3d/4e/3d4ed53a07e39e026d98da88098d7da4aa489204.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2007.153"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reo Based Interaction Model

Silvia Amaro, Ernesto Pimentel, Ana M. Roldan
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Our aim is to define an interaction description language based on Reo for component coordination.  ...  In this context we propose the use of Reo, a channel-based coordination model, to specify the interactive behavior of software components.  ...  The operational model for the behavior of Reo connectors is based on Constraint Automata and was introduced by Arbab et. al in [3] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.05.012">doi:10.1016/j.entcs.2006.05.012</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6pmnrwodf5etffnebjouakzdm4">fatcat:6pmnrwodf5etffnebjouakzdm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170930204558/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/95f/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNjAwMzc0NA%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/02/2d/022d4446432aeb9113f5fa74394f27d16eb8db74.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2006.05.012"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Compositional and behavior-preserving reconfiguration of component connectors in Reo

Christian Krause, Holger Giese, Erik de Vink
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dveb4iy2tfbixkquxueywoto7y" style="color: black;">Journal of Visual Languages and Computing</a> </i> &nbsp;
In this paper, we target the channel-based coordination language Reo and introduce a combined structural and behavioral model for graph-based component connectors in Reo.  ...  Exploiting concepts from category theory, we model reconfigurations of connectors as transformations of the underlying connector graphs.  ...  Conclusions and future work We have presented a model for component connectors for the channel-based coordination language Reo, which integrates (i) an automata-based model for the specification of primitives  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jvlc.2012.09.002">doi:10.1016/j.jvlc.2012.09.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hxknyv6jbnfthfd52zd36pbr4e">fatcat:hxknyv6jbnfthfd52zd36pbr4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706092539/http://www.win.tue.nl/~evink/research/Postscript/jvlc13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b0/0c/b00cc4121fb889047b7f4e65fbf6442b12a871fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jvlc.2012.09.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Verification of Context-Dependent Channel-Based Service Models [chapter]

Natallia Kokash, Christian Krause, Erik P. de Vink
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This makes Reo suitable for the modeling of servicebased business processes. In previous work we presented a framework for model checking data-aware Reo connectors using the mCRL2 toolset.  ...  The Reo coordination language is a state-of-the-art computer supported approach to channel-based coordination.  ...  Kemper [15] presented a SAT-based approach for bounded model checking of timed constraint automata (TCA) [16] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-17071-3_2">doi:10.1007/978-3-642-17071-3_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qn4fttbh3bdiflaqzifokr7kzq">fatcat:qn4fttbh3bdiflaqzifokr7kzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130203080509/http://homepages.cwi.nl:80/~kokash/documents/FMCO09-paper.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/da/5eda970ce18f7446a3554a8c0d12fc04a51645dc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-17071-3_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Input-output Conformance Testing for Channel-based Service Connectors

Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
<span title="2011-08-06">2011</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
Our approach is based on the input-output conformance (ioco) testing theory and exploits the mapping of automata-based semantic models for Reo to equivalent process algebra specifications.  ...  In this paper, we present an approach for model-based testing of coordination protocols designed in Reo.  ...  The encoding of automata-based behavioral semantics for Reo in process algebra mCRL2 is exploited to obtain LTS models suitable for testing Reo.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.60.2">doi:10.4204/eptcs.60.2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pb4bwar6djcfrotc3v3nnqa6mm">fatcat:pb4bwar6djcfrotc3v3nnqa6mm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719075956/https://ir.cwi.nl/pub/18673/18673A.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/18/a6/18a636baeabd429e0c420a91ea32e3fe452b9c22.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.60.2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic

Dave Clarke
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
To wit, this paper makes the following contributions: a semantic model for Reo connectors in the presence of reconfiguration; a logic for reasoning about these; and its model checking algorithm.  ...  Section 4 reviews Reo semantics as constraint automata. Sections 5 and 6 present ReCTL * , a logic for reasoning in the presence of reconfiguration, and its model checking algorithm.  ...  Conclusion and Future Work We presented the semantics of Reo connectors in the presence of reconfiguration, a logic for reasoning about it, and a model checking algorithm for the logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.062">doi:10.1016/j.entcs.2005.12.062</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gognhvxu2vh4ndkkniw7qrr7d4">fatcat:gognhvxu2vh4ndkkniw7qrr7d4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190416114831/https://core.ac.uk/download/pdf/82258976.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f1/4e/f14e4ef7b03d525f04e7f4308a4762e8ee0043fc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.062"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

Natallia Kokash, Christian Krause, Erik de Vink
<span title="2011-08-14">2011</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
for the analysis of dataflow in service-based process models.  ...  We unify our previous work on mapping various semantic models for Reo, namely, constraint automata, timed constraint automata, coloring semantics and the newly developed action constraint automata, to  ...  and animation of Reo models, generation of automata-based semantical models from Reo, modeling and verification of QoS properties and tight integrations with external model checking tools such as Vereofy  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-011-0191-6">doi:10.1007/s00165-011-0191-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tzflijtbb5gcdlpdoeurh42z6y">fatcat:tzflijtbb5gcdlpdoeurh42z6y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720202710/https://ir.cwi.nl/pub/18672/18672A.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/3c/e43c737fb696fd70720585e708d9b3a0659fb9fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-011-0191-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)

Gwen Salaün, Marjan Sirjani
<span title="">2012</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
The first article in this special issue, "SAT-based Verification for Timed Component Connectors", by Stephanie Kemper, presents a SAT-based approach for bounded model checking of Timed Constraint Automata  ...  The second article, "Connectors as Designs: Modelling, Refinement and Test Case Generation", by Sun Meng et al., uses Unifying Theories of Programming (UTP) to formalize Reo connectors, whereby connectors  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2011.09.006">doi:10.1016/j.scico.2011.09.006</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/27cy27jbs5gthgsnqxh6lnuevq">fatcat:27cy27jbs5gthgsnqxh6lnuevq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151025004011/https://hal.inria.fr/hal-01016438/file/preface_scp_foclasa09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/7d/fa7de66f64ab282b1c4d46b35108d30fb87bbae0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2011.09.006"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Modeling Component Connectors in Reo by Constraint Automata

Farhad Arbab, Christel Baier, Jan Rutten, Marjan Sirjani
<span title="">2004</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In this paper we introduce constraint automata and propose them as an operational model for Reo, an exogenous coordination language for compositional construction of component connectors based on a calculus  ...  as the automated construction of the automaton for a given component connector, equivalence-or containment-checking of the behavior of two given connectors, and verification of coordination mechanisms  ...  We conclude in Section 7, hinting at our current and future work on model checking and automated tools for reasoning about constraint automata and Reo connectors.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.04.028">doi:10.1016/j.entcs.2004.04.028</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nzpkx2p4krd4bl6ei4pev5phi4">fatcat:nzpkx2p4krd4bl6ei4pev5phi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809113946/http://liacs.leidenuniv.nl/~bonsanguemm/StudSem/CvP_ConstAut.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/a1/67a1895a8b7cf3bef9d8fc356f97f3dddc6c08ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2004.04.028"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab, Jan Rutten
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
In this paper we introduce constraint automata and propose them as an operational model for Reo, an exogenous coordination language for compositional construction of component connectors based on a calculus  ...  as the automated construction of the automaton for a given component connector, equivalence-or containment-checking of the behavior of two given connectors, and verification of coordination mechanisms  ...  We conclude in Section 7, hinting at our current and future work on model checking and automated tools for reasoning about constraint automata and Reo connectors.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2005.10.008">doi:10.1016/j.scico.2005.10.008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qlpqtviynnetzcf5ksxhahssre">fatcat:qlpqtviynnetzcf5ksxhahssre</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809113946/http://liacs.leidenuniv.nl/~bonsanguemm/StudSem/CvP_ConstAut.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/67/a1/67a1895a8b7cf3bef9d8fc356f97f3dddc6c08ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2005.10.008"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Dreams

José Proença, Dave Clarke, Erik de Vink, Farhad Arbab
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uo6yx5jpgnf2zl7mkrumytd4ti" style="color: black;">Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC &#39;12</a> </i> &nbsp;
Coordination patterns in Dreams are described using a synchronous model based on the Reo language, whereas global system behaviour is given by the runtime composition of autonomous actors communicating  ...  Synchronous coordination systems, such as Reo, exchange data via indivisible actions, while distributed systems are typically asynchronous and assume that messages can be delayed or get lost.  ...  constraint-based models of Reo [14] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2245276.2232017">doi:10.1145/2245276.2232017</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sac/ProencaCVA12.html">dblp:conf/sac/ProencaCVA12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xlild3jkwrdohjz6wbsqsjtdg4">fatcat:xlild3jkwrdohjz6wbsqsjtdg4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121114202317/http://www.win.tue.nl/~evink/research/Postscript/sac12.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/15/40/1540b3d9a6fd0e32dd4c5ba13b3ad047eb786603.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2245276.2232017"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

From Timed Reo Networks to Networks of Timed Automata

Natallia Kokash, Mohammad Mahdi Jaghoori, Farhad Arbab
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
Our work enables its application to the compositional analysis of timed service-based workflow models specified with Reo.  ...  However, the development of verification tools for Reo-specific semantic models, namely, constraint automata with its multiple extensions to represent quality of service, time constraints, context-dependent  ...  It is suitable for both scenario-based [6] and workflow-like modeling [5] and together with fully automated translation of graphical models to lower-level formalisms understandable by model checking  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2013.04.004">doi:10.1016/j.entcs.2013.04.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zk4w4uszhrfh3d5qeficla6khy">fatcat:zk4w4uszhrfh3d5qeficla6khy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171006012132/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/fef/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjExMzAwMDI2MQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/0d/030d52525853eb37098fe85764ca4fd0c211ba9d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2013.04.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Automata for Context-Dependent Connectors [chapter]

Marcello Bonsangue, Dave Clarke, Alexandra Silva
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we present an intuitive automata-based formal model of context-dependent connectors, and argue that it is superior to previous attempts at such a model for the coordination language Reo.  ...  Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems.  ...  The presented automata model also enables an efficient implementation of context dependent Reo connectors, combining the benefit of previous automata-based implementations [25] with the context dependency  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02053-7_10">doi:10.1007/978-3-642-02053-7_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ewonesv7bnbjjkh4xx2cbuptda">fatcat:ewonesv7bnbjjkh4xx2cbuptda</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808214215/http://www.alexandrasilva.org/files/coord09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fa/65/fa6532d44326f1cbf0b617199bd00a10a4eadc0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02053-7_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Compositional Semantics of an Actor-Based Language Using Constraint Automata [chapter]

Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Modeling coordination and communication among reactive objects as Reo circuits, and the behavior of reactive objects as constraint automata, provides a compositional semantics for Rebeca.  ...  To this end, we consider reactive objects in Rebeca as components in Reo, and specify their behavior using constraint automata as black-box components within Reo circuits.  ...  Using constraint automata as an operational model for Reo connectors, the automata-states stand for the possible configurations (e.g., the contents of the FIFO-channels of a Reo-connector) while the automata-transitions  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11767954_18">doi:10.1007/11767954_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bmfochvjrbduraadvilhxe42qi">fatcat:bmfochvjrbduraadvilhxe42qi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180509043039/http://www.inf.tu-dresden.de:80/content/institutes/thi/algi/publikationen/texte/02_05pdf.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/04/e3/04e33cea36dda3081b144a8642988af61c671e4a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11767954_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 166 results