1802 search results - page 4 / 361 » Using Declarative Specifications in Business Process Design |
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
IEEEARES
2007
IEEE
2007
IEEE
Using Privacy Process Patterns for Incorporating Privacy Requirements into the System Design Process
14 years 13 days ago
In the online world every person has to hold a number of different data sets so as to be able to have access to various e-services and take part in specific economical and social ...
ECOOPW
1998
Springer
13 years 10 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
IJCIS
2006
13 years 6 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
PADL
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...