UML4ODP: OCL 2.0 Constraints Specification & UML Modeling of Interfaces in the Computational Metamodel
This paper is to analysis of computational language concepts and introduction of novel pertinent ones in order to provide a new computational meta-model of interaction signatures in UML4ODP FDIS. The authors mainly introduce the concept of Functional computational interface which unify signal and operation interfaces notions. The unification of signal and operation interactions concepts is presented by introducing the Parameterized interaction concept. They show that parameterized interactions are of two main kinds; namely, primitives and compounds. They also introduce the notion of incoming and outgoing primitives.