Search For:

Displaying 1-13 out of 13 total
Flexible Construction of Complex Service Compositions from Reusable Semantic Knowledge
Found in: 2012 IEEE 19th International Conference on Web Services (ICWS)
By Rik Eshuis,Freddy Lecue,Nikolay Mehandjiev
Issue Date:June 2012
pp. 631-632
Most service composition approaches rely on top down decomposition of a problem and AI-style planning to assemble services into a meaningful whole, impeding reuse and flexibility. In contrast, our approach starts from declarative knowledge about the semant...
 
A Framework for Service Outsourcing Using Process Views
Found in: Enterprise Distributed Object Computing Conference, IEEE International
By Rik Eshuis, Alex Norta
Issue Date:October 2010
pp. 99-108
Service outsourcing is a business paradigm in which an organization has a part of its business process performed by a service provider. Process views are pivotal to support this way of working. A process view shields secret or irrelevant details from a pri...
 
Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report
Found in: Enabling Technologies, IEEE International Workshops on
By Rik Eshuis, Jan Mendling, Mirjam Minor, Barbara Weber
Issue Date:July 2009
pp. 219-220
The goal of the ProGility workshop is to bring together practitioners and researchers from different communities such as BPM, software engineering, service-oriented computing, artificial intelligence, and CSCW/Groupware who share an interest in flexibility...
 
Agile Cooperative Process-Aware Information Systems (ProGility 2008)
Found in: Enabling Technologies, IEEE International Workshops on
By Barbara Weber, Rik Eshuis, Jan Mendling, Mirjam Minor
Issue Date:June 2008
pp. 225-226
The goal of the ProGility workshop is to bring together practitioners and researchers from different communities such as BPM, software engineering, service-oriented computing, artificial intelligence, and CSCW/Groupware who share an interest in flexibility...
 
Structural Matching of BPEL Processes
Found in: Web Services, European Conference on
By Rik Eshuis, Paul Grefen
Issue Date:November 2007
pp. 171-180
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their services together, different BPEL processes need to be efficiently matched. This p...
 
ProGility Workshop Final Report
Found in: Enabling Technologies, IEEE International Workshops on
By Barbara Weber, Manfred Reichert, Rik Eshuis
Issue Date:June 2007
pp. 365-366
The goal of the ProGility workshop is to bring together practitioners and researchers from different communities who share an interest in agile cooperative process-aware information systems. The vision is to be able to rapidly im- plement new processes and...
 
PINCET - Process Integration of Collaborative Enterprises
Found in: Enabling Technologies, IEEE International Workshops on
By Rik Eshuis, Heiko Ludwig
Issue Date:June 2006
pp. 247-248
Enterprises more and more collaborate with other enterprises in networked organizations. Such collaborations require the business processes of the partner companies to be aligned and integrated with each other, both on a process and data level in a dynamic...
   
Tool Support for Verifying UML Activity Diagrams
Found in: IEEE Transactions on Software Engineering
By Rik Eshuis, Roel Wieringa
Issue Date:July 2004
pp. 437-447
<p><b>Abstract</b>—We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker according to a mathematical semantics...
 
Service Outsourcing with Process Views
Found in: IEEE Transactions on Services Computing
By Rik Eshuis,Alex Norta,Oliver Kopp,Esa Pitkanen
Issue Date:November 2013
pp. 1
Service outsourcing is a business paradigm in which an organization has a part of its business process performed by a service provider. Process views are pivotal to support this way of working. A process view shields secret or irrelevant details from a pri...
 
Verification Support for Workflow Design with UML Activity Graphs
Found in: Software Engineering, International Conference on
By Rik Eshuis, Roel Wieringa
Issue Date:May 2002
pp. 166
We describe a tool that supports verification of workflow models specified in UML activity graphs. The tool translates an activity graph into an input format for a model checker according to a semantics we published earlier. With the model checker arbitrar...
 
Constructing process views for service outsourcing
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By Alex Norta, Rik Eshuis
Issue Date:March 2009
pp. 1-5
Service outsourcing is a business paradigm in which an organization has a part of its business process performed by a service provider. The outsourced service can be specified in a public process view, which shields secret or irrelevant details from the in...
     
Symbolic model checking of UML activity diagrams
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Rik Eshuis
Issue Date:January 2006
pp. 1-38
Two translations from activity diagrams to the input language of NuSMV, a symbolic model verifier, are presented. Both translations map an activity diagram into a finite state machine and are inspired by existing statechart semantics. The requirements-leve...
     
Verification support for workflow design with UML activity graphs
Found in: Proceedings of the 24th international conference on Software engineering (ICSE '02)
By Rik Eshuis, Roel Wieringa
Issue Date:May 2002
pp. 166-176
We describe a tool that supports verification of workflow models specified in UML activity graphs. The tool translates an activity graph into an input format for a model checker according to a semantics we published earlier. With the model checker arbitrar...
     
 1