A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Conformance notions for the coordination of interaction components
2010
Science of Computer Programming
Preserved Fulltext
In component-based development, software components are taken as units of composition. ...
We illustrate the application of these notions through a systematic composition strategy of software frameworks, and we mechanically verify the preservation of behavioural component properties in these ...
Composition compatibility The notion of compatibility on compositions is based on the concept of communication compatibility of components, presented in Section 4.3. ...
doi:10.1016/j.scico.2009.12.005
fatcat:zlz2i5apljhudlo6xc6fsldxo4
Local Livelock Analysis of Component-Based Models
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The correct application of such strategies, however, relies on the trust in the behaviour of the components and in the emergent behaviour of the composed components because failures may arise if the composition ...
Our method is based solely on the local analysis of the minimum sequences that lead the CSP model back to its initial state. ...
contract as result of a communication composition based solely on the individual analysis of the composing livelock-free component contract. ...
doi:10.1007/978-3-319-47846-3_18
fatcat:mdrjldtqcvhw5i6zfxidi5vaxu
A refinement checking based strategy for component-based systems evolution
2020
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2005.10295v1 fatcat:mosbfkvqjjb3xalhflk3dl56xm
We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical concurrency properties such ...
A notion of extensibility is defined on top of a behavioural relation called convergence, which distinguishes inputs from outputs and the context where they are communicated, allowing extensions to reuse ...
Let P be a component contract, and ic and oc two communication channels. ...
doi:10.1016/j.jss.2020.110598
fatcat:ou2argy5vrh4nkhkak7sl5snsy
hierarchical decomposition
[chapter]
2000
Computer Science and Communications Dictionary
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Summary • Contract-based design powerful -For stepwise refinement -Compositional reasoning • Temporal logic is suitable for component contracts • Contract framework parameterized by logic • SMT-based model ...
on modeling by specification engineers -Set of traces (semantics) • Traces represent the behavior, history of events and values on data ports. ...
-Infinite types: "real", "integer", … -"continuous": real-value ports constrained to evolve continuously in time -"event": boolean-value ports assigned only on discrete transitions • Atomic formulas may ...
doi:10.1007/1-4020-0613-6_8347
fatcat:kjjornfduvgd5pj7fweadmmehy
Compositional assume–guarantee reasoning for input/output component theories
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
We formulate a sound and complete assume-guarantee framework for reasoning compositionally about components modelled as a variant of interface automata. ...
The specification of a component, which expresses both safety and progress properties of input and output interactions with the environment, is characterised by finite traces. ...
Benveniste et al. (2008) present an abstract mathematical framework for contract-based design, based on set-theoretic operations on sets of behaviours. ...
doi:10.1016/j.scico.2013.12.010
fatcat:pevcchsovfaxfg6ak75bdriprm
Improved Parallel Composition of Labelled Petri Nets
2011
2011 Eleventh International Conference on Application of Concurrency to System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Unfortunately, the standard definition of parallel composition almost always yields a 'messy' Petri net, with many implicit places, causing performance deterioration in tools that are based on structural ...
In this paper we propose an optimised algorithm for computing the parallel composition. ...
secure or safeness-preserving secure contractions. ...
doi:10.1109/acsd.2011.11
dblp:conf/acsd/AlekseyevKMWY11
fatcat:y6ezcugewnhfhokuvef42vwqka
STG-Based Resynthesis for Balsa Circuits
2013
2013 13th International Conference on Application of Concurrency to System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
A Balsa specification corresponds to the parallel composition of such STGs, but this composition must be reduced. ...
For this, we have translated the control parts of almost all components used by the Balsa compiler into STGs; in particular we separated the control path and the data path in the data components. ...
The cluster-based approach may miss some context-components, which usually restrict the behaviour. ...
doi:10.1109/acsd.2013.17
dblp:conf/acsd/GolubcovsVK13
fatcat:5jaispczgncjtgrx5sbe757rpq
Contract-Based Discovery and Composition of Web Services
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. ...
The idea is to first design a service system by describing the overall behaviour of each of its participant, and then instantiate such participants retrieving services exposing a behavioural contract which ...
As far as component-based systems are concerned, the commonly adopted approach is to synthesize either wrappers or adaptors that respectively block (the non compatible) part of the behaviour of one component ...
doi:10.1007/978-3-642-01918-0_7
fatcat:tvtgzohmxzf3hp7w2erf2ubs34
Interactive Specification and Verification of Behavioural Adaptation Contracts
2009
2009 Ninth International Conference on Quality Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Objective: In this article, we propose a tool-based, interactive approach to support the contract design process. ...
Adaptation contracts describe composition constraints and adaptation requirements among these services. ...
operations), and a protocol specifying the interactive behaviour followed by the component or service in terms of communication actions. ...
doi:10.1109/qsic.2009.17
dblp:conf/qsic/CamaraSCO09
fatcat:wgjfcgsd6vbv5ibrq2q2gt6xpa
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
2014
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We survey our work on choreographies and behavioural contracts in multiparty interactions. ...
In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) ...
The idea is that, based on the contracts derived with such a projection, services are retrieved that expose a behaviour which is compatible with the extracted behaviours. ...
doi:10.4204/eptcs.168.2
fatcat:w4m2pbogsbgdjbqxcxzwniuggy
Interactive specification and verification of behavioral adaptation contracts
2012
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Objective: In this article, we propose a tool-based, interactive approach to support the contract design process. ...
Adaptation contracts describe composition constraints and adaptation requirements among these services. ...
operations), and a protocol specifying the interactive behaviour followed by the component or service in terms of communication actions. ...
doi:10.1016/j.infsof.2012.01.010
fatcat:pq4cziuihfblpnjl5z4ved3lim
Transactional Reduction of Component Compositions
[chapter]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composition correctness checking ...
., in the process algebraic framework, none is suited to compositions where provided/required services correspond to transactions of lower-level individual event based communications. ...
Our model supports open systems and enables one to achieve compositionality (composites are components). ...
doi:10.1007/978-3-540-73196-2_22
fatcat:hudizjn3dzhndgrlcgygsw6jnm
Contract-Driven Implementation of Choreographies
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given ...
Exploiting some of our previous results about choreography projection and contract refinement, we show how to solve the problem of implementing a choreography via the composition of already available services ...
We thank Claudio Guidi and Fabrizio Montesi co-authors of the paper [9] (which Section 3 of this paper is based on). ...
doi:10.1007/978-3-642-00945-7_1
fatcat:y5wm2zcbtnctvdz223b7hzefrm
Separating concerns in a high-level component-based context
2002
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
We use state information deduced from the composition pattern to weave composition adapters into the component-based application. ...
In this paper, we explain how composition adapters are checked on their compatibility with the composition pattern and how this state based insertion of composition adapters is done. ...
In this model, component communication is based on events and method calls. More precisely a component sends events to any subscribed listener and any piece of code can call its API. ...
doi:10.1016/s1571-0661(04)80439-0
fatcat:5rypis4xwvg3ferl2ep36mn7ve
Responsiveness and stable revivals
2007
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
We have developed properties which capture the notion of non-blocking responsive behaviour, together with machine-based checks implemented in the CSP modelchecker, FDR. ...
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. ...
Introduction The historical focus of formal verification of component-based systems has been to reason about the behaviour of a system based on the collective behaviour of its components. ...
doi:10.1007/s00165-007-0032-9
fatcat:cbbib4fbhfejlarcxmojjnaavm
« Previous
Showing results 1 — 15 out of 21,287 results