Sciweavers

290 search results - page 3 / 58
» Using Formal Analysis Techniques in Business Process Redesig...
Sort
View
ENTCS
2006
146views more  ENTCS 2006»
13 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
AIME
2005
Springer
13 years 12 months ago
Which Kind of Knowledge Is Suitable for Redesigning Hospital Logistic Processes?
A knowledge management perspective is rarely used to model a process. Using the cognitive perspective on knowledge management in which we start our analysis with events and knowled...
Laura Maruster, René J. Jorna
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 16 days ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
WCRE
1999
IEEE
13 years 10 months ago
Partial Redesign of Java Software Systems Based on Clone Analysis
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
Magdalena Balazinska, Ettore Merlo, Michel Dagenai...
ECWEB
2004
Springer
177views ECommerce» more  ECWEB 2004»
13 years 11 months ago
Analysis of Mobile Business Processes for the Design of Mobile Information Systems
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
André Köhler, Volker Gruhn