An interface group for process components

Details An interface group for process components An interface group for process components

2007-11-06

arxiv.org/abs/0711.0834v2

Fundamenta Informaticae, 99(4):355--382, 2010

Computer Science

Logic in Computer Science

26 pages; section on non-associativity of component composition added, examples added

Scientific paper

10.3233/FI-2010-254

We take a process component as a pair of an interface and a behaviour. We study the composition of interacting process components in the setting of process algebra. We formalize the interfaces of interacting process components by means of an interface group. An interesting feature of the interface group is that it allows for distinguishing between expectations and promises in interfaces of process components. This distinction comes into play in case components with both client and server behaviour are involved.

Affiliated with

Also associated with

No associations

Rating

An interface group for process components 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 An interface group for process components, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An interface group for process components will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-134283