50 search results - page 4 / 10 » Abstract specification of legal contracts |
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
IEEESCC
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
CLIMA
2004
13 years 8 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
FMCO
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
DALT
2006
Springer
13 years 11 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...