Corpus ID: 38597852

Specifying Components with Compositional Patterns, LOTOS and Design By Contract

@inproceedings{Zitouni2010SpecifyingCW,
  title={Specifying Components with Compositional Patterns, LOTOS and Design By Contract},
  author={Abdelhafid Zitouni and Mahmoud Boufa{\"i}da and Lionel Seinturier},
  booktitle={SEDE},
  year={2010}
}
specification of a component  The abstract specification contains a formal model of design component, called design component contract.  A design component contract includes structural contract, behavioural contract and interface contract 11/06/2013 11 SEDE 2010, San Francisco The abstract specification contract is defined by:  ASC::={ , , , } For all i, j / i # j name.cpi # name.cpj 12 11/06/2013 SEDE 2010, San Francisco The abstract specification contract is defined by:  ASC… Expand
A Contract-Based Language to Specify Design Components
TLDR
This article presents a contract-based approach to analyze and model the properties of design components and their composition in order to detect and correct composition errors, and proposes the use of the LOTOS language as an ADL for formalizing these aspects. Expand
Rigorous Description Of Design Components Functionality: An Approach Based Contract
TLDR
This paper presents a contract-based approach to analyze and model the both aspects of design components and their composition in order to detect and correct composition errors, and proposes the use of the LOTOS language as an ADL for formalizing these aspects. Expand
Reasoning about design patterns with an Aspect-Oriented approach
TLDR
This paper presents some properties of patterns in order to prove how predicate logic can be used to reason in the Aspect-Oriented approach. Expand
Rigorous Description Of Design Components Functionality: An Approach Based Contract.
TLDR
A contract-based approach to analyze and model the both aspects of design components and their composition in order to detect and correct composition errors and proposes the use of the LOTOS language as an ADL for formalizing these aspects. Expand