Filters








530,258 Hits in 2.4 sec

Model Composition Contracts [chapter]

Jon Oldevik, Massimiliano Menarini, Ingolf Krüger
<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;
The Main Developer The Aspect Developer Proposed Solution Associate composition contracts with models A composition contract defines Access rules for the models Allowed modifications in terms of  ...  Pre-conditions && post-conditions A composition engine should adhere to the contract in order for a composition to be allowed.  ...  Summary • We have defined an approach for associating contracts with models -That controls eligibility for composition -By specifying rules for allowed access and modificiation -Pre-and post-conditions  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04425-0_40">doi:10.1007/978-3-642-04425-0_40</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/avuua3sd2nanjbzxx55zbp2tkq">fatcat:avuua3sd2nanjbzxx55zbp2tkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809043010/http://www.cs.colostate.edu/models09/TechnicalPresentations/5aModelingCompositionContracts.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/07/c8/07c80597c5f842045eb1da15f7248d4285c95504.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-04425-0_40"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Contracts for BIP: Hierarchical Interaction Models for Compositional Verification [chapter]

Susanne Graf, Sophie Quinton
<span title="">2007</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;
Finally, we define contract-based reasoning for component hierarchies.  ...  We define a framework for verifying that components satisfy their contracts compositionally, by showing that the contracts associated with each component dominate the contracts of its inner components,  ...  It yields then a composition model for each part and a global composition models composing the parts.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-73196-2_1">doi:10.1007/978-3-540-73196-2_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vz2wbegsafgwjos25z43rzay24">fatcat:vz2wbegsafgwjos25z43rzay24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726205818/https://link.springer.com/content/pdf/10.1007%2F978-3-540-73196-2_1.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/81/a5/81a549426bcd3a439f0192d0359df3ad7fedc85e.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-540-73196-2_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Taylor Dispersion in Thin Liquid Films of Volatile Mixtures: A Quantitative Model for Marangoni Contraction [article]

Olinka Ramirez-Soto, Stefan Karpitschka
<span title="2022-01-31">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Coupled to diffusion limited evaporation, this model quantitatively reproduces not only the apparent shape of Marangoni-contracted droplets, but also their internal flows.  ...  Here we show that the composition of such droplets is governed by Taylor dispersion, a consequence of diffusion and strong internal shear flow.  ...  A regime of faint vertical compositional gradients where previous long-wave models hold [56] ; ii.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2102.08727v3">arXiv:2102.08727v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pcea7jqh2jbxpmykarjjnigvgy">fatcat:pcea7jqh2jbxpmykarjjnigvgy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220202173106/https://arxiv.org/pdf/2102.08727v3.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/ca/83/ca830a573e6828e9f2795042a77a3887c048d8ef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2102.08727v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars [chapter]

Ralf H. Reussner, Jens Happe, Annegret Habel
<span title="">2005</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 this paper, a novel model for parametric contracts based on graph grammars is presented and a first definition of the compositionality of parametric contracts is given.  ...  Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectural dependency analysis  ...  In this paper we discuss the compositionality of parametric contracts, in particular of parametric contracts used for protocol modeling interfaces.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-31984-9_7">doi:10.1007/978-3-540-31984-9_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wdcjhhznlrbi7k6hy4h7tndzje">fatcat:wdcjhhznlrbi7k6hy4h7tndzje</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810070323/https://sdqweb.ipd.kit.edu/publications/pdfs/reussner2005a.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/18/00/18007bb0cd3ba427c03f0c1769108888ad3658c9.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-540-31984-9_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Contract model operators for composition and merging: extensions and proofs [article]

Passerone Roberto
<span title="">2019</span>
Several component, interface and contract models have been proposed in the literature [9, 12, 13, 22, 26, 29, 33, 40, 47, 48, 56, 63, 64, 75, 76] .  ...  COMPONENT, INTERFACES AND CONTRACT MODELS 2.1 Components Definition 2.1 (Component). Let Σ ⊆ A be an alphabet, and let B(Σ) be the set of all behaviors over alphabet Σ.  ...  The set of maximal interfaces equipped with conformance and product with requirement relaxation forms a contract model closed under composition.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15168/11572_244519">doi:10.15168/11572_244519</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fw6imftyzraq7pvdoziad5ly2q">fatcat:fw6imftyzraq7pvdoziad5ly2q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200408074308/https://iris.unitn.it/retrieve/handle/11572/244519/284314/tr_disi_19_004.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/d6/f7/d6f76c95b8e7fb2a608d47212d2f10893699c033.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15168/11572_244519"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Categorical Semantics of Cyber-Physical Systems Theory [article]

Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou
<span title="2021-04-26">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
of composite cyber-physical system models, which has the potential of minimizing or eliminating hazardous behavior.  ...  We present a category-theoretic framework to make different types of composition explicit in the modeling and analysis of cyber-physical systems, which could assist in verifying the system as a whole.  ...  Instead, by modeling cps in the wiring diagram framework we examine the system both by the individual constituents and their specific interconnections, compositionally. Contributions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.08003v3">arXiv:2010.08003v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/divdjljdyzbq3birmujirm6byy">fatcat:divdjljdyzbq3birmujirm6byy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429131349/https://arxiv.org/pdf/2010.08003v3.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/57/b9/57b994bd1e83a171360793f4fa524e6c608cdcdf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2010.08003v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Towards contract-based approach for quality-driven Service Component Architecture

Maryem Rhanoui, Bouchra El Asri
<span title="">2012</span> <i title="IEEE"> Second International Conference on the Innovative Computing Technology (INTECH 2012) </i> &nbsp;
In this paper, we present main techniques and models for assuring quality and trustworthiness of component-based systems in general, and then we present our contract-aware service component meta model.  ...  We propose a multilevel contract model that aims to address reliability and quality issues for service component oriented systems by expressing a set of its properties and constraints.  ...  Section III will present and justify the choice of our proposed multilevel contract model. In Section IV we will present a meta-model for contract-aware service component architecture.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/intech.2012.6457754">doi:10.1109/intech.2012.6457754</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7fsbztfae5ctngcjldah524dhy">fatcat:7fsbztfae5ctngcjldah524dhy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180419002524/http://www.thinkmind.org/download.php?articleid=icsea_2012_11_40_10270" 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/64/ce/64ce294a17b4f7d2294db32f3e28e93ebf9f2046.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/intech.2012.6457754"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Enabling Runtime Evolution of Context-Aware Adaptive Services

Mahmoud Hussein, Jun Han, Jian Yu, Alan Colman
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5etdl6iwengojcucbboasbklty" style="color: black;">2013 IEEE International Conference on Services Computing</a> </i> &nbsp;
To apply the model changes to the running service's composition, differences between the running service model and its evolved model are computed.  ...  The approach also generates the executable artifacts of the composite service from their models. These artifacts are engineered with the ability to be changed at runtime (i.e. evolvable artifacts).  ...  For example, the deployed service composition is able to add, remove, or modify its roles and contracts (i.e. evolvable composition).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2013.77">doi:10.1109/scc.2013.77</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEscc/HusseinHYC13.html">dblp:conf/IEEEscc/HusseinHYC13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oduvlvgxqzh65lpwrsdhhgx6yy">fatcat:oduvlvgxqzh65lpwrsdhhgx6yy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809103151/http://www.ict.swin.edu.au/personal/mhussein/papers/Hussein_SCC2013.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/ce/26/ce26b91d06afa5cb4b956b548ff3bf29f43d7150.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/scc.2013.77"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Compositional Patterns of Non-Functional Properties for Contract Negotiation

Hervé Chang, Philippe Collet
<span title="2007-08-01">2007</span> <i title="International Academy Publishing (IAP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jr7366lnajgfrhmmgwgrpt3o7u" style="color: black;">Journal of Software</a> </i> &nbsp;
The proposed model also provides appropriate support for some forms of compositional reasoning on theses properties.  ...  The compositional patterns have been implemented on a hierarchical component platform and directly exploited in non-functional contract negotiation on a validating application.  ...  To handle these contract violations, a general negotiation model has been proposed [7] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4304/jsw.2.2.52-63">doi:10.4304/jsw.2.2.52-63</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cv5qfyvhonf7llsfatjpiau3au">fatcat:cv5qfyvhonf7llsfatjpiau3au</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090521094447/http://academypublisher.com:80/jsw/vol02/no02/jsw02025263.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/c0/11/c011c58320d90155edc48d525ed33b316aa7358b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4304/jsw.2.2.52-63"> <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>

A Constraint-Based Approach for Developing Consistent Contracts in Composite Services

Basem Suleiman, Fuyuki Ishikawa
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xxehgqixcnevja5kfad6uir6wi" style="color: black;">2009 Congress on Services - I</a> </i> &nbsp;
It proposes a generic framework to formalize service contract composition as a constraint satisfaction problem (CSP).  ...  The tool aims at supporting Web service orchestrators to specify appropriate contract parameter values and adapt them so that consistency of composite contracts is increased to some extent.  ...  Section III describes the generic framework for modeling composite contract problem as a CSP.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/services-i.2009.15">doi:10.1109/services-i.2009.15</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/services/SuleimanI09.html">dblp:conf/services/SuleimanI09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/76rj5y4ohvdu7dxqkqhcopktle">fatcat:76rj5y4ohvdu7dxqkqhcopktle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120321215959/http://www.nicta.com.au/pub?doc=1952" 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/42/e5/42e56048a078732df1adcb375749df9120fa8005.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/services-i.2009.15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Formal Model for Component-Based Embedded Software Development

Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gkdds5vmbvfhdj6hneeduu2n3a" style="color: black;">2009 International Conference on Embedded Software and Systems</a> </i> &nbsp;
This paper presents a formal model for specification, verification, and composition of componentbased embedded software.  ...  And a lightweight composition method is provided for the purpose of composition.  ...  The interaction contract together with the glue contract forms a lightweight composition technique for embedded component software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icess.2009.51">doi:10.1109/icess.2009.51</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icess/LiZDY09.html">dblp:conf/icess/LiZDY09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dyiyiactvjburmme4wnpbmfkzu">fatcat:dyiyiactvjburmme4wnpbmfkzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812042611/http://es.sdu.edu.cn/project/doc/papers/icess09-papers/01-3.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/61/75/6175e34f0f6bcf74971b8f96b6dcadafade10468.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icess.2009.51"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards a methodology for lifelong validation of service compositions

Domenico Bianculli, Carlo Ghezzi
<span title="">2008</span> <i title="ACM Press"> Proceedings of the 2nd international workshop on Systems development in SOA environments - SDSOA &#39;08 </i> &nbsp;
This position paper digs into the requirements and outlines a research agenda, based on the experience gained in previous research projects, to engineer dependable service compositions.  ...  We argue that the dynamic nature of compositions in serviceoriented architectures requires re-thinking the whole lifetime of an application, from requirements, to design and implementation, to deployment  ...  This work has been partially supported by the IST EU project "PLASTIC" contract number 026955, and the Italian FIRB project "ART DECO".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1370916.1370919">doi:10.1145/1370916.1370919</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c4b4ci7ghvhmbi7ejek3d5bb3m">fatcat:c4b4ci7ghvhmbi7ejek3d5bb3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709180724/https://people.svv.lu/bianculli/pubs/bg-sdsoa2008.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/d0/f5/d0f5bb68af329027c82e57ddd4002ea7b6fd6c1e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1370916.1370919"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On Design-time Modelling and Verification of Safety-critical Component-based Systems

Nermin Kajtazovic, Christopher Preschern, Andrea Holler, Christian Kreiner
<span title="">2014</span> <i title="Atlantis Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mitejrukingkdiyzijpbo7msre" style="color: black;">International Journal of Networked and Distributed Computing (IJNDC)</a> </i> &nbsp;
Although the topic of compositional modelling and verification in the context of component-based systems has been studied intensively in the last decade, there is currently still a lack of tools and methods  ...  We show that CSP can be successfully applied for the verification of compositions for many types of properties.  ...  The next step of the workflow deals with the analysis of the system modelled using contracts.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2991/ijndc.2014.2.3.7">doi:10.2991/ijndc.2014.2.3.7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/be5d5lditbdgrckd22tcg5ttya">fatcat:be5d5lditbdgrckd22tcg5ttya</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727001016/https://download.atlantis-press.com/article/14320/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/f9/6c/f96ca8358fec025c40731808b3eb0c2ced32cc82.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2991/ijndc.2014.2.3.7"> <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>

Evaluating Contract Compatibility for Service Composition in the SeCO2 Framework [chapter]

Marco Comerio, Hong-Linh Truong, Flavio De Paoli, Schahram Dustdar
<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;
We describe a novel approach for modeling and mapping different service contract specifications, and a set of techniques for evaluating service contract compatibility.  ...  This paper proposes techniques for supporting service composers to deal with the heterogeneity of service contracts in service composition.  ...  Our future work includes enhancing this dynamic interaction among actors when dealing with service contracts. Furthermore, data specific contract compatibility will be improved.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-10383-4_15">doi:10.1007/978-3-642-10383-4_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/x3zvkslhubf3tilcgjykfdoydu">fatcat:x3zvkslhubf3tilcgjykfdoydu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110913142515/http://www.infosys.tuwien.ac.at/Staff/sd/papers/ICSOC%20Linh.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/76/db/76dbfcbdd8c9cec365ee90128fbc658f368c9352.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-10383-4_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Compositional Verification of Architectural Models [chapter]

Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen, Brian LaValley, Lui Sha
<span title="">2012</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;
COMPOSITIONAL PROOF OF CORRECTNESS (ASSUME -GUARANTEE) SAFETY, BEHAVIORAL, PERFORMANCE PROPERTIES ABSTRACTION VERIFICATION REUSE COMPOSITION PATTERN & COMP SPEC LIBRARY SYSTEM MODELING  ...  SPECIFICATION SYSTEM DEVELOPMENT FOUNDRY COMPOSITIONAL REASONING & ANALYSIS Instantiation: Check structural constraints, Embed assumptions & guarantees in system model Compositional Verification  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-28891-3_13">doi:10.1007/978-3-642-28891-3_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zceb7xmcvfcofmns7rfpjln2wy">fatcat:zceb7xmcvfcofmns7rfpjln2wy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808165006/http://www.mys5.org/Proceedings/2012/Day%202%20Presentations/1110-1135_Darren%20Cofer_v2.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/de/2c/de2c83fdc34c8f31748a1a491c09f4b31398cef0.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-28891-3_13"> <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 530,258 results