<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/294> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/BookSection> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/title> "SENSORIA Process Calculi for Service-Oriented Computing"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/abstract> "The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. Process calculi and logical methods serve as the main mathematical basis of the Sensoria approach.  In this paper we give first a short overview of Sensoria and then focus on process calculi for service-oriented computing. The Service Centered Calculus SCC is a general purpose calculus which enriches traditional process calculi with an explicit notion of session; the Service Oriented Computing Kernel SOCK is inspired by the Web services protocol stack and consists of three layers for service description, service engines, and the service network; Performance Evaluation Process Algebra (PEPA) is an expressive formal language for modelling distributed systems which we use for quantitative analysis of services. The calculi and the analysis techniques are illustrated by a case study in the area of distributed e-learning systems.\r\n"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/date> "2006" .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/volume> "4661" .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/publisher> <http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-92911c02ec1752f94f69d6b0dc70fcce> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.imtlucca.it/id/person/ext-92911c02ec1752f94f69d6b0dc70fcce> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-1072d915fb5ba8d048a1f6402c6ec0c4> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.imtlucca.it/id/person/ext-1072d915fb5ba8d048a1f6402c6ec0c4> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-074945891770cc296de0f192f51087ee> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_4> <http://eprints.imtlucca.it/id/person/ext-074945891770cc296de0f192f51087ee> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-86383434d236e8b5300efa183f48bc73> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_5> <http://eprints.imtlucca.it/id/person/ext-86383434d236e8b5300efa183f48bc73> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-mirco.tribastone@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_6> <http://eprints.imtlucca.it/id/person/ext-mirco.tribastone@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-29268a599a1d8f09512a2f5476663db8> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/294#authors> .
<http://eprints.imtlucca.it/id/eprint/294#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_7> <http://eprints.imtlucca.it/id/person/ext-29268a599a1d8f09512a2f5476663db8> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.loc.gov/loc.terms/relators/EDT> <http://eprints.imtlucca.it/id/person/ext-de887e28dbded9ceca19201a007218da> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/editorList> <http://eprints.imtlucca.it/id/eprint/294#editors> .
<http://eprints.imtlucca.it/id/eprint/294#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.imtlucca.it/id/person/ext-de887e28dbded9ceca19201a007218da> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.loc.gov/loc.terms/relators/EDT> <http://eprints.imtlucca.it/id/person/ext-b5ada85825ee8beba8f983b0216e70a8> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/editorList> <http://eprints.imtlucca.it/id/eprint/294#editors> .
<http://eprints.imtlucca.it/id/eprint/294#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.imtlucca.it/id/person/ext-b5ada85825ee8beba8f983b0216e70a8> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.loc.gov/loc.terms/relators/EDT> <http://eprints.imtlucca.it/id/person/ext-1a5efa8a2da7e84d280ba8fc2449952d> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/ontology/bibo/editorList> <http://eprints.imtlucca.it/id/eprint/294#editors> .
<http://eprints.imtlucca.it/id/eprint/294#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <http://eprints.imtlucca.it/id/person/ext-1a5efa8a2da7e84d280ba8fc2449952d> .
<http://eprints.imtlucca.it/id/person/ext-29268a599a1d8f09512a2f5476663db8> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-29268a599a1d8f09512a2f5476663db8> <http://xmlns.com/foaf/0.1/givenName> "Gianluigi"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-29268a599a1d8f09512a2f5476663db8> <http://xmlns.com/foaf/0.1/familyName> "Zavattaro"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-29268a599a1d8f09512a2f5476663db8> <http://xmlns.com/foaf/0.1/name> "Gianluigi Zavattaro"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-1072d915fb5ba8d048a1f6402c6ec0c4> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-1072d915fb5ba8d048a1f6402c6ec0c4> <http://xmlns.com/foaf/0.1/givenName> "Stephen"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-1072d915fb5ba8d048a1f6402c6ec0c4> <http://xmlns.com/foaf/0.1/familyName> "Gilmore"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-1072d915fb5ba8d048a1f6402c6ec0c4> <http://xmlns.com/foaf/0.1/name> "Stephen Gilmore"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-mirco.tribastone@imtlucca.it> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-mirco.tribastone@imtlucca.it> <http://xmlns.com/foaf/0.1/givenName> "Mirco"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-mirco.tribastone@imtlucca.it> <http://xmlns.com/foaf/0.1/familyName> "Tribastone"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-mirco.tribastone@imtlucca.it> <http://xmlns.com/foaf/0.1/name> "Mirco Tribastone"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-92911c02ec1752f94f69d6b0dc70fcce> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-92911c02ec1752f94f69d6b0dc70fcce> <http://xmlns.com/foaf/0.1/givenName> "Martin"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-92911c02ec1752f94f69d6b0dc70fcce> <http://xmlns.com/foaf/0.1/familyName> "Wirsing"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-92911c02ec1752f94f69d6b0dc70fcce> <http://xmlns.com/foaf/0.1/name> "Martin Wirsing"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-86383434d236e8b5300efa183f48bc73> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-86383434d236e8b5300efa183f48bc73> <http://xmlns.com/foaf/0.1/givenName> "Roberto"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-86383434d236e8b5300efa183f48bc73> <http://xmlns.com/foaf/0.1/familyName> "Lucchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-86383434d236e8b5300efa183f48bc73> <http://xmlns.com/foaf/0.1/name> "Roberto Lucchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-1a5efa8a2da7e84d280ba8fc2449952d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-1a5efa8a2da7e84d280ba8fc2449952d> <http://xmlns.com/foaf/0.1/givenName> "Roberto"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-1a5efa8a2da7e84d280ba8fc2449952d> <http://xmlns.com/foaf/0.1/familyName> "Bruni"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-1a5efa8a2da7e84d280ba8fc2449952d> <http://xmlns.com/foaf/0.1/name> "Roberto Bruni"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-de887e28dbded9ceca19201a007218da> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-de887e28dbded9ceca19201a007218da> <http://xmlns.com/foaf/0.1/givenName> "Ugo"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-de887e28dbded9ceca19201a007218da> <http://xmlns.com/foaf/0.1/familyName> "Montanari"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-de887e28dbded9ceca19201a007218da> <http://xmlns.com/foaf/0.1/name> "Ugo Montanari"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-074945891770cc296de0f192f51087ee> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-074945891770cc296de0f192f51087ee> <http://xmlns.com/foaf/0.1/givenName> "Matthias"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-074945891770cc296de0f192f51087ee> <http://xmlns.com/foaf/0.1/familyName> "Hölzl"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-074945891770cc296de0f192f51087ee> <http://xmlns.com/foaf/0.1/name> "Matthias Hölzl"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://xmlns.com/foaf/0.1/givenName> "Rocco"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://xmlns.com/foaf/0.1/familyName> "De Nicola"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://xmlns.com/foaf/0.1/name> "Rocco De Nicola"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-b5ada85825ee8beba8f983b0216e70a8> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-b5ada85825ee8beba8f983b0216e70a8> <http://xmlns.com/foaf/0.1/givenName> "Donald"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-b5ada85825ee8beba8f983b0216e70a8> <http://xmlns.com/foaf/0.1/familyName> "Sannella"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-b5ada85825ee8beba8f983b0216e70a8> <http://xmlns.com/foaf/0.1/name> "Donald Sannella"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/BookSectionEPrint> .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/isPartOf> <http://eprints.imtlucca.it/id/repository> .
<http://eprints.imtlucca.it/id/eprint/294> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://eprints.imtlucca.it/294/> .
<http://eprints.imtlucca.it/294/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #294 \n\nSENSORIA Process Calculi for Service-Oriented Computing\n\n" .
<http://eprints.imtlucca.it/294/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://eprints.imtlucca.it/294/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/294> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/2004/02/skos/core#prefLabel> "QA75 Electronic computers. Computer science"@en .
<http://eprints.imtlucca.it/id/eprint/294> <http://purl.org/dc/terms/subject> <http://eprints.imtlucca.it/id/subject/QA75> .