52 search results - page 1 / 11 » A Formal Analysis of a Business Contract Language |
IJCIS
2006
13 years 11 months ago
2006
ATAL
2008
Springer
14 years 27 days ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
WETICE
2005
IEEE
14 years 4 months ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
BPM
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...