Type checking in open distributed systems: a complete model and its Z specification
ICODP/ICDP '97 Proceedings of the IFIP/IEEE international conference on Open distributed processing and distributed platforms
ODP enterprise viewpoint specification
Computer Standards & Interfaces
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Addressing Computational Viewpoint Design
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Modeling the ODP Computational Viewpoint with UML 2.0
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Specification of OCL constraints on ODP computational interfaces
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Interaction signatures and action templates in the ODP computational viewpoint
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Hi-index | 0.00 |
The purpose of this work is analysis of computational language concepts and introduction of novel pertinent ones in order to provide a new computational metamodel of interaction signatures in UML4ODP FDIS. we 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. We show that parameterized interactions are of two main kinds; namely, primitives and compounds. we also introduce the notion of incoming and outgoing primitives. As an application of our modeling choices we redefine interaction, refinement and type checking rules in a concise manner, and then specify them using the useful specification functionalities of OCL 2.0, showing how novel definitions as well as their specification are easy to read, write and understand.