Filters








108 Hits in 3.0 sec

Modular Schedulability Analysis of Concurrent Objects in Creol [chapter]

Frank de Boer, Tom Chothia, Mohammad Mahdi Jaghoori
<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;
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol.  ...  In previous work we analyzed the schedulability of objects modeled as Timed Automata.  ...  We employed automata theory in our previous work [7, 8] to provide a high-level framework for modular schedulability analysis of asynchronous concurrent objects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11623-0_12">doi:10.1007/978-3-642-11623-0_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rg3pcxrqtzhktk6gmhytsnt55y">fatcat:rg3pcxrqtzhktk6gmhytsnt55y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811153156/http://homepages.cwi.nl/~jaghouri/papers/fsen09.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/41/4d4133c9e2ba632af87e8f06d43287bbe793280b.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_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis [chapter]

Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar Broch Johnsen
<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;
We show how to analyze schedulability of an abstraction of real-time concurrent objects in terms of timed automata.  ...  In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case execution times and deadlines.  ...  This research is partly funded by the EU projects IST-33826 CREDO: Modeling and Analysis of Evolutionary Structures for Distributed Services (http://credo.cwi.nl) and FP7-231620 HATS: Highly Adaptable  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15375-4_1">doi:10.1007/978-3-642-15375-4_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nhmqbxqi5jff7nyyj5bjdsd4ma">fatcat:nhmqbxqi5jff7nyyj5bjdsd4ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170921225644/http://heim.ifi.uio.no/~einarj/Papers/deboer10concur.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/56/f8/56f81439ac9fa0e38940b82dde92fb2afe5afba9.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-15375-4_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Timed Automata Semantics for Analyzing Creol

Mohammad Mahdi Jaghoori, Tom Chothia
<span title="2010-07-28">2010</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;
We can use our semantics to verify real time properties of Creol objects, in particular to see whether processes can be scheduled correctly and meet their end-to-end deadlines.  ...  We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata.  ...  Analysis of Real-Time Objects The generated timed automata fit our automata-theoretic framework for modular schedulability analysis of asynchronous objects [8, 9] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.30.8">doi:10.4204/eptcs.30.8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6jjybncq5fb75hbou4angpasi4">fatcat:6jjybncq5fb75hbou4angpasi4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809022151/http://homepages.cwi.nl/~jaghouri/papers/foclasa10.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/63/a5/63a5501655b089c956c5a9f0c1850c2bb8f3ed36.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.30.8"> <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>

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;
Based on these behavioral interfaces, functional aspects are modeled in Creol, a high-level modeling language for concurrent objects.  ...  We use an object-oriented paradigm to model different thread pools in the context of the ASK system, an industrial communication platform.  ...  Related work The schedulability analysis in this paper can be seen as the continuation of our previous work [12] on modular analysis of a single-threaded concurrent object with respect to its behavioral  ... 
<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>

Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol

Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe
<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;
Creol is a formally defined modeling language for concurrent objects which clearly separates intra-object scheduling from inter-object communication by means of interface encapsulation, asynchronous method  ...  This paper gives an example-driven introduction to these basic features of Creol and discusses how this separation of concerns influences analysis of Creol models.  ...  Many people have contributed to the development of the Creol language and tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2009.07.007">doi:10.1016/j.entcs.2009.07.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t3flprsm3najrdjf4p3elc4aga">fatcat:t3flprsm3najrdjf4p3elc4aga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922032255/http://heim.ifi.uio.no/~einarj/Papers/johnsen08ttss.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/2e/13/2e13d3bdebdb77a9c8f9ecfa7edea4e1d7d52faf.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.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>

Ten Years of Analyzing Actors: Rebeca Experience [chapter]

Marjan Sirjani, Mohammad Mahdi Jaghoori
<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;
For example, we present the modular schedulability analysis of timed actor-based models and formal techniques to check correctness of self-adaptive systems using Rebeca.  ...  In this paper, we provide a survey of the different analysis techniques that are provided for the modeling language Rebeca.  ...  In particular, we thank Hamideh Sabouri and Narges Khakpour for their help in writing the sections on slicing and self-adaptive models (respectively).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-24933-4_3">doi:10.1007/978-3-642-24933-4_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oxdrmkg735evzkmjg7wodytbea">fatcat:oxdrmkg735evzkmjg7wodytbea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140904111033/http://homepages.cwi.nl:80/~jaghouri/papers/fhct11.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/c2/00/c20066d12738126e3e53ce30b9fdbf46331fc8c5.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-24933-4_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Schedulability of asynchronous real-time concurrent objects

Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani
<span title="">2009</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/anq6kvwvqbegtipq5vfhvonzqq" style="color: black;">The Journal of Logic and Algebraic Programming</a> </i> &nbsp;
We present a modular method for schedulability analysis of real time distributed systems.  ...  We extend the actor model, as the asynchronous model for concurrent objects, with real time using timed automata, and show how actors can be analyzed individually to make sure that no task misses its deadline  ...  We are working on applying this approach for the schedulability analysis of Creol [21] , which supports concurrent objects involving more complex synchronization schemes.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2009.02.009">doi:10.1016/j.jlap.2009.02.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jwzqdu6qt5bfpi3yj6boutqk2i">fatcat:jwzqdu6qt5bfpi3yj6boutqk2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171004182410/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/e46/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU2NzgzMjYwOTAwMDI1Mw%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/e7/49/e749167cb94dd85c45ff1041bce61b2cef793642.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jlap.2009.02.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Towards composition of distributed evolving services: the Credo approach (Invited Paper)

Andries Stam, Alfons Salden
<span title="">2008</span> <i title="ICST"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/d37v7lymjrfnfhcg5sdalmpfuu" style="color: black;">Proceedings of the 2nd International ICST Conference on Autonomic Computing and Communication Systems</a> </i> &nbsp;
These demands complicate the validation and verification of such compositions as-a-whole.  ...  In this paper, we apply the Credo techniques to ASK, a context-aware response system with intelligent matching functionality for connecting people to other people via existing communication technologies  ...  Components and Classes: Creol Service components and classes are modeled using the statically typed high-level concurrent object-oriented modeling language Creol [12, 13] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4108/icst.autonomics2008.4615">doi:10.4108/icst.autonomics2008.4615</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/autonomics/StamS08.html">dblp:conf/autonomics/StamS08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/owgjly5zubfjpbbp3ntk34cqx4">fatcat:owgjly5zubfjpbbp3ntk34cqx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809122400/https://projects.cwi.nl/credo/publications/stam_insertech.pdf?origin=publication_detail" 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/b7/db/b7dbae400bff086e31adc622812af4c77c25f45f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4108/icst.autonomics2008.4615"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </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 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  ...  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.  ...  Agha also advocates modularity in analyzing open distributed systems and the actor model is defined as a model of concurrency, and is said to extend the concept of objects to concurrent computation.  ... 
<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>

Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects [chapter]

Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu
<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;
A dynamic class construct is proposed in this setting, providing an asynchronous and modular upgrade mechanism.  ...  The language, based on Creol, targets distributed systems by active objects, asynchronous method calls, and futures.  ...  If we can type check that BankAccount implements TransferAcc, it is type-safe to bind a pointer typed by TransferAcc to an instance of BankAccount and call transfer and withdraw on this object: l .addlog  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-05089-3_38">doi:10.1007/978-3-642-05089-3_38</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vriulx6hbffqdborshrmu34v4a">fatcat:vriulx6hbffqdborshrmu34v4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922032441/http://heim.ifi.uio.no/~einarj/Papers/johnsen09fm.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/21/02/2102964aba0da03384f55443dc67c76bbecb31b0.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-05089-3_38"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

HATS: Highly Adaptable and Trustworthy Software Using Formal Methods [chapter]

Reiner Hähnle
<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;
In HATS we aim to close this gap with an object-oriented, executable modeling language for adaptable, concurrent software components.  ...  It comes with tool suite based on analysis methods developed hand in hand with the modeling language.  ...  We started work on formal verification of ABS models: we developed a symbolic execution engine for the language Creol whose concurrency model is the basis for the one in ABS.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16561-0_2">doi:10.1007/978-3-642-16561-0_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eaccnxgwi5aw7olstgc7swpqvq">fatcat:eaccnxgwi5aw7olstgc7swpqvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110401081206/http://www.cse.chalmers.se/~reiner/papers/isola-hats.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/c7/4b/c74b606e02187c79c847351e7b6a007f7433a533.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-16561-0_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Schedulability and Compatibility of Real Time Asynchronous Objects

Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v45oxowmzff5lbub4ixtl2tazu" style="color: black;">2008 Real-Time Systems Symposium</a> </i> &nbsp;
(schedulability analysis).  ...  Compatibility additionally implies schedulability in the context of the actual system. The analyses are automated using the UPPAAL model checker.  ...  Examples of scheduler automata are given in Section 6. SCHEDULABILITY ANALYSIS An object is an instance of a class together with a specific scheduler automaton.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtss.2008.28">doi:10.1109/rtss.2008.28</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtss/JaghooriLBC08.html">dblp:conf/rtss/JaghooriLBC08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xf2mxfrlxratte5hqsyrzlrrku">fatcat:xf2mxfrlxratte5hqsyrzlrrku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140904111012/http://homepages.cwi.nl:80/~jaghouri/papers/RTSS08.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/38/a2382087491b04af2655120b22d5c3bf533aa35e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtss.2008.28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [chapter]

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
<span title="">2016</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;
Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool.  ...  This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution.  ...  We are also deeply grateful for the work of the Groove developers that we leverage in this paper, and especially for their Groove-y feedback and support.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-49665-7_3">doi:10.1007/978-3-662-49665-7_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vksrrwfv4fa4zlox2kmdq673vm">fatcat:vksrrwfv4fa4zlox2kmdq673vm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200309084127/https://www.research-collection.ethz.ch/bitstream/handle/20.500.11850/113623/eth-48702-01.pdf;jsessionid=A880AE32DF9C530655D11AE992BEC52B?sequence=1" 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/d2/b9/d2b94ffc461238b21591b039003974b8d67b2377.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-662-49665-7_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model

Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
<span title="2015-04-10">2015</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;
To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models such  ...  form of a run-time model, which should be transferable to GTS models for other concurrent languages and libraries.  ...  Most existing GTS tools are in theory expressive enough to cover CPM. GROOVE however was already applied for the analysis of (non-concurrent) object-oriented programs in Java [24] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.181.3">doi:10.4204/eptcs.181.3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4nebg7q635di7iloqxxpoaxl3a">fatcat:4nebg7q635di7iloqxxpoaxl3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218022535/http://pdfs.semanticscholar.org/08a9/b19c51bdf8465fcfd6440f524cd74d9ba4af.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/08/a9/08a9b19c51bdf8465fcfd6440f524cd74d9ba4af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.181.3"> <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>

User-defined schedulers for real-time concurrent objects

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth Tapia Tarifa
<span title="2012-06-12">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m7bjtth7yrhkzjnmhmza375ykq" style="color: black;">Innovations in Systems and Software Engineering</a> </i> &nbsp;
This thesis proposes a methodology for the modeling and analysis of object-oriented distributed applications that are able to adapt to changes in client traffic, so that they can keep desired levels of  ...  As a starting point for developing our methodology, we take Core ABS, an abstract, behavioral specification language that targets the executable modeling of concurrent, distributed and object-oriented  ...  Bruce Berriman and Ewa Deelman for helping us with additional details of the Montage case study.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11334-012-0184-5">doi:10.1007/s11334-012-0184-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tt2rgrdgubdobm2mq5kwtq2xkm">fatcat:tt2rgrdgubdobm2mq5kwtq2xkm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171121052213/https://core.ac.uk/download/pdf/30906897.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/52/33/52339ebd27e08ed5e07e3c0387dc5540d05fa08f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11334-012-0184-5"> <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 108 results