Академический Документы
Профессиональный Документы
Культура Документы
Tutorial
Presenters
• Sami Bhiri (NUIG - DERI Galway, at BPM 2008
Ireland)
• Sebastian Stein (IDS Scheer, Milan, Italy
Germany)
September 1st, 2008
• Barry Norton (Open University, UK)
• Marin Dimitrov (Ontotext, Bulgaria)
Acknowledgement & Copyrights
• Material Preparation
– KMI: John Domingue, Barry Norton
– Poznan University: Agata Filipowska
– IAAS, University of Stuttgart: Dimka Karastoyanova, Jörg Nitzsche, Tammo van
Lessen, Zhilei Ma, Frank Leymann
– IDS Scheer: Sebastian Stein
– DERI Austria: Dumitru Roman, Michael Stollberg
– DERI Galway: Maciej Zaremba, Sami Bhiri, Armin Haller
– Ontotext: Marin Dimitrov
5. SUPER Demonstration
5. SUPER Demonstration
Office Automation
(since 1980)
SOA CSCW / Groupware /
(since 2000) Workgroup Systems
• model of an enterprise
– internal enterprise architecture
– internal requirements
– interfaces
– business processes
– external integration
– external requirements
– ...
• model is an abstraction of reality
Content
Load Content Ready for
Download
SYS
Content
Load Content Ready for
Download
SYS
Customer License
Content
Load Content Ready for
Download
SYS
Customer License
License
Service
Content
Library
Service
Sales
Customer License
Department
License
Service
Content
IT Department Library IT Department
Service
too complex
1. Plan
2. Do
3. Check
4. Act
Business
cost control and Process enterprise architecture
management (e.g. Zachman)
Management
(BPM)
corporate performance
management
5. SUPER Demonstration
IT Implementation Perspective
• BPM only incorporates
three dimensions
what?
– Control Flow
– Informational
A2 A3
– Operational
A1
A4
A5
• Web services are the only
operational entity
• Drawback: no
(what) with? organisational dimension
– But efforts exist:
BPEL4People
• BPM language/model
• Language to specify behaviour of business processes
• Executable and Abstract processes
– Executable processes
– Executed within a compliant environment (portability)
– Abstract processes
– Specify constraints of message exchange
– Provide “views” on internal processes
• Combination of graph‐based language (IBM WSFL) and
calculus‐based language (Microsoft XLANG)
• BPEL process composes (uses) Web services
• BPEL Process is also a Web service
– functionality in terms of WSDL port types and operations
BPEL Process
• Partner Links specify
– roles of all external partners
Partner Links
– role(s) of the process itself
• Variables
Variables
– used as input‐ and output‐
containers of activities
• Correlation Sets
Correlation Sets – Maintains the state of a
conversation (instance)
• Handlers
Handlers – define exception handling and
compensation
• Activities
Activities – define the actual control logic
role 1 role 2
name
Port Port
Type In - & In-out Type
operations only
• partnerLinkType is:
– Bi‐directional typed connector
– A mutual call‐back dependency
– Specifies one or two roles; a port type per role
– Specifies the messages exchanged between partners
• Elements:
– Interaction activities
• Receive, Reply, Invoke, Pick
– Complex activities for control flow
• Sequence, Flow, If, While, RepeatUntil, ForEach
– Data manipulation
• Assign
– Exception handling
• Throw, Rethrow, Fault Handlers, Compensation Handlers
– Reaction to Events
• Pick, Event Handlers
• Instantiation is implicit –use <receive> or <pick>
• Sequential execution Æ sequence
• Parallel execution of tasks Æ Flow, links
• Branching Æ if then else
• Loops Æ while, repeat until
Link Activity
Process Engine
Deployment
Component
Navigator
Build Time Data
Monitoring
(Process models)
API
Instance Data
(Process Instances) Event Manager
Execution Communication
History Manager
Receive*
Process
Instantiation
ment Framework
Process ...
Deployment
Definition
BPEL Engine
5. SUPER Demonstration
Barry Norton
Semantics for the WWW
Static
WWW Semantic Web
URI, HTML, HTTP RDF, RDF(S), OWL
• next generation of the Internet (augmentation of the WWW)
• information has machine‐processable and machine‐understandable
semantics
• ontologies as base technology for semantic interoperability
semantic bridges
formal, explicit specification of a shared conceptualization
commonly accepted
machine-readability
understanding
with computational
semantics
name email
• Web Service = program accessible over the Web
• Service‐Oriented Architecture (SOA):
– use Web services as basic building blocks
– dynamically find & invoke those Web services
that allow to solve a particular request
• Web Service Technologies:
1. WSDL Web Service Description Language
2. SOAP XML data exchange protocol for the Web
3. UDDI registry for Web Services
points to
Repository WSDL
Web
Consumer SOAP
Service
WS usage via message exchange
• current technologies allow usage of Web Services
• but:
– only syntactical information descriptions
– syntactic support for discovery, composition and execution
=> Web Service usability, usage, and integration needs to be inspected
manually
– no semantically marked up content / services
– no support for the Semantic Web
=> initial Web Service Technology Stack failed to
realize the SOA Vision
• automate Web Service technologies by
1. rich, formal annotation of Web Services
2. automated detection and execution of Web services
• integration with the Semantic Web
– ontologies as data model
– Web Services as integral part of the WWW
• inference‐based techniques for automated
discovery, composition, mediation, execution of
Web Services
Non-functional Functionality
Interface
WS
Interface Aggregation
XML
• Comprehensive Framework for SESA
Semantically Enabled Service‐Oriented Architecture
– top level notions = SESA core elements
– conceptual model + axiomatization
– ontology & rule language
• International Consortium (mostly European)
– started in 2004
– 78 members from 20 organizations
– W3C member submission in April 2005
www.wsmo.org
(http://www.wsmo.org)
Objectives that a client may have
when consulting a Web Service
• Ontologies are the ‘data model’ throughout WSMO
– all WSMO element descriptions rely on ontologies
– all data interchanged in Web Service usage are ontologies
– Semantic information processing & ontology reasoning
• WSMO Ontology Language WSML
– conceptual syntax for describing WSMO elements
– logical language for axiomatic expressions (WSML Layering)
• WSMO Ontology Design
– Modularization: import / re‐using ontologies, modular approach
for ontology design
– De‐Coupling: heterogeneity handled by OO Mediators
• Non functional properties author, date, ID, etc.
• Imported Ontologies importing existing ontologies
where no heterogeneities arise
• Used mediators OO Mediators (ontology import with
terminology mismatch handling)
Ontology Elements:
Concepts set of entities that exists in the world / domain
Attributes set of attributes that belong to a concept
Relations define interrelations between several concepts
Functions special type of relation (unary range = return value)
Instances set of instances that belong to the represented ontology
Axioms axiomatic expressions in ontology (logical statement)
• Languages for dynamics
– Transaction Logic over ASMs WSML Full
• Mapping languages WSML Rule WSML DL
– for dynamics (process mediation) WSML Core
– for data (data mediation) RDF (S)
XML
Unicode URI
client-service realization of
interaction interface functionality by
for consuming WS Web Service WS
aggregation
- external visible Implementation - functional
WS
behavior (not of interest in Web decomposition
Service Description)
- communication WS
- WS composition
structure
- ‘grounding’
Interface Orchestration
Client
objective / problem to be solved
Start
client-system interaction
Goals
formal objective description
discovery, composition, mediation Web
Service
Client-Side Service-Side
behavioral
instantiates
(Web) Service
Client Implementation
defines Goal Instance (not of interest here)
concrete input
service usage
Goal Mediator
DB
client interface
Ticketing
buy train ticket in Germany
- origion: o, destination: d
- date-time: dt
design time
instantiates runtime
goal instance with inputs:
o = Munich, d = Berlin executes
dt = 20070319-1030
defines
Client
• Discovery
find candidate WS to solve a Goal
• Selection & Ranking
select best candidate / determine a priority list
• Composition
combine several WS to solve a Goal
• Behavioral Compatibility
ensure that interaction can take place
• Mediation
resolve & handle possibly occurring heterogeneities
• Execution
automatically invoke & consume WS to solve a Goal
© SUPER 29.09.2008 SUPERBPM 2008, Milan, Italy 67
Automated Goal Solving with SWS
if: successful
GOAL
else:
submission not solvable
matchmaking
else: try other WS uses R with all WS
Discoverer
if: composition possible
Data if: usable
Mediator
Selection & uses Composer
Ranking
Service
Repository
Process uses Behavioral composition
Mediator Conformance (executable)
if: compatible
information lookup
for particular service
Executor
if: execution
error
WSMX ‐ The Web Service Execution Environment
• A Service Oriented Architecture
• Reference implementation of SESA and WSMO
• open source (LGPL): http://sourceforge.net/projects/wsmx/
• Middleware for Semantic Web Services
– Allow service providers focus on their business
• Environment for goal‐based Web service usage
– Run‐time binding of service requester and provider
• Flexible Service Oriented Architecture
– Add, update, remove components at run‐time as needed
• Open‐source to encourage participation
– Developers are free to use in their own code
• Formal execution semantics
– Unambiguous model of system behaviour
• WSML (Specification Language) www.wsmo.org/wsml
– conceptual language for WSMO
– ontology language with several variants
• WSMO Editors:
– WSML editors + validation
– WSMO Studio
– WSMO Visualizer
• Ontology Technology:
– WSML Reasoner (for DL and LP)
– Ontology Management Suite
– Data Mediator (incl. Abstract Mapping Language)
all: Eclipse plugins & open source (LGPL licence)
5. SUPER Demonstration
Sami Bhiri
The Critical IT / Process Divide
Booking
Receipt
Visualizing\specifying business process Business Scenario Maps
Service booking
Check
Call
Flight data booking Mrs. Miller
center
Booking
request
checked
Service
Booking
request
Alternative
flight Service
Usually multiple layers Flowchart techniques
offer
Flight
disposition
Mrs. Walker
Create
flight
booking
Client data
Offer
alternative
flight
Mr. Green
Flight
disposition
BPMN
Service
Plane
ticket
Flight
booking
created
Alternative
flight
offered
...
Focus: Implementation
<invoke name="Invoke_Update_Provisioning_Systems_Subprocess"/>
<invoke name="Invoke_CustomerReply_Confirmation_Note"/>
</flow>
</case>
<otherwise>
<invoke name="Invoke_CustomerReply_Rejection_Note"/>
</otherwise>
</switch>
Which component is called when, how, by
<reply name="Final_Reply"/>
</sequence>
</process> whom with which data?
Semantic Semantic
Business Process Business Process
Analysis Modelling
Semantic Semantic
Business Process Business Process
Execution Configuration
Ontological Foundation
SBP Modelling
Text
Business Process
Modelling
Text
5. SUPER Demonstration
Barry Norton
SUPER ontologies
Domain ontologies
Pre-existing ontologies
Imports Upper-Level Process
WSMO Ontology
Maps to Ontology (UPO)
Translates to
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
• Takes the Business Process Execution Language
(BPEL 2.0) as a basis
• Extends BPEL to support SWS concepts
– Ontological concepts as data model
– Logical expressions in conditions
– Capability based invocation via WSMO Goals
– Mediators to perform data transformation within a
process
• Can be serialized to BPEL4SWS (XML) to be executed
in extended BPEL engines
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
Business
Domain
Ontologies
Business Process
Modelling sBPEL Ontology
Ontology (BPMO)
Behavioural
Reasoning
Ontology
5. SUPER Demonstration
Sami Bhiri
Architecture: Structural Overview
Semantic
Semantic Monitoring &
BPEL Modelling
Execution Management Analysis Tool
Execution Tool
Environment Tool
Engine
Event Sink
Protocol Binder
SUPER Repositories
SBP Reasoner Transformation
Semantic
Semantic Monitoring &
BPEL Modelling
Execution Management Analysis Tool
Execution Tool
Environment Tool
Engine
Event Sink
Protocol Binder
SUPER Repositories
SBP Reasoner Transformation
Semantic
Semantic Monitoring &
BPEL Modelling
Execution Management Analysis Tool
Execution Tool
Environment Tool
Engine
Event Sink
Protocol Binder
SUPER Repositories
SBP Reasoner Transformation
Semantic
Semantic Monitoring &
BPEL Modelling
Execution Management Analysis Tool
Execution Tool
Environment Tool
Engine
Event Sink
Protocol Binder
SUPER Repositories
SBP Reasoner Transformation
Semantic
Semantic Monitoring &
BPEL Modelling
Execution Management Analysis Tool
Execution Tool
Environment Tool
Engine
Event Sink
Protocol Binder
SUPER Repositories
SBP Reasoner Transformation
Semantic
Semantic Monitoring &
BPEL Modelling
Execution Management Analysis Tool
Execution Tool
Environment Tool
Engine
Event Sink
Protocol Binder
SUPER Repositories
SBP Reasoner Transformation
BPEL4SWS
WSDL
WSMO
Semantic Process
WSDL
Artefacts Bundle
(SPAB) WSMO Mediators
WSMO
Goals
Deployment
descriptor
SUPER Execution
Semantic
Semantic
BPEL Modelling
SPAB
Execution
Execution Tool
Environment
Engine
Semantic Web
Business Execution
Services
Process Library History
Repository
SUPER Repositories
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine
Event Sink
Protocol Binder
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine
Event Sink
2 Discover and
Select Service
Protocol Binder
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine
Event Sink
2 Discover and
Select Service
Protocol Binder
3 Mediate
Data
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine
Event Sink
2 Discover and 4 Invoke Service
Select Service
Protocol Binder
3 Mediate
Data
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine
Event Sink
2 Discover and 4 Invoke Service
Select Service
Protocol Binder
3/5 Mediate
Data
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine
6 Return Result
Event Sink
2 Discover and 4 Invoke Service
Select Service
Protocol Binder
3/5 Mediate
Data
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
Semantic
Semantic
BPEL Web
Execution
Execution Service
Environment
Engine Generate Events
6 Return Result
Event Sink
2 Discover and 4 Invoke Service
Select Service
Protocol Binder
3/5 Mediate
Data
Semantic Web
Business Execution
Services
Process Library History
Repository
Data Mediation
SUPER Repositories
SBP Reasoner
5. SUPER Demonstration
Martin Dimitrov
References
References BPM Foundations
[Herzum and Sims 2000] Herzum, P.; Sims, O. (2000): Business Component Factory. John Wiley
& Sons.
[McGovern et al. 2006] McGovern, J.; Sims, O.; Jain, A.; Little, M. (2006): Enterprise Service
Oriented Architectures. Springer, Dordrecht, Netherlands.
[Scheer et al. 2005] Scheer, A.-W.; Thomas, O.; Adam, O. (2005): Process modelling using
event-driven process chains. In: Dumas, M.; van der Aalst, W. M. P.; ter Hofstede, A. H. M.
(Eds.): Process-Aware Information Systems. Wiley, Hoboken, New Jersey, USA, pp. 119–146.
[Smith and Fingar 2003] Smith, H.; Fingar, P. (2003): Business Process Management: The Third
Wave. Meghan-Kiffer Press, Tampa, FL, USA, 1st edition.
[Specht et al, 2005] T. Specht, J. Drawehn, M. Thränert, and S. Kühne. Modeling cooperative
business processes and transformation to a service oriented architecture. In 7th International
IEEE Conference on E-Commerce Technology, 2005.
[Teboul 2006] Teboul, J. (2006): Service Is Front Stage: Positioning Services for Value
Advantage. Palgrave Macmillan, New York, USA.
[BEPL 1.1] Andrews, T.; Curbera, F.; Dholakia, H.; Goland, Y.; Klein, J.; Leymann, F.; Liu, K.; Roller, D.; Smith,
D.; Thatte, S.; Trickovic, I.; Weerawarana S.: Business Process Execution Language for Web Services
(BPEL4WS) 1.1. Technical Report, OASIS, 2003.
[OASIS SOA] MacKenzie, C. M.; Laskey, K.; McCabe, F.; Brown, P. F.; Metz, R. : Reference Model for Service
Oriented Architecture 1.0. Technical Report, OASIS. 2006.
[Aalst et al., 2003] Wil M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros: Workflow
Patterns. In Distributed and Parallel Databases, 14(3):5–51, July 2003.
[Mendling and Nüttgens, 2006] J. Mendling and M. Nüttgens. EPC Markup Language (EPML) - an xml-based
interchange format for event-driven process chains (EPC). In International Journal Information Systems and e-
Business Management (ISeB), 4(3):245–263, July 2006.
[Wohed et al, 2002] P. Wohed, Wil M. P. van der Aalst, M. Dumas, and A. H. M. ter Hofstede. Pattern-based
analysis of BPEL4WS. Technical Report FIT-TR-2002-04, Queensland University of Technology, Brisbane,
Australia, 2002.
[Kopp et al, 2006] Oliver Kopp, Tobias Unger, and Frank Leymann. Nautilus event-driven process chains: Syntax,
semantics, and their mapping to bpel. In Proceedings of the 5th GI Workshop on Event-Driven Process
Chains (EPK 2006), pages 85–104, Vienna, Austria, 2006.
[Manddell and McIllraith, 2003] Daniel J. Mandell and Sheila A. McIlraith. Adapting BPEL4WS for the Semantic
Web: The Bottom-Up Approach to Web Service Interoperation. In Proceedings of the Second International
Semantic Web Conference (ISWC2003),
[Alonso et al., 2004] Alonso, G., Casati, F., Kuno, H., and Machiraju, V. (2004). Web Services: Concepts,
Architectures and Applications. Data-Centric Systems and Applications. Springer, Berlin, Heidelberg.
[Berners-Lee, 1999] Berners-Lee, T. (1999). Weaving the Web. Harper, San Francisco, USA.
[Berners-Lee et al., 2001] Berners-Lee, T., Hendler, J., and Lassila, O. (2001). The Semantic Web. Scientific
American, 284(5):34-43.
[Bussler, 2003] Bussler, C. (2003). B2B Integration: Concepts and Architecture. Springer, Berlin, Heidelberg.
[Fensel, 2003] Fensel, D. (2003). Ontologies: A Silver Bullet for Knowledge Management and E-Commerce.
Springer, Berlin, Heidelberg, 2 edition.
[Fensel et al., 2006] Fensel, D. et al: Enabling Semantic Web Services. The Web Service Modeling Ontology
WSMO. Springer, Berlin, Heidelberg, 2006.
[Goméz-Pérez et al., 2003] Goméz-Pérez, A., Corcho, O., and Fernandez-Lopez, M. (2003). Ontological
Engineering. With Examples from the Areas of Knowledge Management, E-Commerce and Semantic Web.
Series of Advanced Information and Knowledge Processing. Springer, Berlin, Heidelberg.
[Gruber, 1993] Gruber, T. R. (1993). A translation approach to portable ontology specifications. Knowledge
Acquisition, 5:199-220.
[de Bruijn et al., 2006] de Bruijn, J., Fensel, D., Lausen, H., Polleres, A., Roman, D., and Stollberg, M. (2006).
Enabling Semantic Web Services. The Web Service Modeling Ontology. Springer.
[Fensel and Bussler, 2002] Fensel, D. and Bussler, C. (2002). The Web Service Modeling Framework WSMF.
Electronic Commerce Research and Applications, 1(2).
[McIlraith et al., 2001] McIlraith, S., Cao Son, T., and Zeng, H. (2001). Semantic Web Services. IEEE Intelligent
Systems, Special Issue on the Semantic Web, 16(2):46-53.
[Preist, 2004] Preist, C. (2004). A Conceptual Architecture for Semantic Web Services. In Proc. of the Int.
Semantic Web Conf. (ISWC 2004).
[Roman et al., 2005] Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier,
C., Bussler, C., and Fensel, D. (2005). Web Service Modeling Ontology. Applied Ontology, 1(1):77-106.
[Stollberg et al., 2006] Stollberg, M., Feier, C., Roman, D., and Fensel, D. (2006). Semantic Web Services -
Concepts and Technology. In Ide, N., Cristea, D., and Tufis, D. (editors), Language Technology, Ontologies,
and the Semantic Web. Kluwer Publishers.
[Sycara et al. 2003] Katia Sycara, Massimo Paolucci, Anupriya Ankolekar and Naveen Srinivasan, "Automated
Discovery, Interaction and Composition of Semantic Web services," Journal of Web Semantics, Volume 1,
Issue 1, September 2003, pp. 27-46
OWL-S
[Martin, 2004] Martin, D. (2004). OWL-S: Semantic Markup for Web Services. W3C Member
Submission 22 November 2004. online: http://www.w3.org/Submission/OWL-S/.
SWSF
[Battle et al., 2005] Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer,
M., D., M., S., M., McGuinness, D., Su, J., and Tabet, S. (2005). Semantic Web Services
Framework (SWSF). W3C Member Submission 9 September 2005. online:
http://www.w3.org/Submission/SWSF/.
WSDL-S
[Akkiraju et al., 2005] Akkiraju, R., Farrell, J., Miller, J., Nagarajan, M., Schmidt, M.- T., Sheth, A.,
and Verma, K. (2005). Web Service Semantics - WSDL-S. W3C Member Submission 7
November 2005. online: http://www.w3.org/Submission/WSDL-S/.
Stollberg, M. Stollberg, M.; Keller, U.; Lausen, H. and Heymans, S.: Two-phase Web Service
Discovery based on Rich Functional Descriptions. In Proc. of the 4th European Semantic
Web Conference (ESWC 2007), Innsbruck, Austria.
B. Benatallah, M. Hacid, C. Rey, F. Toumani Towards Semantic Reasoning for Web Services
Discovery,. In Proc. of the International Semantic Web Conference (ISWC 2003), 2003
Keller, U.; Lara, R.; Lausen, H.; Polleres, A.; Fensel, D.: Automatic Location of Services. In
Proc. of the 2nd European Semantic Web Symposium (ESWS2005), Heraklion, Crete, 2005.
M. Kifer, R. Lara, A. Polleres, C. Zhao, U. Keller, H. Lausen and D. Fensel: A Logical
Framework for Web Service Discovery. Proc. 1st. Intl. Workshop SWS'2004 at ISWC
2004,Hiroshima, Japan, November 8, 2004, CEUR Workshop Proceedings, ISSN 1613-0073
Lei Li and Ian Horrocks. A software framework for matchmaking based on semantic web
technology. In Proc. of the Twelfth International World Wide Web Conference (WWW 2003),
2003.
Massimo Paolucci, Takahiro Kawamura, Terry R. Payne, Katia Sycara; Semantic Matching of
Web Services Capabilities. In Proceedings of the 1st International Semantic Web
Conference (ISWC2002), 2002
Preist, C.: A Conceptual Architecture for Semantic Web Services. In Proceedings of the 3rd
International Semantic Web Conference (ISWC 2004), 2004, pp. 395 - 409.
[Berardi et al., 2003] Berardi, D., Calvanese, D., Giacomo, G. D., Lenzerini, M., and Mecella, M.
(2003). Automatic Composition of e-Services that Export their Behavior. In Proc. of First Int.
Conference on Service Oriented Computing (ICSOC).
[Martens, 2003] Martens, A. (2003). On Compatibility of Web Services. Petri Net Newletter, 65:12-
20.
[Sirin et al., 2004] Sirin, E., Parsia, B., Wu, D., Hendler, J., and Nau, D. (2004). HTN Planning for
Web Service Composition Using SHOP2. Journal of Web Semantics, 1(4):377-396.
[Pistore and Traverso, 2006] Pistore, M. and Traverso, P. (2006). Theoretical Integration of
Discovery and Composition. Deliverable D2.4.6, Knowledge Web.
[Stollberg, 2005] Stollberg, M. (2005). Reasoning Tasks and Mediation on Choreography and
Orchestration in WSMO. In Proceedings of the 2nd International WSMO Implementation
Workshop (WIW 2005), Innsbruck, Austria.
[Traverso and Pistore, 2004] Traverso, P. and Pistore, M. (2004). Automatic Composition of
Semantic Web Services into Executable Processes. In Proc. 3rd International Semantic Web
Conference (ISWC 2004), Hiroshima, Japan.
[Cimpian and Mocan, 2005] Cimpian, E. and Mocan, A. (2005). WSMX Process Mediation Based
on Choreographies. In Proceedings of the 1st International Workshop on Web Service
Choreography and Orchestration for Business Process Management at the BPM 2005, Nancy,
France.
[Mocan (ed.), 2005] Mocan (ed.), A. (2005). WSMX Data Mediation. WSMX Working Draft D13.3.
available at: http://www.wsmo.org/TR/d13/d13.3/v0.2/.
[Mocan et al., 2005] Mocan, A., Cimpian, E., Stollberg, M., Scharffe, F., and Scicluna, J. (2005).
WSMO Mediators. WSMO deliverable D29 ¯nal draft 21 Dec 2005. available at:
http://www.wsmo.org/TR/d29/.
[Scharffe and de Bruijn, 2005] Scharffe, F. and de Bruijn, J. (2005). A language to specify
mappings between ontologies. In Proc. of the Internet Based Systems IEEE Conference
(SITIS05).
[Stollberg et al., 2006] Stollberg, M., Cimpian, E., Mocan, A., and Fensel, D. (2006). A Semantic
Web Mediation Architecture. In Proceedings of the 1st Canadian Semantic Web Working
Symposium (CSWWS 2006), Quebec, Canada.
[Wiederhold, 1994] Wiederhold, G. (1994). Mediators in the Architecture of the Future Information
Systems. Computer, 25(3):38-49.
• WSMO implementation
– WSMX working group : http://www.wsmx.org
– WSMX open source can be found at:
https://sourceforge.net/projects/wsmx/
J. Domingue, L. Cabral, F. Hakimpour, D. Sell and E. Motta: IRS-III: A Platform and Infrastructure
for Creating WSMO-based Semantic Web Services. Proceedings of the Workshop on WSMO
Implementations (WIW 2004) Frankfurt, Germany, September 29-30, 2004, CEUR Workshop
Proceedings, ISSN 1613-0073, online http://CEUR-WS.org/Vol-113/paper3.pdf.
Cabral, L., Domingue, J., Motta, E., Payne, T. and Hakimpour, F. (2004).
Approaches to Semantic Web Services: An Overview and Comparisons. In proceedings of the First
European Semantic Web Symposium (ESWS2004);
10-12 May 2004, Heraklion, Crete, Greece.
Motta, E., Domingue, J., Cabral, L. and Gaspari, M. (2003) IRS-II: A Framework and Infrastructure
for Semantic Web Services. In proceedings of the 2nd International Semantic Web Conference
(ISWC2003) 20-23 October 2003, Sundial Resort, Sanibel Island, Florida, USA.