Sciweavers

1352 search results - page 101 / 271
» Business Process Modeling with SIMPROCESS
Sort
View
COORDINATION
2008
Springer
15 years 5 months ago
Formal Analysis of BPMN Via a Translation into COWS
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
Davide Prandi, Paola Quaglia, Nicola Zannone
ICWS
2010
IEEE
15 years 5 months ago
Extending BPMN for Supporting Customer-Facing Service Quality Requirements
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizati...
Kawther Saeedi, Liping Zhao, Pedro R. Falcone Samp...
164
Voted
CDVE
2007
Springer
218views Visualization» more  CDVE 2007»
15 years 10 months ago
Web-Based Engineering Portal for Collaborative Product Development
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
Shuangxi Huang, Yushun Fan
135
Voted
MKWI
2008
151views Business» more  MKWI 2008»
15 years 5 months ago
Towards A Formal Framework for Business Process Compliance
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
Kioumars Namiri, Nenad Stojanovic
BPM
2010
Springer
186views Business» more  BPM 2010»
15 years 5 months ago
How to Implement a Theory of Correctness in the Area of Business Processes and Services
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
Niels Lohmann, Karsten Wolf