The Z notation: a reference manual
The Z notation: a reference manual
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Modeling semantic web services: a case study
ICWE '06 Proceedings of the 6th international conference on Web engineering
Translating Ontologies from Predicate-based to Frame-based Languages
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Transformations between UML and OWL-S
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Hi-index | 0.00 |
Business process modelling and execution in a collaborative environment requires a set of methodologies and tools which support the transition from an analysis to an execution level. Integrating the process with a pre-existing IT infrastructure leads to typical interoperability problems. Service-oriented architectures are today’s favorite answer to solve these interoperability issues. To tackle them, the recent trend is to use the principles of model driven-design. In this paper, we apply these principles to Semantic Web service technology to assist a business orchestrator finding suitable services at design time, and composing workflows for agent-based execution. We describe a formal approach to preserve the content of the semantic annotations in the model and code transformations.