Sciweavers

IRI
2003
IEEE

A Formal Framework for Design Component Contracts

14 years 5 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary components in different phases of software development. Component technologies lead to increasing productivity and flexibility. However, it also introduces significant problems in ensuring the integrity and reliability of these composed systems because of their complex software topologies, interactions, and transactions. In this paper, we concentrate on the pattern-based design components and their compositions, which are captured as contracts through a composition theory. More specifically, design component contract is defined based on process calculus and logic programming; the properties that related to the design component contract are captured, and tools are used to automatically verify these properties. This research will enhance the capabilities of formal system modeling and analysis by providing a ...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where IRI
Authors Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
Comments (0)