A Components Model based on Interaction-Nets

摘要

Large systems have inherent complexity related to their control that makes it necessary to have a component-based approach that allows us to apply the divide and conquer principles. We propose a model and a language for modelling event-based interactions among components. We see a system as a collection of components where each one is an aggregation of objects, and possibly other components, that are coordinated by Interaction-Nets.