TBP: Code-Oriented Component Behavior Specification

  title={TBP: Code-Oriented Component Behavior Specification},
  author={Jan Kofron and Tom{\'a}s Poch and Ondrej Sery},
  journal={2008 32nd Annual IEEE Software Engineering Workshop},
Assuring components compatibility plays a crucial part in developing a reliable component system. Especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. We propose a formalism of threaded behavior protocols, which-unlike most other formalisms-allows for both analysis on the formal level (correctness and substitutability checking) and reasoning about conformance of a specification… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 19 references

Extending Java PathFinder with Behavior Protocols

A. Plsek
Master’s thesis, Charles University in Prague, Czech Republic • 2006

SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model

Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06) • 2006

and F

T. Bures, P. Hnetynka
Plasil. SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model. In SERA, pages 40–48. IEEE Computer Society • 2006
View 1 Excerpt

Composition for component-based modeling

Sci. Comput. Program. • 2005
View 1 Excerpt

Similar Papers

Loading similar papers…