Declarative specifications for the development of multi-agent systems

Challenger, Moharram; Mernik, Marjan; Kardaş, Geylani; Kosar, Tomaž

doi:10.1016/j.csi.2015.08.012

Cited by 22 publications

(13 citation statements)

References 48 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Formation ABSM specification for a given subject domain. At this stage, using the ABSM editor, the MA metamodel is instantiated into specification driven by information by subject domain (5).…”

Section: Advances In Intelligent Systems Research Volume 166mentioning

confidence: 99%

The Agent-Based Modeling Method For The Study Of Unique Mechanical Systems

Nikolaychuk¹,

Pavlov²,

Stolbov³

2019

Proceedings of the 7th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2019)

View full text Add to dashboard Cite

The article discusses the MDD related agentbased modeling method that provides a four-level representation of the model elements throughout the design process. In the proposed method it is suggested to separate the description of the agent-based simulation model (ABSM) structure and behavior into domain independent and domainspecific parts. It means that there are no predefined structures of ABSM and the experts with appropriate knowledge and skills for some specific problem areas can create them. The application of the proposed method for contingency management in critical infrastructures is shown on the illustrative example that describes ABSM development process for solving problems of the unique mechanical systems states identification and forecasting.

show abstract

Section: Advances In Intelligent Systems Research Volume 166mentioning

confidence: 99%

The Agent-Based Modeling Method For The Study Of Unique Mechanical Systems

Nikolaychuk¹,

Pavlov²,

Stolbov³

2019

Proceedings of the 7th Scientific Conference on Information Technologies for Intelligent Decision Making Support (ITIDS 2019)

View full text Add to dashboard Cite

show abstract

“…This new language, called SEA_ML, covered an enhanced version of agent-SWS interaction viewpoint in which modeling those interactions can be elaborated as much as possible for the exact implementation of agent's service discovery, agreement and execution dynamics. We also presented the formal semantics of the language [26] and discussed how the applied methodology can pave the way of evolutionary language development for MAS DSLs [2]. Moreover, qualitative evaluation and quantitative analysis of SEA_ML have been recently performed over a multi-case study protocol [31].…”

Section: Related Workmentioning

confidence: 99%

“…SEA_ML's abstract syntax combines the generally accepted aspects of MAS (such as MAS, Agent Internal, Role and Environment) and introduces two new viewpoints (Agent-SWS Interaction and Ontology) for supporting the development of software agents working within the Semantic Web environment [2]. SEA_ML can be used for both modeling MASs and generation of code from the defined models.…”

Section: Proposed Approach For the Interoperability Of Mas Dsmlsmentioning

confidence: 99%

“…In MASs, software agents are expected to be autonomous, mostly through a set of reactive/proactive behaviors designed for addressing situations likely to happen in particular domains [1]. Both internal agent behavior model and interactions within a MAS become even more complex and hard to implement when taking into account the varying requirements of different agent environments [2]. Hence, working in a higher abstraction level is of critical importance for the development of MASs since it is almost impossible to observe code level details of MASs due to their internal complexity, distributedness and openness [3].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Interoperability of MAS DSMLs via horizontal model transformations

Bircan¹,

Challenger²,

Kardaş³

2016

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Abstract-In this paper, we present our approach which aims at improving the mechanism of constructing language semantics over the interoperability of domain-specific modeling languages (DSMLs) developed for Multi-agent Systems (MAS) and hence providing a more efficient way of extension for the executability of modeled agent systems on various underlying agent platforms. Differentiating from the existing MAS DSML studies, our proposal is based on determining entity mappings and building horizontal model transformations between the metamodels of MAS DSMLs which are in the same abstraction level. The applicability of the approach is demonstrated in the paper by constructing horizontal transformations between two full-fledged agent DSMLs, called SEA_ML and DSML4MAS. Use of these transformations has enabled SEA_ML instance models now to be executable on new agent platforms and that feature has been provided with less effort comparing with the implementation of needed transformations between SEA_ML and those new agent platforms from scratch.

show abstract

“…There is no standard definition of mobile agent (some definitions can be found in literature [4,10,11,13,20]). Even so, we can obtain some common characteristics of mobile agent as summarized in [5]: mobility, autonomy, sociality, reactivity, proactivity, data acquisition, and route determination, etc.…”

Section: Introductionmentioning

confidence: 99%

A Novel Priority-based Deadlock Detection and Resolution Algorithm in Mobile Agent Systems

Lü

Yang

Xing

et al. 2016

International Conferences on Distributed Multimedia Systems

View full text Add to dashboard Cite

Deadlock detection and resolution is one of the challenges in mobile agent systems, especially, when concurrent execution (i.e., more than one algorithm instances executing simultaneously) of algorithm instances. In this paper, we propose a deadlock detection and resolution algorithm in mobile agent systems. Priority-based approach is adopted in our algorithm to coordinate concurrent execution of algorithm instances. The liveness and safety properties of our algorithm are proved. Analysis and simulation results indicate that our algorithm can provide better performance and avoid duplicate detection and resolutions of the same deadlock in condition of concurrent execution.

show abstract

Declarative specifications for the development of multi-agent systems

Cited by 22 publications

References 48 publications

The Agent-Based Modeling Method For The Study Of Unique Mechanical Systems

The Agent-Based Modeling Method For The Study Of Unique Mechanical Systems

Interoperability of MAS DSMLs via horizontal model transformations

A Novel Priority-based Deadlock Detection and Resolution Algorithm in Mobile Agent Systems

Contact Info

Product

Resources

About