Specification and Verification of Uplink Framework for Application of Software Engineering Using RM-ODP
An Architectural Framework for Wireless Mobile has been proposed. This Architectural Framework will allow Uplink to be used in any wireless environment, as required, to provide any type of services demanded by the user regardless whether the uplink is a stand alone, a pure Wireless sensor network or integrated with other networks. In this paper, the authors have presented their contribution to the RMODP standard-related research. This contribution resolves an important problem of the RM-ODP standard: the absence of a single consistent formalization of the RM-ODP conceptual framework. A realization of such formalization was officially verified.