Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Amal Ahmed Anda"'
Publikováno v:
Modelling, Vol 4, Iss 2, Pp 133-167 (2023)
Socio-cyber-physical systems (SCPSs) have emerged as networked heterogeneous systems that incorporate social components (e.g., business processes and social networks) along with physical (e.g., Internet-of-Things devices) and software components. Mod
Externí odkaz:
https://doaj.org/article/ac5196a5b9c24281b3683abb94f8c8f0
Publikováno v:
IEEE Access, Vol 11, Pp 65872-65890 (2023)
Smart contracts are software systems that monitor, automate, and control the execution of a process, react to violations, and enforce process terms and conditions. There is tremendous interest in developing smart contract applications in banking, fin
Externí odkaz:
https://doaj.org/article/17d264f19e954ebd80450bdc0320c062
Autor:
Amal Ahmed Anda, Daniel Amyot
Publikováno v:
e-Informatica Software Engineering Journal, Vol 16, Iss 1 (2022)
Background: Socio-cyber-physical systems (SCPSs) are a type of cyber-physical systems with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an optimal symbiosis with users and their contexts. The Systems Modeling Langu
Externí odkaz:
https://doaj.org/article/cd5c87d703294187b1fc4ea38fb01d38
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:
Amal Ahmed Anda, Daniel Amyot
Publikováno v:
Journal of Integrated Design and Process Science. 25:141-177
Socio-cyber-physical systems (SCPSs) are cyber-physical systems with social concerns. Many emerging SCPSs, often qualified as “smart”, need such concerns to be addressed not only at design time but also at runtime, often by adapting dynamically t
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.
Autor:
Amal Ahmed Anda, Daniel Amyot
Publikováno v:
SAM
Emerging socio-cyber-physical systems integrate social concerns, often captured with goal models, with complex systems, where structure and behavior are often captured in SysML. Traceability between these two types of models is important to reason ab
Autor:
Daniel Amyot, Amal Ahmed Anda
Publikováno v:
MoDRE@RE
Adaptive Socio-Cyber-Physical Systems (SCPSs) need a comprehensive requirements modeling approach to embed social concerns (goals) in their development activities. Since these kinds of systems often involve complicated and dynamic interactions with t
Autor:
Daniel Amyot, Amal Ahmed Anda
Publikováno v:
RE
Many Cyber-Physical Systems (CPSs) today are self-adaptive, in order to handle frequent changes in environmental conditions and requirements. In CPSs, goal-based reasoning is often used to include stakeholder and social concerns in decision making du
Autor:
Amal Ahmed Anda
Publikováno v:
RE
Socio-cyber-physical systems (SCPSs) are cyber-physical systems (CPSs) with a socio-technical system (STS) aspect. Several SCPSs need to adapt dynamically to changing situations in order to reach an optimal symbiosis with users in their contexts. Tai