Program Components & Abstract Behavioral Types

Abstract

In this paper we deal with the construction of the component-based complex program system categorical model which will be used to behavioral description. The basis of the behavioral description of the component-based complex system and definition of the model is Abstract Behavioral Type (ABT) which yields behavior of the program component as maximal interactions among observable timed data streams. Program component is an independent entity, black-box, from which we can compose component-based complex program system and an interaction is in this case defined as a relation between observable program component input and output through component ports. Observable input and output is yielded as a pair of the infinite data stream and timed stream. Complexity of the system is given by number of ABTs where individual complex program system we can divide into two kinds of ABT types, namely component instance's ABT whose internal structure is unknown and connector's ABT whose internal structure is known and can be defined by user. Behavior of the whole complex system can be yielded as a conjunction of the ABTs.

Reowolf: Synchronous Multi-party Communication over the Internet

“…A program implicitly deals with protocols, and low-level concurrency code for synchronization is all over the place. Similar to ADTs is the idea of abstract behavior types [1,8]; programs can be written against an abstract interface that describes all possible behaviors a program could expect. Abstract behavior types are explicitly specified by the protocol description language that is based on Reo.…”