Sciweavers

19936 search results - page 356 / 3988
» Inductive process modeling
Sort
View
ROOM
2000
15 years 8 months ago
An Overview of The Mensurae Language: Specifying Business Processes
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
T. S. E. Maibaum
WECWIS
2006
IEEE
129views ECommerce» more  WECWIS 2006»
16 years 23 days ago
Probing and Monitoring of WSBPEL Processes with Web Services
Today’s business climate requires organizations to constantly evolve IT strategies to respond to new opportunities or threats. Tracking the achievement of business goals, object...
Heinz Roth, Josef Schiefer, Alexander Schatten
ICDT
2007
ACM
143views Database» more  ICDT 2007»
16 years 27 days ago
Database Query Processing Using Finite Cursor Machines
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole...
COMPSAC
2002
IEEE
15 years 11 months ago
A Unified Process Support Framework for Global Software Development
There is an increasing trend in global software development, where different parts of a software product are being developed in different organisations. The process aspect of such...
Jin Sa, Elena Maslova
SAC
2005
ACM
16 years 9 days ago
Value-oriented design of service coordination processes: correctness and trust
The rapid growth of service coordination languages creates a need for methodological support for coordination design. Coordination design differs from workflow design because a ...
Roel Wieringa, Jaap Gordijn