52 search results - page 5 / 11 » A Formal Analysis of a Business Contract Language |
EDOC
2002
IEEE
15 years 2 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
EDOC
2004
IEEE
15 years 1 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
70
Voted
UML
2005
Springer
15 years 3 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
IFIP
2009
Springer
14 years 7 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...