A combined formal model for relational context-dependent roles

Kühn, Thomas; Böhme, Stephan; Götz, Sebastian; Aßmann, Uwe

doi:10.1145/2814251.2814255

Cited by 29 publications

(9 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Context is any information that is accessible to the program, where an entity is a person, place, or another agent that is considered relevant to the determination of behavioral variations [8]. Agents can dynamically collaborate with roles, create coalitions of trusted partners as an effective mechanism to communicate with service requestors, find services requested by them, and determine trusted services and provide services to the applicants without violating the privacy of the predefined environment [9] Compartments belong to the research of the Compartment Role Object Model (CROM) that establishes subtypes of natural types and relationship types among combined roles [10]…”

Section: Role-oriented Programmingmentioning

confidence: 99%

Untitled

2021

IJSPTM

View full text Add to dashboard Cite

Multi-agent systems have evolved with their application framework, analysis approaches and design complexities over the past few decades. In order for programming software agents, you need to handle analysis, design and implementation together; furthermore, privacy and trust should be integrated externally into the agent-oriented applications. Current frameworks do not consider privacy, trust, and data integrity in agent applications. In this study, we propose a domain-specific language that can be used for agent behaviors that consist of roles, organizational entity, goals through annotation processing with templates. Smart contracts can be generated to decrease the time for deployment and development stages. Templates and annotations are popular techniques to reduce boilerplate codebases from agent-oriented programming. These techniques can also be used for model-driven software engineering. This study will take the software agent development as a whole with analysis, design, and development with embedded domain-specific language development in terms of smart contract applications. Furthermore, we would like to refer to methodology, results of the research, and case study to enlighten readers in a better way. Finally, we summarize findings and highlight the main research points by inferencing in the conclusion section.

show abstract

Section: Role-oriented Programmingmentioning

confidence: 99%

Untitled

2021

IJSPTM

View full text Add to dashboard Cite

show abstract

“…Role-based conceptual modeling describe formalisms to specify contexts and their dynamics w.r.t. role-playing entities (see, e.g., [KBGA15]). Here, components may play different roles in specific contexts (modeled through elements called compartments).…”

Section: Related Workmentioning

confidence: 99%

Enhancing Probabilistic Model Checking with Ontologies

2021

View full text Add to dashboard Cite

Probabilistic model checking (PMC) is a well-established method for the quantitative analysis of state based operational models such as Markov decision processes. Description logics (DLs) provide a well-suited formalism to describe and reason about knowledge and are used as basis for the web ontology language (OWL). We investigate how such knowledge described by DLs can be integrated into the PMC process, introducing ontology-mediated PMC. Specifically, we propose ontologized programs as a formalism that links ontologies to behaviors specified by probabilistic guarded commands, the de-facto standard input formalism for PMC tools such as Prism. Through DL reasoning, inconsistent states in the modeled system can be detected. We present three ways to resolve these inconsistencies, leading to different Markov decision process semantics. We analyze the computational complexity of checking whether an ontologized program is consistent under these semantics. Further, we present and implement a technique for the quantitative analysis of ontologized programs relying on standard DL reasoning and PMC tools. This way, we enable the application of PMC techniques to analyze knowledge-intensive systems.We evaluate our approach and implementation on amulti-server systemcase study,where different DL ontologies are used to provide specifications of different server platforms and situations the system is executed in.

show abstract

Section: Introductionmentioning

confidence: 99%

“…Compartments belong to the research of the Compartment Role Object Model (CROM) that establishes subtypes of natural types and relationship types between combined roles [4]. CROM combines the behavioral, relational, and contextdependent nature of roles in a common framework [4]. It is a research project that points out a framework for conceptual modeling that incorporates roles, graphical modeling language, and a set-based formalization of roles, which has been conducted by TU Dresden Software Technology [4].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Role-Based Embedded Domain-Specific Language for Collaborative Multi-Agent Systems through Blockchain Technology

Oruç¹

2021

Computer Science &Amp; Information Technology (CS &Amp; IT)

View full text Add to dashboard Cite

Multi-agent systems have evolved with their complexities over the past few decades. To create multi-agent systems, developers should understand the design, analysis, and implementation together. Agent-oriented software engineering applies best practices through mainly software agents with abstraction levels in the multi-agent systems. However, abstraction levels take a considerable amount of time due to the design complexity and adversity of the analysis phase before implementing them. Moreover, trust and security of multi-agent systems have never been detailed in the design and analysis phase even though the implementation of trust and security on the tamper-proof data are necessary for developers. Nonetheless, object-oriented programming is the right way to do it, when implementing complex software agents, one of the major problems is that the object-oriented programming approach still has a complex process-interaction and a burden of event-goal combination to represent actions by multi-agents. Designated roles with their relationships, invariants, and constraints of roles can be constructed based on blockchain contracts between agents. Furthermore, in the case of new agents who participate in an agent network, decentralization and transparency are two key parameters, which agents can exchange trusted information and reach a consensus aspect of roles. This study will take the software agent development as a whole with analysis, design, and development with role-object pattern in terms of smart contract applications. In this paper, we aim to propose a role-based domain-specific language that enables smart contracts which can be used in agent-oriented frameworks. Furthermore, we would like to refer to methodology, results of the research, and case study to enlighten readers in a better way. Finally, we summarize findings and highlight the main research points by inferencing in the conclusion section.

show abstract

A combined formal model for relational context-dependent roles

Cited by 29 publications

References 9 publications

Untitled

Untitled

Enhancing Probabilistic Model Checking with Ontologies

Role-Based Embedded Domain-Specific Language for Collaborative Multi-Agent Systems through Blockchain Technology

Contact Info

Product

Resources

About