512 search results - page 28 / 103 » Structural Detection of Deadlocks in Business Process Models |
PROFES
2001
Springer
13 years 12 months ago
2001
Springer
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise and/or project we will usually integrate ...
DKE
2007
13 years 7 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
GI
2007
Springer
14 years 1 months ago
2007
Springer
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
SIGSAND
2008
13 years 9 months ago
2008
Abstract: Quality issues and their connection with structural aspects of process models have been recently studied, but there is still a notable lack of research into quality aspec...