Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Alireza Parvizimosaed"'
Autor:
Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos
Publikováno v:
Software and Systems Modeling. 21:2395-2427
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::541976325692a6f0d0721de66beade86
https://doi.org/10.1007/s10270-022-01053-6
https://doi.org/10.1007/s10270-022-01053-6
Autor:
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
Complementary materials for the paperthat extendsthe conference paper :"Symboleo2SC: From Legal Contract Specifications to Smart Contracts" symboleo-js-coreincludes the implementation of the ontology of Symboleo. Symboleo2SC-demoincludes the five eva
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca8f0cf741016794f96111bd1690fc3c
Autor:
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b9249e43e29648cffabe4b09b0fc8ed
https://doi.org/10.1145/3550355.3552407
https://doi.org/10.1145/3550355.3552407
Autor:
Farid Farmani, Alireza Parvizimosaed, Mostafa Yalpanian, Naser Mirzaei, Behdad Bahrami, Mehdi Parvizimosaed
Publikováno v:
Silicon Valley Cybersecurity Conference ISBN: 9783030727246
Smart grids are IoT-enabled grids at which communication devices can be used to interconnect, monitor and manage distributed energy resources (DERs). The emerging efficient and clean energy DERs such as Lithium-ion batteries and Photovoltaic have bee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2446078c610e6d16dc24ba22e7ef8756
https://doi.org/10.1007/978-3-030-72725-3_10
https://doi.org/10.1007/978-3-030-72725-3_10
Publikováno v:
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future ISBN: 9783030732028
Next-Gen Digital Services
Next-Gen Digital Services
Social dependance relationships were used in the i* requirements modelling language to represent dependencies among social actors. We study the evolution of the notion of social dependency into that of commitment in the Azzurra specification language
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28165e4fac5c378cf3ae6b637b76db64
https://doi.org/10.1007/978-3-030-73203-5_8
https://doi.org/10.1007/978-3-030-73203-5_8
Publikováno v:
2020 IEEE PES Transactive Energy Systems Conference (TESC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bfaa9f2d9a9a3aa1397c8025f1eea294
https://doi.org/10.1109/tesc50295.2020.9656942
https://doi.org/10.1109/tesc50295.2020.9656942
Publikováno v:
RE
Legal contracts specify the terms and conditions (in essence, requirements) that apply to business transactions. Smart contracts are software systems that monitor and control the execution of contracts to ensure compliance. This paper proposes a form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baad814a5429f11a385d6e3214c19c6a
https://doi.org/10.1109/re48521.2020.00049
https://doi.org/10.1109/re48521.2020.00049
Autor:
Alireza Parvizimosaed
Publikováno v:
RE
A contract is a legally binding agreement that expresses high-level requirements of parties in terms of obligations, powers and constraints. Parties’ actions influence the status of a contract and shall comply with its clauses. Manual contract moni
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7915c21faea2b149434c9eabdff0f288
https://doi.org/10.1109/re48521.2020.00066
https://doi.org/10.1109/re48521.2020.00066
Publikováno v:
Conceptual Modeling ISBN: 9783030625214
ER
ER
Legal contracts specify obligations and powers among legal subjects, involve assets, and are subject to quality constraints. Smart contracts are software systems that monitor the execution of contracts to ensure compliance. As a starting point for de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::461b6ef8ae61994a3a96877f4a93b014
https://doi.org/10.1007/978-3-030-62522-1_20
https://doi.org/10.1007/978-3-030-62522-1_20
Publikováno v:
Frontiers of Information Technology & Electronic Engineering. 16:43-69
We propose a self-adaptive process (SAP) that maintains the software architecture quality using the MAPE-K standard model. The proposed process can be plugged into various software development processes and service-oriented methodologies due to its e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc8b57a75185c463d3d05ac4119d70e8
https://doi.org/10.1631/fitee.1400040
https://doi.org/10.1631/fitee.1400040