21,287 Hits in 3.5 sec

Conformance notions for the coordination of interaction components

Rodrigo Ramos, Augusto Sampaio, Alexandre Mota
2010 Science of Computer Programming  
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]

Madiel S. Conserva Filho, Marcel Vinicius Medeiros Oliveira, Augusto Sampaio, Ana Cavalcanti
2016 Lecture Notes in Computer Science  
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

José Dihego, Augusto Sampaio, Marcel Oliveira
2020 Journal of Systems and Software  
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]

Martin H. Weik
2000 Computer Science and Communications Dictionary  
Summary • Contract-based design powerful -For stepwise refinement -Compositional reasoning • Temporal logic is suitable for component contractsContract 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

Chris Chilton, Bengt Jonsson, Marta Kwiatkowska
2014 Science of Computer Programming  
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

Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev
2011 2011 Eleventh International Conference on Application of Concurrency to System Design  
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

Stanislavs Golubcovs, Walter Vogler, Norman Kluge
2013 2013 13th International Conference on Application of Concurrency to System Design  
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]

Mario Bravetti, Gianluigi Zavattaro
2009 Lecture Notes in Computer Science  
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

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
2009 2009 Ninth International Conference on Quality Software  
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

Mario Bravetti, Gianluigi Zavattaro
2014 Electronic Proceedings in Theoretical Computer Science  
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

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
2012 Information and Software Technology  
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]

Serge Haddad, Pascal Poizat
2007 Lecture Notes in Computer Science  
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]

Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro
2009 Lecture Notes in Computer Science  
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

Wim Vanderperren, Bart Wydaeghe
2002 Electronical Notes in Theoretical Computer Science  
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

J. N. Reed, A. W. Roscoe, J. E. Sinclair
2007 Formal Aspects of Computing  
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