Timed Automata Semantics for Visual e-Contracts

被引：3

作者：

Martinez, Enrique ^{[1
]}

Cambronero, M. Emilia ^{[1
]}

Diaz, Gregorio ^{[1
]}

Schneider, Gerardo ^{[2
,3
]}

机构：

[1] Univ Castilla La Mancha, Dept Comp Sci, Albacete, Spain

[2] Chalmers Univ Gothenburg, Dept Comp Sci & Engn, Oslo, Norway

[3] Univ Oslo, Dept Informat, Oslo, Norway

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2011年 / 68期

关键词：

D O I：

10.4204/EPTCS.68.3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as what are the penalties in case of not fulfillment of their obligations and prohibitions. In such diagrams we are also able to represent absolute and relative timing constraints. In this paper we present a formal semantics for C-O Diagrams based on timed automata extended with an ordering of states and edges in order to represent different deontic modalities.

引用

页码：7 / 21

页数：15

共 50 条

[1] Defeasible reasoning with e-contracts
Giannikis, Georgios K.
Daskalopulu, Aspassia
[J]. 2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2006, : 690 - +
[2] From contracts to e-contracts: Modeling and enactment
Krishna P.R.
Karlapalem K.
Dani A.R.
[J]. Information Technology and Management, 2005, 6 (4) : 363 - 387
[3] SAMPLED SEMANTICS OF TIMED AUTOMATA
Abdulla, Parosh Aziz
Krcal, Pavel
Yi, Wang
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03)
[4] Digital Platform Model For E-Contracts
Popescu, Mihai Valeriu
Simion, Petronela Cristina
Popescu, Mirona Ana Maria
Barbu, Andreea
Costea-Marcu, Iustina-Cristina
[J]. EDUCATION EXCELLENCE AND INNOVATION MANAGEMENT: A 2025 VISION TO SUSTAIN ECONOMIC DEVELOPMENT DURING GLOBAL CHALLENGES, 2020, : 11178 - 11183
[5] The representation of e-contracts as default theories
Giannikis, Georgios K.
Daskalopulu, Aspassia
[J]. NEW TRENDS IN APPLIED ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4570 : 963 - +
[6] Monitoring compliance with E-contracts and norms
Modgil, Sanjay
Oren, Nir
Faci, Noura
Meneguzzi, Felipe
Miles, Simon
Luck, Michael
[J]. ARTIFICIAL INTELLIGENCE AND LAW, 2015, 23 (02) : 161 - 196
[7] Towards formal modeling of e-contracts
Marjanovic, O
Milosevic, Z
[J]. FIFTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2001, : 59 - 68
[8] Timed automata: Semantics, algorithms and tools
Bengtsson, J
Yi, W
[J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 87 - 124
[9] Probabilistic and topological semantics for timed automata
Baier, Christel
Bertrand, Nathalie
Bouyer, Patricia
Brihaye, Thomas
Groesser, Marcus
[J]. FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 179 - +
[10] Timed Automata Semantics for Analyzing Creol
Jaghoori, Mohammad Mahdi
Chothia, Tom
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (30): : 108 - 122

← 1 2 3 4 5 →