A Theory of Service Dependency

A Theory of Service Dependency

Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2016-06
Hauptverfasser: Neovius, Mats, Petre, Luigia, Sere, Kaisa
Format: Artikel
Sprache:eng
Schlagworte:
Composition
Computer Science - Logic in Computer Science
Dependence
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Neovius, Mats
Petre, Luigia
Sere, Kaisa
description Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.
doi_str_mv 10.48550/arxiv.1606.02024
format Article
fullrecord <record><control><sourceid>proquest_arxiv</sourceid><recordid>TN_cdi_arxiv_primary_1606_02024</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2079604606</sourcerecordid><originalsourceid>FETCH-LOGICAL-a526-ff073f8e5f8bd143b67fe03a4274aecbeecf3ec9b99900bc1233683a613a433e3</originalsourceid><addsrcrecordid>eNotj0tLw0AURgdBsNT-ADcacJ14Z-48l6U-odBFsw-T6R1M0SRObDH_3ti6-jaHj3MYu-FQSKsUPPj00xwLrkEXIEDICzYTiDy3UogrthiGPQAIbYRSOGO3y6x8py6NWRezLaVjEyh7pJ7aHbVhvGaX0X8MtPjfOSufn8rVa77evLytluvcK6HzGMFgtKSirXdcYq1NJEAvhZGeQk0UIlJwtXMOoA58EtIWveYTg0g4Z3fn25N81afm06ex-ouoThETcX8m-tR9HWj4rvbdIbWTUyXAOA1yYvEXIN1H3w</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2079604606</pqid></control><display><type>article</type><title>A Theory of Service Dependency</title><source>Freely Accessible Journals</source><source>arXiv.org</source><creator>Neovius, Mats ; Petre, Luigia ; Sere, Kaisa</creator><creatorcontrib>Neovius, Mats ; Petre, Luigia ; Sere, Kaisa</creatorcontrib><description>Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.1606.02024</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Composition ; Computer Science - Logic in Computer Science ; Dependence</subject><ispartof>arXiv.org, 2016-06</ispartof><rights>2016. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,781,785,886,27930</link.rule.ids><backlink>$$Uhttps://doi.org/10.4204/EPTCS.209.9$$DView published paper (Access to full text may be restricted)$$Hfree_for_read</backlink><backlink>$$Uhttps://doi.org/10.48550/arXiv.1606.02024$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Neovius, Mats</creatorcontrib><creatorcontrib>Petre, Luigia</creatorcontrib><creatorcontrib>Sere, Kaisa</creatorcontrib><title>A Theory of Service Dependency</title><title>arXiv.org</title><description>Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.</description><subject>Composition</subject><subject>Computer Science - Logic in Computer Science</subject><subject>Dependence</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2016</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GOX</sourceid><recordid>eNotj0tLw0AURgdBsNT-ADcacJ14Z-48l6U-odBFsw-T6R1M0SRObDH_3ti6-jaHj3MYu-FQSKsUPPj00xwLrkEXIEDICzYTiDy3UogrthiGPQAIbYRSOGO3y6x8py6NWRezLaVjEyh7pJ7aHbVhvGaX0X8MtPjfOSufn8rVa77evLytluvcK6HzGMFgtKSirXdcYq1NJEAvhZGeQk0UIlJwtXMOoA58EtIWveYTg0g4Z3fn25N81afm06ex-ouoThETcX8m-tR9HWj4rvbdIbWTUyXAOA1yYvEXIN1H3w</recordid><startdate>20160607</startdate><enddate>20160607</enddate><creator>Neovius, Mats</creator><creator>Petre, Luigia</creator><creator>Sere, Kaisa</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20160607</creationdate><title>A Theory of Service Dependency</title><author>Neovius, Mats ; Petre, Luigia ; Sere, Kaisa</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a526-ff073f8e5f8bd143b67fe03a4274aecbeecf3ec9b99900bc1233683a613a433e3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2016</creationdate><topic>Composition</topic><topic>Computer Science - Logic in Computer Science</topic><topic>Dependence</topic><toplevel>online_resources</toplevel><creatorcontrib>Neovius, Mats</creatorcontrib><creatorcontrib>Petre, Luigia</creatorcontrib><creatorcontrib>Sere, Kaisa</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Access via ProQuest (Open Access)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>arXiv Computer Science</collection><collection>arXiv.org</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Neovius, Mats</au><au>Petre, Luigia</au><au>Sere, Kaisa</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Theory of Service Dependency</atitle><jtitle>arXiv.org</jtitle><date>2016-06-07</date><risdate>2016</risdate><eissn>2331-8422</eissn><abstract>Service composition has become commonplace nowadays, in large part due to the increased complexity of software and supporting networks. Composition can be of many types, for instance sequential, prioritising, non-deterministic. However, a fundamental feature of the services to be composed consists in their dependencies with respect to each other. In this paper we propose a theory of service dependency, modelled around a dependency operator in the Action Systems formalism. We analyze its properties, composition behaviour, and refinement conditions with accompanying examples.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.1606.02024</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2016-06
issn 2331-8422
language eng
recordid cdi_arxiv_primary_1606_02024
source Freely Accessible Journals; arXiv.org
subjects Composition
Computer Science - Logic in Computer Science
Dependence
title A Theory of Service Dependency
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-15T03%3A44%3A35IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_arxiv&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Theory%20of%20Service%20Dependency&rft.jtitle=arXiv.org&rft.au=Neovius,%20Mats&rft.date=2016-06-07&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.1606.02024&rft_dat=%3Cproquest_arxiv%3E2079604606%3C/proquest_arxiv%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2079604606&rft_id=info:pmid/&rfr_iscdi=true