156 search results - page 31 / 32 » A Formal Framework for Web Services Coordination |
AGTIVE
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
IIWAS
2008
13 years 8 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
CIKM
2010
Springer
13 years 5 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
WWW
2002
ACM
14 years 7 months ago
2002
ACM
Real-scale Semantic Web applications, such as Knowledge Portals and E-Marketplaces, require the managementof large volumes of metadata, i.e., information describing the available ...
PPDP
2010
Springer
13 years 4 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...