Static analysis of component systems using behavior protocols

Authors:
Jiri Adamek
Affiliations:
Charles University, Czech Republic
Venue:
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2003

Citing 5
Cited 2

A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Behaviour Analysis of Distributed Systems Using the Tracta Approach

Automated Software Engineering
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating

CDS '98 Proceedings of the International Conference on Configurable Distributed Systems

Enhancing component specification by behavior description: the SOFA experience

WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Towards a verified component platform

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Static analysis of systems allows to discover errors at design time and to avoid run-time error detection techniques that negatively impact performance of the systems. In this paper, we present the consent operator, which allows (i) to capture errors resulting from incorrect composition of software components, (ii) to test conformance of behavior descriptions and (iii) to analyze whether conditions of a correct dynamic update are satisfied.