Filters








141 Hits in 3.5 sec

Executable Interface Specifications for Testing Asynchronous Creol Components [chapter]

Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen
<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;
The language enables a concise description of a component's behavior, it is executable in rewriting logic and we use it to give test specifications for Creol components.  ...  We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and testing components.  ...  Acknowledgement We thank Andreas Grüner for giving insight to the field of testing of (concurrent) object-oriented languages, the members of the PMA group for valuable feedback and the anonymous referees  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11623-0_19">doi:10.1007/978-3-642-11623-0_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uycqzjgc6bev3dibfe5m5hr47u">fatcat:uycqzjgc6bev3dibfe5m5hr47u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808155535/http://heim.ifi.uio.no/~msteffen/download/09/executable.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/ca/d3/cad3e3aabfb509256bb4e6b3d28e327792325755.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-11623-0_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting

Olaf Owe, Martin Steffen, Arild B. Torjusen
<span title="">2010</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;
The testing is done by synchronising execution of a specification and the component under test.  ...  We explore a formal approach for black-box testing by proposing an interface specification language that gives an assumption-commitment style description of an object's behavior.  ...  Acknowledgement We thank Rudolf Schlatte for insight into application testing with Creol, and the anonymous referees for constructive criticism and hints to related work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2010.12.015">doi:10.1016/j.entcs.2010.12.015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bcm7pid7wjclzkcuc4uwxpjmi4">fatcat:bcm7pid7wjclzkcuc4uwxpjmi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412143817/https://core.ac.uk/download/pdf/82668715.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/a2/a1/a2a126094785816fb4901f72f549d5658cf5bb26.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.2010.12.015"> <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>

Validating Behavioral Component Interfaces in Rewriting Logic

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
<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;
Acknowledgement We thank Rudolf Schlatte for insight into application testing with Creol. And we thank the anonymous referees for constructive criticism and hints to related work.  ...  Acknowledgement We thank Andreas Grüner for giving insight to the field of testing of (concurrent) object-oriented languages, the members of the PMA group for valuable feedback and the anonymous referees  ...  This yields a specification-driven interpreter for testing asynchronous Creol components.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2005.12.069">doi:10.1016/j.entcs.2005.12.069</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chb5rxirp5afld7emzxe6pdlim">fatcat:chb5rxirp5afld7emzxe6pdlim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171120024418/https://core.ac.uk/download/pdf/30827811.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/e8/4f/e84fb4cfc9220ac0be2689e8c4fb3bf83837c662.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.069"> <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>

Credo Methodology

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister (+6 others)
<span title="">2010</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 methodology, we advertise the use of top-down design, component-based modeling and compositional analysis to address the complexity of highly reconfigurable distributed systems.  ...  As an example, we give the specification of a server: To test our executable model ServerImpl for conformance with respect to the behavioral interface description, we translate the specification to Creol  ...  We use intra-component interfaces together with the behavioral interfaces of Section 2.2 to derive test specifications to check for conformance between the behavioral models and the Creol implementation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2010.08.047">doi:10.1016/j.entcs.2010.08.047</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c4wfleftljcdpmu3hjzubm7b3e">fatcat:c4wfleftljcdpmu3hjzubm7b3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190322124723/https://core.ac.uk/download/pdf/82071044.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/6a/a1/6aa11cff27cba61eaf9ef493e630a4aa4810c85c.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.2010.08.047"> <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>

An Asynchronous Communication Model for Distributed Concurrent Objects

Einar Broch Johnsen, Olaf Owe
<span title="2006-08-22">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
This paper proposes a solution to these problems by means of asynchronous method calls and conditional processor release points.  ...  This may be satisfactory for tightly coupled systems, but in the distributed setting synchronous external calls seem less satisfactory; at best resulting in inefficient use of processor capacity, at worst  ...  Testing specifications in the Creol interpreter Specifications in RL are executable on the Maude modeling and analysis tool [11] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-006-0011-2">doi:10.1007/s10270-006-0011-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4fhqwxz3dfgsxh2gqgq4to62ma">fatcat:4fhqwxz3dfgsxh2gqgq4to62ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922024605/http://heim.ifi.uio.no/~einarj/Papers/johnsen04sefm.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/d1/eb/d1eb1d849ae41b09d9be722f8a24197eda2e8566.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-006-0011-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Validating Timed Models of Deployment Components with Parametric Concurrency [chapter]

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
<span title="">2011</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;
to run tests for our models.  ...  This work is based on Creol [11, 19] , a modeling language for distributed concurrent objects which communicate by asynchronous method calls and futures.  ...  IF defines an interface with name I and method signatures Sg. A class implements a list I of interfaces, specifying types for its instances.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-18070-5_4">doi:10.1007/978-3-642-18070-5_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qhcuq3qlpjgqraq3vspsdbq7iu">fatcat:qhcuq3qlpjgqraq3vspsdbq7iu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110331220934/http://heim.ifi.uio.no/~einarj/Papers/johnsen11foveoos.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/4d/72/4d724bb72fcda1a33555a5b55afae3d20c2bb320.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-18070-5_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Components, objects, and contracts

Olaf Owe, Gerardo Schneider, Martin Steffen
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS &#39;07</a> </i> &nbsp;
It is now commonly accepted that simple syntactic interfaces are not expressive enough for components, and the trend is towards behavioral interfaces.  ...  We take the object-oriented, concurrent programming language Creol as starting point and extend it with a notion of components.  ...  This provides a useful test-bed for the implementation and testing of our component-based extension. The Maude tool may be used for simulation, model checking, and analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1292316.1292328">doi:10.1145/1292316.1292328</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/OweSS07.html">dblp:conf/sigsoft/OweSS07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zmc6gmr7pjd77dbddbywd2kecy">fatcat:zmc6gmr7pjd77dbddbywd2kecy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809045549/http://folk.uio.no/gerardo/savcbs2007.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/c1/f3/c1f32de9bef844638ec5fe21764855520ed1432a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1292316.1292328"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol

Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam
<span title="">2009</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;
This paper presents work done on constructing and executing test cases for an industrialsize multi-threaded application against a model written in the Creol modeling language.  ...  as test oracles.  ...  The same models can then be re-used for testing with minimal effort. The Creol Modeling Language This paper describes the use of executable Creol [13] models for testing concurrent systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.002">doi:10.1016/j.entcs.2009.07.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q73i53gydnafdneb3pxpftn4su">fatcat:q73i53gydnafdneb3pxpftn4su</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190412184201/https://core.ac.uk/download/pdf/82724601.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/a2/bd/a2bd8c2099ad8e6c8c007cdbfa01daaf881dd18d.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.2009.07.002"> <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>

Dynamic Symbolic Execution for Testing Distributed Objects [chapter]

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
<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;
This provides sufficient control to apply the technique of dynamic symbolic execution for model based testing of interleaved processes.  ...  Creol, a modeling language for distributed concurrent objects, solves this problem by abstracting from a particular scheduling policy but explicitly defining scheduling points.  ...  In our setting, the specification is given as Creol model. Creole is a modeling language whose semantics is defined in rewrite logic, which is executable in Maude.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02949-3_9">doi:10.1007/978-3-642-02949-3_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ky5eoxobxfg6he6zf3w6a2hbea">fatcat:ky5eoxobxfg6he6zf3w6a2hbea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809055515/http://heim.ifi.uio.no/einarj/Papers/griesmayer09tap.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/6b/c5/6bc5a1ca2b550b717c04f8a423d527d3aa1bf353.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-02949-3_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic Symbolic Execution of Distributed Concurrent Objects [chapter]

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
<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;
Creol, a modeling language for distributed concurrent objects, solves this problem by abstracting from a particular scheduling policy but explicitly defining scheduling points.  ...  This paper extends dynamic symbolic execution to distributed and concurrent systems.  ...  Application to Testing Approaches to test case generation for structural coverage intend to find test sets that perform runs in the system for a specific coverage criterion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-02138-1_16">doi:10.1007/978-3-642-02138-1_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xwz474klzrc6hp2k5bb3u3wld4">fatcat:xwz474klzrc6hp2k5bb3u3wld4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501112658/https://link.springer.com/content/pdf/10.1007%2F978-3-642-02138-1_16.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/1e/2e/1e2ec01b475bba20607f4bbad286f9c33533e757.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-02138-1_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform [chapter]

Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
<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;
We use behavioral interfaces, high-level behavioral specifications for the objects, as a starting-point for analysis.  ...  We finally check conformance between the real-time and Creol models using test-cases generated from the behavioral interfaces.  ...  The Matcher component searches for appropriate participants for a request. The Executer component determines the best wayFig. 3.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-10373-5_19">doi:10.1007/978-3-642-10373-5_19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/glajb4vq2jdt7dhvbcxttwf6qq">fatcat:glajb4vq2jdt7dhvbcxttwf6qq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811152300/http://homepages.cwi.nl/~jaghouri/papers/threadpool.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/8c/47/8c47818a1e46f83ea43805419e5221eaf5b13024.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-10373-5_19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dynamic Resource Reallocation between Deployment Components [chapter]

Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
<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;
The formal semantics of deployment components is given in rewriting logic, extending the semantics of Creol, and executes on Maude, which allows simulations and test suites to be applied to models which  ...  In this paper, the objectoriented modeling language Creol is extended with a notion of dynamic deployment components with parametric processing resources, such that processor resources may be explicitly  ...  In this paper, Maude is used as an interpreter for Creol's operational semantics to simulate and test Creol models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16901-4_42">doi:10.1007/978-3-642-16901-4_42</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rnupdhe2d5dfvmvavl5z2vzxu4">fatcat:rnupdhe2d5dfvmvavl5z2vzxu4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922031826/http://heim.ifi.uio.no/~einarj/Papers/johnsen10icfem.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/8f/ee/8fee74f7e4892eaea2af053c28ddc79883398ee8.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-16901-4_42"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Models of Rate Restricted Communication for Concurrent Objects

Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, S. Lizeth Tapia Tarifa
<span title="">2011</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;
or asynchronous but ordered, etc.  ...  In this paper, we propose a technique for introducing explicit resource constraints on concurrent objects in a timed extension of Creol, a formally defined high-level object-oriented modeling language.  ...  Creol is a high-level executable modeling language [14, 21] based on asynchronously communicating concurrent objects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2011.07.007">doi:10.1016/j.entcs.2011.07.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkkpycmzyjdr3b23ptgsqisrt4">fatcat:xkkpycmzyjdr3b23ptgsqisrt4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922031622/http://heim.ifi.uio.no/~einarj/Papers/schlatte10ttss.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/da/8f/da8fc390a023481b68f80168747909d34b9e371d.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.2011.07.007"> <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>

An Open System Operational Semantics for an Object-Oriented and Component-Based Language

Jasmin Christian Blanchette, Olaf Owe
<span title="">2008</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;
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language.  ...  A Creol component can be a single (concurrent) object or a collection of objects, together with a number of interfaces, and cointerfaces, defining the provided and required interaction and semantic behavior  ...  Acknowledgment We want to thank Willem-Paul de Roever and Martin Steffen for valuable insights into the nature of semantics, as well as Marcel Kyas, Mark Summerfield, and the anonymous reviewers for suggesting  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2008.06.026">doi:10.1016/j.entcs.2008.06.026</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/abl3dgrsdnhpfgom646b6xsfiu">fatcat:abl3dgrsdnhpfgom646b6xsfiu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227223545/https://core.ac.uk/download/pdf/82732509.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/1e/4a/1e4ab554339de35477969ab73f3e08dda5c7735e.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.2008.06.026"> <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>

Coordinating Object Oriented Components Using Data-Flow Networks [chapter]

Mohammad Mahdi Jaghoori
<span title="">2008</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 framework builds upon the object oriented modeling language Creol for modeling the components, and uses the ideas of Reo for exogenous coordination using data-flow networks.  ...  We propose a framework for component-based modeling of distributed systems.  ...  Different implementations of the User interface can be used for testing the model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-92188-2_12">doi:10.1007/978-3-540-92188-2_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kyr53j64izfurcyi2q6l5yifie">fatcat:kyr53j64izfurcyi2q6l5yifie</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809020904/http://homepages.cwi.nl/~jaghouri/papers/fmco07.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/90/92/9092dc8dce36824534d886c7a194a20aec729411.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-540-92188-2_12"> <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 141 results