Profile of Andrea Omicini
Personal Information
- Andrea
- Omicini
- Alma Mater Studiorum – Università di Bologna
- Full Professor at the Alma Mater Studiorum. Working on coordination, agents, software engineering, intelligent systems, simulation, and self-organisation.
Contact Information
- andrea.omicini@ ------
- +39 0547 338875
- via Sacchi 3, Cesena, Italy
Activity stream of Andrea Omicini
15 Apr
-
En-It 15 Apr, 10:36
08 Apr
-
-
En-It 08 Apr, 16:34
04 Apr
-
Comparative Analysis of Blockchain Technologies under a Coordination Perspective 2 changes by one user 04 Apr, 18:45 ▼
-
Dear Andrea Omicini, We are pleased to inform you that your paper 107: “Comparative Analysis of BlockchainTechnologies under a Coordination Perspective” has been accepted in the workshops of PAAMS 2019 and will be included in the PAAMS 2019 proceedings - Volume 2 published by Springer CCIS. Please log-in into the EasyChair system using your User ID and Password: https://www.easychair.org/conferences?conf=paams19 If you do not have your user id and password but you remember the e-mail address you used for registration you can recover your password in https://www.easychair.org/account/problem.cgi?conf=paams19. Once logged, you will be able to see the reviews and details of the decision. You will also be able to obtain guidance on the required revisions you need to make. Please modify the paper following the guidance on the required revisions. Then, resubmit the paper before April 3rd, 2019. All papers must be formatted according to the LNCS-LNAI/CCIS template, with a maximum length of 10-12 pages, including figures and references. The paper template can be downloaded here: http://paams.net/submission. In the final version of your paper, please submit the PDF, source files (doc or latex) and the images. You must include the keywords in your paper. Registration, which is compulsory for at least one of the authors of each of the accepted papers should be completed before April 3rd, 2019: http://paams.net/registration. Please, remember that you must follow the following steps in order to include the paper in the proceedings 1) Fill out and sign the copyright form and attach it to the final version of your paper using the conference management System https://www.easychair.org/conferences?conf=paams19 The copyright's data for PAAMS 2019 (Main track & Demonstrations) are: - TITLE: Highlights of Practical Applications of Complex Multi-Agent Systems - International Workshops of PAAMS 2019. - EDITORS: Fernando De la Prieta, Alfonso González-Briones, Pawel Pawlewski, Davide Calvaresi, Elena Del Val, Fernando Lopes, Vicente Julian, Eneko Osaba, Ramon Sanchez-Iborra. Download pre-filled form for PAAMS (Main track and Demonstrations): https://www.paams.net/sites/default/files/CTP-PAAMS2019-2.pdf 2) At least one author must register before April 3rd, 2019. If the same author presents several papers, a supplementary publication fee is due for each supplementary paper (175 €, reduced rate). 3) Upload a .Zip file containing the camera-ready version of your paper in PDF format, the source files (Word or Latex) and the images). Thank you for your support for PAAMS’19 Best Regards PAAMS’19 Scientific Committee ----------------------- REVIEW 1 --------------------- PAPER: 107 TITLE: Comparative Analysis of BlockchainTechnologies under a Coordination Perspective AUTHORS: Giovanni Ciatto, Michael Bosello, Stefano Mariani and Andrea Omicini Overall evaluation: 2 (accept) ----------- SUMMARY ----------- The paper presents a detailed comparison of three implementation of the Linda Coordination Model on the top of three different BlockChain Technologies (BCT): Ethereum, Hyperledger Fabric and Corda. ----------- RELEVANCE ----------- The paper perfectly fits the topics of the BCT4MAS workshop: the analysis made by the authors goes in the direction of understanding if BCT are usable as a coordination media in Multi-Agent Systems. The comparison of the BCT and of the different LINDA proof-of-concept implementations are very well presented. ----------- ORIGINALITY and SIGNIFICANCE ----------- Concerning significance, as a non-expert of blockchains, I have only one question, which might be addressed by the authors in the introduction/conclusions section or in the discussion of the paper: Do the authors identify (or envisage) specific advantages of using BCT to implement the Linda Coordination Model w.r.t non-BCT-based implementations? ----------- QUALITY and READABILITY ----------- In addition to being in the scope of the workshop, the paper is very well written and organized. --- Minor comments - page 2: "... under a coordination perspective" goes beyond the paper right margin; - page 4, section 3: there is a typo in "... thus vritually letting": vritually -> virtually; - I guess page numbers and headings should be removed from the paper, but this should be cross-checked with the proceedings editors. ----------------------- REVIEW 2 --------------------- PAPER: 107 TITLE: Comparative Analysis of BlockchainTechnologies under a Coordination Perspective AUTHORS: Giovanni Ciatto, Michael Bosello, Stefano Mariani and Andrea Omicini Overall evaluation: 1 (weak accept) ----------- SUMMARY ----------- The paper tries to explore the use of BCT beyond identity management and asset tracking. In particular, the paper explores the how BCT can be used to coordinate distributed process. ----------- RELEVANCE ----------- The paper provide a relevant contribution at the intersection of MAS coordination and BCT. ----------- ORIGINALITY and SIGNIFICANCE ----------- While the topic of the paper is interesting, it looks like a work in progress. The proof of concept implementation could be detailed and evaluate quantitatively. Furthermore, the proof-of-concept could also be explained and illustrated by a figure, etc. ----------- QUALITY and READABILITY ----------- The paper is easy to read and understand. ----------------------- REVIEW 3 --------------------- PAPER: 107 TITLE: Comparative Analysis of BlockchainTechnologies under a Coordination Perspective AUTHORS: Giovanni Ciatto, Michael Bosello, Stefano Mariani and Andrea Omicini Overall evaluation: 1 (weak accept) ----------- SUMMARY ----------- This paper presents an exploratory work about the analysis of existing blockchain technologies, used for the purpose of implementing coordination mechanisms among distributed agents. Concretely, three main blockchain implementations, Corda, Fabric and Ethereum have been analyzed, in particular with respect to tuple based coordination through the LINDA model. ----------- RELEVANCE ----------- Although this work is evidently a work-in-progress, it addresses a valid issue, which is related to the use of BCT for coordination, besides the more common tasks of asset management and identity. Furthermore, it provides an interesting analysis (implementation-wise) considering the implications in each case. ----------- ORIGINALITY and SIGNIFICANCE ----------- However, there are some weaknesses that could be addressed. First, although the analysis of the implementation of LINDA on the 3 solutions is very valuable, the takeaways are not too clear, and it is not really easy to draw much conclusions from that. It might have helped to have a more systematic comparison, establishing certain criteria of comparison, and/or indicators, which could have been even translated into a table. Second, it would help to establish very clearly what are the requirements for a coordination mechanism/infrastructure. Having these defined more explicitly would help then providing a better analysis. Third, it would be interesting to include a set of challenges in the future work section, or a research road-map in this area. As it is an initial-study-paper, it is important to have a better idea of what's next, and what is the vision for this research line. Fourth, visual representations or diagrams would contribute to a better understanding of the analysi! s that was performed. Fifth, the paper lacks a stronger motivation for the establishment of 'blockchain-powered' coordination among agents. This would strengthen the position raised by this paper. ----------- QUALITY and READABILITY ----------- The paper is a work in progress, but it is well organized and written. It includes a sufficiently developed analysis of 3 main BCT implementations with respect to the LINDA model.
-
02 Apr
-
En-It 02 Apr, 00:07
27 Mar
-
-
changes-made.txt
-
CfP-blockchain.pdf
-
CMMO-BCC2019.zip
CMMO-BCC2019.pdf
-
25 Mar
-
Towards Agent-oriented Blockchains: Autonomous Smart Contracts 2 changes by one user 25 Mar, 13:19 ▼
22 Mar
-
-
Volumes per Year 22 Mar, 16:05
-
-
-
momdpiSiMas2018 22 Mar, 14:17
20 Mar
-
cmmoBctScBctcongress2019 20 Mar, 13:59
19 Mar
-
En-It 19 Mar, 23:37
18 Mar
-
En-It 18 Mar, 23:48
14 Mar
11 Mar
-
Towards Agent-oriented Blockchains: Autonomous Smart Contracts 5 changes by one user 11 Mar, 16:35 ▼
-
Dear Andrea Omicini, We are pleased to inform you that your paper 35: “Towards Agent-oriented Blockchains: Autonomous Smart Contracts” has been accepted, subject to certain specified amendments being satisfactorily completed, in the PAAMS 2019 main track and will be included in the PAAMS 2018 proceedings - Volume 1 published by Springer LNAI. Please log-in into the EasyChair system using your User ID and Password: https://www.easychair.org/conferences?conf=paams19 If you do not have your user id and password but you remember the e-mail address you used for registration you can recover your password in https://www.easychair.org/account/problem.cgi?conf=paams19. Once logged, you will be able to see the reviews and details of the decision. You will also be able to obtain guidance on the required revisions you need to make. Please modify the paper following the guidance on the required revisions. Then, resubmit the paper before March 29th, 2019. All papers must be formatted according to the LNCS/LNAI template, with a maximum length of 10-12 pages, including figures and references. The paper template can be downloaded here: http://paams.net/submission. In the final version of your paper, please submit the PDF, source files (doc or latex) and the images. You must include the keywords in your paper. Registration, which is compulsory for at least one of the authors of each of the accepted papers should be completed before March 29th, 2019: http://paams.net/registration. Please, remember that you must follow the following steps in order to include the paper in the proceedings 1) Fill out and sign the copyright form and attach it to the final version of your paper using the conference management System https://www.easychair.org/conferences?conf=paams19 The copyright's data for PAAMS 2019 (Main track & Demonstrations) are: - TITLE: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection. - EDITORS: Yves Demazeau, Eric Matson, Juan Manuel Corchado, and Fernando de la Prieta. Download pre-filled form for PAAMS (Main track and Demonstrations): https://www.paams.net/sites/default/files/CTP-PAAMS2019-1_0.PDF 2) At least one author must register before March 29th, 2019. If the same author presents several papers, a supplementary publication fee is due for each supplementary paper (175 €, reduced rate). 3) Upload a .Zip file containing the camera-ready version of your paper in PDF format, the source files (Word or Latex) and the images). Thank you for your support for PAAMS’19 Best Regards Yves Demazeau Eric Matson Chairs of the PAAMS’18 Scientific Committee ----------------------- REVIEW 1 --------------------- PAPER: 35 TITLE: Towards Agent-oriented Blockchains: Autonomous Smart Contracts AUTHORS: Giovanni Ciatto, Alfredo Maffi, Stefano Mariani and Andrea Omicini Overall evaluation: -1 (weak reject) ----------- SUMMARY ----------- The paper analyses the capabilities and drawbacks of current smart contracts produced using the existing tools (platforms) of the second and third generations, and states that modern smart contract capabilities are, in fact, limited to automation of some relationships between contracting parties. The paper advocates encapsulation of autonomous agent capabilities into the smart contract in order to enrich the latter with the pro-active behavior thus making it smarter in several respects. Accordingly, in section 2 the paper describes the architecture and components of current version of smart contract, its object-oriented implementation and resulting properties, outlines the advantages of smart contracts provided with computational autonomy and propose the agent architecture as the prescription to achieve smart contract autonomy. In section 3, the paper outlines what the authors called roadmap to apply the notion of agency to smart contracts. Finally, the paper proposed some first-order logic-based language and associated interpreter for the execution of smart contract (section 4) and describes the developed proof-of-concept case study (section 5). ----------- RELEVANCE ----------- The paper is relevant to the PAAMS scope: it advocates the integration of the blockchain technology as applied to smart contract and autonomous agents technology. The problem stated is a subject of PAAMS interests. ----------- ORIGINALITY and SIGNIFICANCE ----------- The paper originality and significance with regard to practical applications of agents and multi-agent systems is limited. Section 2 aims at motivation of the paper idea that is integration of agent and blockchain technologies. However, this idea is not new. In addition, this section contains a lot of well-known information about smart contracts and agents properties and architectures. The “roadmap to agency for smart contracts” (section 3) is actually a list of requirements to the properties of agency to be encapsulated into smart contract. I think that it is not correct to include into any roadmap a predefined mathematical model to use, but the paper explicitly indicates that logic inference and BDI agent architecture are the components of roadmap. Moreover, Figure 2 intended to illustrate the roadmap as a “journey towards agency” mislead the reader. Their ultimate goal is “logic inference” and “BDI agent” that are very nice agent implementation illusions for those who never deals with practical applications of agent and multi-agent technologies. They are purely theoretical notions having only methodological value but no practical value. Therefore sections 4 of the paper that is positioned as a contributive one is absolutely useless for the participants of the conference called “Practical Applications …”. ----------- QUALITY and READABILITY ----------- The paper is technically sound, well written and well understood. ----------------------- REVIEW 2 --------------------- PAPER: 35 TITLE: Towards Agent-oriented Blockchains: Autonomous Smart Contracts AUTHORS: Giovanni Ciatto, Alfredo Maffi, Stefano Mariani and Andrea Omicini Overall evaluation: 1 (weak accept) ----------- SUMMARY ----------- The paper argues the need to explicitly include autonomy in the implementation of smart contracts for achieving their full potential. It provides an example of how this can be achieved. ----------- RELEVANCE ----------- Yes, this is an application of agent theory in a current hot application area. ----------- ORIGINALITY and SIGNIFICANCE ----------- The approach is quite original in that most smart contracts are provided as reactive programs. Therefore the inclusion of autonomy feature enhances the possibilities of smart contracts. This is not mandatory, as the authors seem to argue, but a wishful property. Maybe we need to consider more cases to show the need of autonomy, which carries several issues that are not sufficiently addressed in the proposal. For instance, something that needs to be discussed also is that smart contracts are already difficult to verify and validate. Therefore, adding autonomy could make these tasks even more complex. This is something that deserves some discussion. Who would trust a SC with unexpected behavior? The asynchronous interaction may have some issues in the lower layer of th blockchain when ordering the transactions. This is not discussed enough in the paper. The use of prolog is good for academic public but has not been very successful for common software developers. Finally, a big concern is how to implement Tenderfone on an existing BTC. This is a major issue. ----------- QUALITY and READABILITY ----------- The paper is very well written, with a good structure also. ----------------------- REVIEW 3 --------------------- PAPER: 35 TITLE: Towards Agent-oriented Blockchains: Autonomous Smart Contracts AUTHORS: Giovanni Ciatto, Alfredo Maffi, Stefano Mariani and Andrea Omicini Overall evaluation: 2 (accept) ----------- SUMMARY ----------- The paper provides a good analysis of the current understanding of smart contracts and their technical implementations. The authors discuss how MAS could be a source of abstractions and mechanisms to advance towards computational autonomy blending agent-oriented and BCT abstractions. The notion of rational and autonomous smart contracts is introduced. The authors propose a new language for describing smart contracts based on first-order logic. The platform for the interpreter is Tendermint platform. ----------- RELEVANCE ----------- The paper is highly relevant, providing a proof-of-concept implementation of a custom blockchain blending agent-oriented and BCT abstractions. ----------- ORIGINALITY and SIGNIFICANCE ----------- The only thing that causes questions in this work is the language constructs of the new language. It is not entirely clear whether the above functions are the only possible ones, or when creating a contract you can use the full power of the Prolog language. If only the given constructions are available, then the possibility of a quick verification of the code appears, however, the flexibility that contracts differ in, for example, in the Go language, is lost. ----------- QUALITY and READABILITY ----------- The paper is well-written.
-
cmmoBctScPaams2019 11 Mar, 15:25
-
Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza 2 changes by one user 11 Mar, 10:53 ▼
PDF Version
Powered by XWiki Enterprise 3.1.1 - Documentation
Privacy
Partita IVA: 01131710376 - Copyright © 2008-2015 APICe@DISI Research Group
Privacy
Partita IVA: 01131710376 - Copyright © 2008-2015 APICe@DISI Research Group