WSMO-PA: Formal Specification of Public Administration Service Model on Semantic Web Service Ontology

In this paper we define a formal model for a public administration service on the basis of the Web service modeling ontology (WSMO). For this purpose we employ the generic public service object model of the governance enterprise architecture (GEA) providing a PA domain specific semantics. We investigate conceptual mappings between PA entities and WSMO elements, and on the real-world use case present the detailed formal PA service model based on the WSMO service model