Sciweavers

81 search results - page 1 / 17
» An Overview of The Mensurae Language: Specifying Business Pr...
Sort
View
ROOM
2000
13 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
EMISA
2005
Springer
14 years 29 days ago
A Domain Engineering Approach to Specifying and Applying Reference Models
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...
Iris Reinhartz-Berger, Pnina Soffer, Arnon Sturm
TOOLS
1999
IEEE
13 years 11 months ago
Events in Use Cases as a Basis for Identifying and Specifying Classes and Business Rules
Business rules are closely associated with events. This paper describes how events in use cases can be the basis for identifying classes and business rules. A process known as Eve...
Danny C. C. Poo
ICSOC
2004
Springer
14 years 24 days ago
Hybrid web service composition: business processes meet business rules
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
Anis Charfi, Mira Mezini
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
14 years 1 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai