Abstract—In this paper, we describe U-S and S-S variants of interactions for services defined for SMAL organization which are described using the web services ontologies. We identify that just by defining ontologies for U-S interfaces will not suffice for the system, rather we require a state-of-the-art ontologies for S-S interfaces too. The services ontologies are defined using WSML which is a standard defined by Web Services Modeling Ontologies (WSMO). The policy-based access control framework requirement of the system presented can be accomplished by deploying either XACML or SAML, or some other rule-based implementation of access control framework which has been defined as the future scope of our work. Further, by describing and identifying the problem, we move onto the later phases, i.e., formal specification, verification, and development for evaluating the system on defined parameters.
Index Terms—Semantic computing, semantic web services, WSML, WSMO.
A. Bhandari is with the Regional Institute of Management and Technology, Mandi Gobindgarh, India (e-mail: amitbhandari@ieee.org).
M. Singh is with Punajbi University State University, India (e-mail: msgujral@yahoo.com).
Cite: Amit Bhandari and Manpreet Singh, "Formal Description of Services Interfaces of SMAL Services in Services Computing Environment," International Journal of Information and Electronics Engineering vol. 2, no. 3, pp. 379-382, 2012.