Applying electronic contracting to the aerospace aftercare domain

Meneguzzi, Felipe; Modgil, Sanjay; Oren, Nir; Miles, Simon; Lück, Michael; Faci, Noura

doi:10.1016/j.engappai.2012.06.004

Cited by 14 publications

(14 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…All these application areas could benefit from having advanced algorithms for run-time norm monitoring. In particular, the existing solutions (Cardoso & Oliveira, 2007;Criado et al, 2013;Gaertner et al, 2007;Meneguzzi et al, 2012;Modgil et al, 2009;Leucker & Schallhart, 2009) for norm monitoring are ineffective for these application domains due to the inherent incompleteness of observations; e.g., network monitoring tools have limited resources to obtain information about the network, cannot monitor all events in the system and can be partially evaded by hackers. Even those solutions that try to overcome the partial observability problem cannot be applied to these domains as monitoring tools should be able to operate in real-time with limited resources and the policies cannot be modified, which entails that solutions ignoring norm monitoring costs Basin et al, 2012), solutions proposing to increase the monitoring resources (Bulling et al, 2013), and solutions proposing the adaptation of norms to what is observable (Alechina et al, 2014;Joshi et al, 2017) are all unsuitable for sociotechnical systems.…”

Section: Resultsmentioning

confidence: 99%

“…According to this definition, in those states where both the activation and expiration condition of a norm are satisfied simultaneously, the norm is considered as not relevant. This norm definition has been extensively used in the related literature (Meneguzzi, Modgil, Oren, Miles, Luck, & Faci, 2012;Oren, Panagiotidi, Vázquez-Salceda, Modgil, Luck, & Miles, 2009;Kollingbaum & Norman, 2002;Beheshti, Ali, & Sukthankar, 2015) to represent norms in a wide range of problems and domains.…”

Section: Norm Definitionmentioning

confidence: 99%

“…Norm enforcement is out of the scope of this work and has been covered extensively in the related literature (Meneguzzi et al, 2012;Fornara & Colombetti, 2008b). Hence, we assume that once the monitor detects a norm violation (vs. fulfilment), it applies the corresponding sanction (vs. reward).…”

Section: Norm Monitormentioning

confidence: 99%

See 2 more Smart Citations

Resource-bounded Norm Monitoring In Multi-agent Systems

Criado

2018

jair

View full text Add to dashboard Cite

Norms allow system designers to specify the desired behaviour of a sociotechnical system. In this way, norms regulate what the social and technical agents in a sociotechnical system should (not) do. In this context, a vitally important question is the development of mechanisms for monitoring whether these agents comply with norms. Proposals on norm monitoring often assume that monitoring has no costs and/or that monitors have unlimited resources to observe the environment and the actions performed by agents. In this paper, we challenge this assumption and propose the first practical resource-bounded norm monitor. Our monitor is capable of selecting the resources to be deployed and use them to check norm compliance with incomplete information about the actions performed and the state of the world. We formally demonstrate the correctness and soundness of our norm monitor and study its complexity. We also demonstrate in randomised simulations and benchmark experiments that our monitor can select monitored resources effectively and efficiently, detecting more norm violations and fulfilments than other tractable optimization approaches and obtaining slightly worse results than intractable optimal approaches.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Norm Definitionmentioning

confidence: 99%

See 1 more Smart Citation

Resource-bounded Norm Monitoring In Multi-agent Systems

Criado

2018

jair

View full text Add to dashboard Cite

show abstract

“…Over the last few years, the integration of electronic contracts in MAS is becoming increasingly more important to system architectures for agent behaviour regulation [40,34,32]. Most approaches integrate contracts in order to specify the contractual agreements between parties [28,7], but few approaches use contracts to specify the structure of the system and the social relationship among the system's entities [6,36,15].…”

Section: Aose Design Abstractionsmentioning

confidence: 99%

Analysing the Suitability of Multiagent Methodologies for e-Health Systems

García

Tyson

Miles

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Online e-health systems are being proposed and developed at an ever increasing rate. However, the progress relies on the interoperability of local healthcare software, and is often hampered by ad hoc methods leading to closed systems with a multitude of protocols, terminologies, and design approaches. Agent-oriented software engineering (AOSE) seems intuitively a good approach for developing more open systems. While agent-based e-health systems have been developed, the general hypothesis of the suitability of AOSE has not been evaluated. In this paper, we test that hypothesis, including a case study of applying a normative agent methodology to a particular real-world e-health system, and present an analysis of the strengths and weaknesses of AOSE for e-health.

show abstract

“…Therefore, interchanges of services between internal or with external entities should be formalized (Meneguzzi et al 2012). The details of an agreement between two entities is completely specified at runtime, however at design time it may be necessary to specify which kind of relationships are allowed and under which terms (Jakob et al 2008, Vázquez-Salceda et al 2009).…”

Section: Normative Open Virtual Enterprises Design Requirementsmentioning

confidence: 99%

Designing normative open virtual enterprises

García

Giret

Botti

2015

Enterprise Information Systems

View full text Add to dashboard Cite

Abstract:There is an increasing interest on developing virtual enterprises in order to deal with the globalization of the economy, the rapid growth of information technologies and the increase of competitiveness. In this paper we deal with the development of normative virtual enterprises (NOVEs). They are systems with a global objective that are composed of a set of heterogeneous entities and enterprises that exchange services following a specific normative context. In order to analyze and design systems of this kind the multiagent paradigm seems suitable because it offers a specific solutions for supporting the social and contractual relationships between enterprises and for formalising their business processes. This paper presents how the ROMAS methodology, an agent-oriented software methodology, can be used to analyse and design NOVEs. ROMAS offers a complete development process that allows to identify and formalise the structure of NOVEs, their normative context and the interactions among their members. The use of ROMAS is exemplified by means of a case study that represents an automotive supply chain.

show abstract

Applying electronic contracting to the aerospace aftercare domain

Cited by 14 publications

References 17 publications

Resource-bounded Norm Monitoring In Multi-agent Systems

Resource-bounded Norm Monitoring In Multi-agent Systems

Analysing the Suitability of Multiagent Methodologies for e-Health Systems

Designing normative open virtual enterprises

Contact Info

Product

Resources

About