Synthesising implicit contracts
In regulated interactive systems, one party's behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overre...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2013
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04310caa a22005177a 4500 | ||
|---|---|---|---|
| 001 | PAPER-11275 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204124.0 | ||
| 008 | 190411s2013 xx ||||fo|||| 10| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-84883505805 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 030 | |a 85OAA | ||
| 100 | 1 | |a Pace, G.J. | |
| 245 | 1 | 0 | |a Synthesising implicit contracts |
| 260 | |c 2013 | ||
| 270 | 1 | 0 | |m Departament of Computer Science, University of MaltaMalta |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Arnold, A., Nivat's processes and their synchronization (2002) Theor. Comput. Sci., 281, pp. 31-36. , June | ||
| 504 | |a Bravetti, M., Zavattaro, G., Contract based multi-party service composition (2007) International Symposium on Fundamentals of Software Engineering, pp. 207-222. , Springer | ||
| 504 | |a Dignum, F., Autonomous agents with norms (1999) Artificial Intelligence and Law, 7 (1), pp. 69-79 | ||
| 504 | |a Governatori, G., Milosevic, Z., Dealing with contract violations: Formalism and domain specific language (2005) EDOC Enterprise Computing Conference, 2005 Ninth IEEE International, pp. 46-57. , IEEE | ||
| 504 | |a Marjanovic, O., Milosevic, Z., Towards formal modeling of e-contracts (2001) Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, EDOC '01, p. 59. , Washington, DC, USA IEEE Computer Society | ||
| 504 | |a Pace, G., Schapachnik, F., Contracts for interacting two-party systems (2012) FLACOS 2012: Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, , sep | ||
| 504 | |a Pnueli, A., Asarin, E., Maler, O., Sifakis, J., Controller synthesis for timed automata (1998) Proc. System Structure and Control, , Elsevier. Citeseer | ||
| 504 | |a Salcianu, A., Rinard, M., Pointer and escape analysis for multithreaded programs (2001) ACM SIGPLAN Notices, 36, pp. 12-23. , ACM | ||
| 504 | |a Van Der Aalst, W.M., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K., From public views to private views-correctness-by-design for services (2008) Web Services and Formal Methods, pp. 139-153. , SpringerA4 - International Association for Artificial Intelligence and Law; ITTIG Consiglio Nazionale delle Ricerche; Artificial Intelligence, Elsevier; e-Codex; OASIS; Springer | ||
| 520 | 3 | |a In regulated interactive systems, one party's behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overregulate one of the parties. In this paper we characterise such implicit contracts and present an algorithmic way of synthesising them using a formalism based on contract automata to regulate interactive action-based systems. |l eng | |
| 593 | |a Departament of Computer Science, University of Malta, Malta | ||
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a AUTOMATED LEGISLATIVE DRAFTING |
| 690 | 1 | 0 | |a CONTRACT SYNTHESIS |
| 690 | 1 | 0 | |a ACTION-BASED SYSTEMS |
| 690 | 1 | 0 | |a AUTOMATED LEGISLATIVE DRAFTING |
| 690 | 1 | 0 | |a INTERACTIVE SYSTEM |
| 690 | 1 | 0 | |a ARTIFICIAL INTELLIGENCE |
| 690 | 1 | 0 | |a AUTOMATA THEORY |
| 700 | 1 | |a Schapachnik, F. | |
| 711 | 2 | |c Rome |d 10 June 2013 through 14 June 2013 |g Código de la conferencia: 99173 | |
| 773 | 0 | |d 2013 |h pp. 217-221 |p Proc Int Conf Artif Intell Law |n Proceedings of the International Conference on Artificial Intelligence and Law |z 9781450320801 |t 14th International Conference on Artificial Intelligence and Law, ICAIL 2013 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84883505805&doi=10.1145%2f2514601.2514630&partnerID=40&md5=b926bdd74301b4229b22b84c25cccb94 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1145/2514601.2514630 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_97814503_v_n_p217_Pace |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p217_Pace |y Registro en la Biblioteca Digital |
| 961 | |a paper_97814503_v_n_p217_Pace |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/conferenceObject |a info:ar-repo/semantics/documento de conferencia |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 72228 | ||