Manufacturing services are basic building blocks for the agile collaborating business applications. It represents a new model in the utilization of the networked resources, by which self-contained, modular applications can be described, published, located and dynamically invoked in a programming language independent way. In this paper, a general formal model for manufacturing services is proposed by wrapping manufacturing resource into semantic web service. Thus resources sharing requirements are translated into service’s capacity requests. As the key part of manufacturing services, manufacturing capability profile is presented which has four particular attribute sets to represent the infomation what enterprises really care about. Finally, ontology specifications of manufacturing services are established by extending OWL-S, which provides a standard vocabulary to support in an unambiguous, computer-understandable form.
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
