Sciweavers

1352 search results - page 159 / 271
» Semantically-Aided Business Process Modeling
Sort
View
SIGECOM
2003
ACM
174views ECommerce» more  SIGECOM 2003»
15 years 10 months ago
Collaboration software to reduce inventory and increase response
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
Indu Bingham, Barbara Hoefle, Kim Phan, Jim Sizemo...
WECWIS
2002
IEEE
124views ECommerce» more  WECWIS 2002»
15 years 10 months ago
Flexible Inter-Enterprise Workflow Management using E-Services
This paper presents a solution to achieve dynamic Inter-enterprise workflow management using the eservices provided by collaborative e-business enterprises. E-services are distrib...
Jie Meng, Raja Krithivasan, Stanley Y. W. Su, Abde...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 6 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
125
Voted
GI
2005
Springer
15 years 10 months ago
Modelling and Execution of Complex Semantic Transactions using WERIGO Metamodel
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
Alexander Tarabrin
161
Voted
ESEC
1995
Springer
15 years 8 months ago
Improvise: Interactive Multimedia Process Visualization Environment
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
Naser S. Barghouti, Eleftherios Koutsofios, Edith ...