Port Protocols for Deadlock-Freedom of Component Systems

Details Port Protocols for Deadlock-Freedom of Component Systems Port Protocols for Deadlock-Freedom of Component Systems

2010-10-27

arxiv.org/abs/1010.5565v1

EPTCS 38, 2010, pp. 7-11

Computer Science

Logic in Computer Science

In Proceedings ICE 2010, arXiv:1010.5308

Scientific paper

10.4204/EPTCS.38.3

In component-based development, approaches for property verification exist that avoid building the global system behavior of the component model. Typically, these approaches rely on the analysis of the local behavior of fixed sized subsystems of components. In our approach, we want to avoid not only the analysis of the global behavior but also of the local behaviors of the components. Instead, we consider very small parts of the local behaviors called port protocols that suffice to verify properties.

Affiliated with

Also associated with

No associations

Rating

Port Protocols for Deadlock-Freedom of Component Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Port Protocols for Deadlock-Freedom of Component Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Port Protocols for Deadlock-Freedom of Component Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-484631