Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo-Reference-Cited by-同舟云学术

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo

Published:2020 Issue: Volume: Page:271-285
ISSN:0302-9743
Container-title:Conceptual Modeling
language:
Short-container-title:

Author:

Parvizimosaed Alireza^ORCID,Sharifi Sepehr^ORCID,Amyot Daniel^ORCID,Logrippo Luigi^ORCID,Mylopoulos John^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-62522-1_20

Reference16 articles.

1. Aldewereld, H., Dignum, V., Vasconcelos, W.W.: Group norms for multi-agent organisations. ACM Trans. Auton. Adapt. Syst. (TAAS) 11(2), 1–31 (2016)

2. Lecture Notes in Computer Science;R Cavada,2014

3. Chesani, F., Mello, P., Montali, M., Torroni, P.: Representing and monitoring social commitments using the event calculus. Auton. Agents Multi-Agent Syst. 27(1), 85–130 (2013)

4. Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, vol 2, pp. 937–944. FAAMAS (2009)

5. Dalpiaz, F., Cardoso, E., Canobbio, G., Giorgini, P., Mylopoulos, J.: Social specifications of business processes with Azzurra. In: 9th International Conference on Research Challenges in Information Science (RCIS), pp. 7–18. IEEE CS (2015)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SymboleoPC: checking properties of legal contracts;Software and Systems Modeling;2024-07-03

2. Automated generation of smart contract code from legal contract specifications with Symboleo2SC;Software and Systems Modeling;2024-06-29

3. Specification and analysis of legal contracts with Symboleo;Software and Systems Modeling;2022-10-28

4. Symboleo2SC;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23

5. Model-checking legal contracts with SymboleoPC;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23