Sciweavers

1538 search results - page 128 / 308
» Business Process Modeling Notation
Sort
View
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 10 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
BTW
2005
Springer
177views Database» more  BTW 2005»
15 years 6 months ago
Composing Web Services Specifications: Experiences in Implementing Policy-Driven Transactional Processes
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
Stefan Tai
119
Voted
RULEML
2009
Springer
15 years 7 months ago
Correlating Business Events for Event-Triggered Rules
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
Josef Schiefer, Hannes Obweger, Martin Suntinger
90
Voted
WSC
2004
15 years 2 months ago
Simulating Availability Outlook for E-Commerce Business of Personal Computer Sales
For newly designed or transformed business processes, accurately predicting business performances such as costs and customer services before actual deployment is very important. W...
Young M. Lee
DATAMINE
2006
117views more  DATAMINE 2006»
15 years 24 days ago
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
Laura Maruster, A. J. M. M. Weijters, Wil M. P. va...