|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<record xmlns="http://www.openarchives.org/OAI/2.0/">
|
|
3
|
<header>
|
|
4
|
<identifier>oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2015-A1-005</identifier>
|
|
5
|
<datestamp>2015-03-14</datestamp>
|
|
6
|
<setSpec>openaire</setSpec>
|
|
7
|
</header>
|
|
8
|
<metadata>
|
|
9
|
<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">
|
|
10
|
<dc:title>On StocS: a stochastic extension of SCEL</dc:title>
|
|
11
|
<dc:creator>Latella, Diego</dc:creator>
|
|
12
|
<dc:creator>Loreti, Michele</dc:creator>
|
|
13
|
<dc:creator>Massink, Mieke</dc:creator>
|
|
14
|
<dc:creator>Senni, Valerio</dc:creator>
|
|
15
|
<dc:subject>Calculi for Autonomic Computing</dc:subject>
|
|
16
|
<dc:subject>Quantitative Modelling and Analysis of Systems</dc:subject>
|
|
17
|
<dc:subject>Stochastic Process Algebras</dc:subject>
|
|
18
|
<dc:subject>info:eu-repo/classification/acm/H.1 Models and Principles</dc:subject>
|
|
19
|
<dc:subject>info:eu-repo/classification/acm/F.4 Mathematical Logic and Formal Languages</dc:subject>
|
|
20
|
<dc:subject>info:eu-repo/classification/msc/68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)</dc:subject>
|
|
21
|
<dc:subject>info:eu-repo/classification/msc/68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)</dc:subject>
|
|
22
|
<dc:description>Predicate-based communication allows components of a system to send messages and requests 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 sim- plify 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 allows for quantitative modelling and analysis of system behaviour (e.g. performance) but rises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction.</dc:description>
|
|
23
|
<dc:publisher>Springer</dc:publisher>
|
|
24
|
<dc:contributor>R. De Nicola, R. Hennicker</dc:contributor>
|
|
25
|
<dc:relation>info:eu-repo/grantAgreement/EC/FP7/288750/EU/Autonomic Service-Component Ensembles - Enlarged EU/ASCENS-ENLARGED EU</dc:relation>
|
|
26
|
<dc:date>2015</dc:date>
|
|
27
|
<dc:type>info:eu-repo/semantics/bookPart</dc:type>
|
|
28
|
<dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A1-005</dc:identifier>
|
|
29
|
<dc:language>en</dc:language>
|
|
30
|
<dc:source>In: Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. pp. 619 - 640. R. De Nicola, R. Hennicker (eds.). (Lecture Notes in Computer Science, vol. 89</dc:source>
|
|
31
|
<dc:relation>info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/chapter/10.1007/978-3-319-15545-6_35</dc:relation>
|
|
32
|
<dc:relation>info:eu-repo/semantics/altIdentifier/isbn/978-3-319-15544-9 (print) 978-3-319-15545-6 (online)</dc:relation>
|
|
33
|
<dc:relation>info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-15545-6_35</dc:relation>
|
|
34
|
<dc:format>application/pdf</dc:format>
|
|
35
|
<dc:rights>info:eu-repo/semantics/restrictedAccess</dc:rights>
|
|
36
|
</oai_dc:dc>
|
|
37
|
</metadata>
|
|
38
|
</record>
|