Sciweavers

1352 search results - page 230 / 271
» Semantically-Aided Business Process Modeling
Sort
View
DKE
2010
112views more  DKE 2010»
14 years 9 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
TSMC
2008
110views more  TSMC 2008»
14 years 9 months ago
Bridging Global and Local Models of Service-Oriented Systems
Abstract-- A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Descriptio...
Johannes Maria Zaha, Marlon Dumas, Arthur H. M. te...
APN
2005
Springer
15 years 3 months ago
Can I Execute My Scenario in Your Net?
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
Gabriel Juhás, Robert Lorenz, Jörg Des...
APN
2006
Springer
15 years 1 months ago
Can I Execute My Scenario in Your Net? VipTool Tells You!
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
Robin Bergenthum, Jörg Desel, Gabriel Juh&aac...
CAISE
2004
Springer
15 years 1 months ago
Enhancing Application Interoperability and Enabling B2B Transactions over the Internet for Small and Medium Enterprises: The PRA
Abstract. The paper presents an approach towards executing transactions between enterprises, governmental bodies and banking institutions, based on ERP applications connected over ...
Yannis Charalabidis, Stelios Pantelopoulos