D-Net

<?xml version="1.0" encoding="UTF-8"?>

<record xmlns="http://www.openarchives.org/OAI/2.0/">

   <header>

    <identifier>oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2014-TR-032</identifier>

    <datestamp>2014-10-05</datestamp>

    <setSpec>openaire</setSpec>

   </header>

   <metadata>

     <oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/        http://www.openarchives.org/OAI/2.0/oai_dc.xsd">

      <dc:title>TR 11: On STOCS: a stochastic exten- sion of SCEL</dc:title>

      <dc:creator>Latella, Diego</dc:creator>

      <dc:creator>Loreti, Michele</dc:creator>

      <dc:creator>Massink, Mieke</dc:creator>

      <dc:creator>Senni, Val</dc:creator>

      <dc:subject>Calculi for Autonomic Computing</dc:subject>

      <dc:subject>Quantitative Modelling and Analysis of Systems</dc:subject>

      <dc:subject>Stochastic Process Algebras</dc:subject>

      <dc:subject>info:eu-repo/classification/acm/H.1 Models and Principles</dc:subject>

      <dc:subject>info:eu-repo/classification/acm/F.4 Mathematical Logic and Formal Languages</dc:subject>

      <dc:subject>info:eu-repo/classification/msc/68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)</dc:subject>

      <dc:subject>info:eu-repo/classification/msc/68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)</dc:subject>

      <dc:description>Predicate-based communication allows components of a system to send messages and re- quests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication can greatly simplify the programming of autonomous and adaptive systems. We present a stochastically timed extension of the Software Component Ensemble Language (SCEL) that was introduced in previous work. Such an extension raises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction.</dc:description>

      <dc:relation>info:eu-repo/grantAgreement/EC/FP7/288750/EU/Autonomic Service-Component Ensembles - Enlarged EU/ASCENS-ENLARGED EU</dc:relation>

      <dc:date>2014-02-05</dc:date>

      <dc:type>info:eu-repo/semantics/report</dc:type>

      <dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2014-TR-032</dc:identifier>

      <dc:language>en</dc:language>

      <dc:source>ASCENS TR 11. Technical report, 2014.</dc:source>

      <dc:relation>info:eu-repo/semantics/altIdentifier/url/http://pmi.ascens-ist.eu/text_files/0000/0094/StocS_TRAsns.pdf</dc:relation>

      <dc:format>application/pdf</dc:format>

      <dc:rights>info:eu-repo/semantics/restrictedAccess</dc:rights>

     </oai_dc:dc>

   </metadata>

  </record>