Sciweavers

285 search results - page 3 / 57
» An Open Platform for Business Process Modeling and Verificat...
Sort
View
GLOBECOM
2008
IEEE
13 years 6 months ago
Personalized IPTV Services using Web-based Open Platform in NGN
—In this paper, we introduce the personalized Internet protocol television (IPTV) services for new business opportunities in next generation networks (NGN) and present the direct...
Gyu Myoung Lee, Jun Kyun Choi
SIGSAND
2008
13 years 7 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst
DPD
2010
105views more  DPD 2010»
13 years 5 months ago
Beyond soundness: on the verification of semantic business process models
Ingo Weber, Jörg Hoffmann, Jan Mendling
IFIP8
2007
13 years 7 months ago
A Hybrid Approach for Business Process Verification
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
Bing Li, Junichi Iijima