Year: 2012
Type: article
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.
Authors: Marián Jenčik, Daniel Mihályi
Institution: Technical University of Košice
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W2319894868