Requirements modeling for organization networks: a (dis)trust-based approach

Gans, Günter; Jarke, Matthias; Kethers, Stefanie; Lakemeyer, Gerhard; Ellrich, Lutz; Funken, Christiane; Meister, M.

doi:10.1109/isre.2001.948555

Cited by 22 publications

(29 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Martinez and Lespérance [69,68,70] have developed a library and toolkit that combines IndiGolog, the JADE multiagent platform [8], and the PKS planner [73] for performing web service composition. As well, [38] used a version of ConGolog to support the modeling and analysis of trust in social networks. To get a better idea of how IndiGolog can be used in applications, let us briefly discuss some work using IndiGolog in the area of pervasive computing.…”

Section: Applications Supported By the Language And/or The Platformmentioning

confidence: 99%

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

Giacomo

Lespérance

Levesque

et al. 2009

Multi-Agent Programming

View full text Add to dashboard Cite

IndiGolog is a programming language for autonomous agents that sense their environment and do planning as they operate. Instead of classical planning, it supports high-level program execution. The programmer provides a high-level nondeterministic program involving domain-specific actions and tests to perform the agent's tasks. The IndiGolog interpreter then reasons about the preconditions and effects of the actions in the program to find a legal terminating execution. To support this, the programmer provides a declarative specification of the domain (i.e., primitive actions, preconditions and effects, what is known about the initial state) in the situation calculus. The programmer can control the amount of nondeterminism in the program and how much of it is searched over. The language is rich and supports concurrent programming. Programs are executed online together with sensing the environment and monitoring for events, thus supporting the development of reactive agents. We discuss the language, its implementation, and applications that have been realized with it.

show abstract

Section: Applications Supported By the Language And/or The Platformmentioning

confidence: 99%

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

Giacomo

Lespérance

Levesque

et al. 2009

Multi-Agent Programming

View full text Add to dashboard Cite

show abstract

“…Goal-oriented approaches have been used in this context, and agents or actors are often part of the modeling ontology [4,5]. However, the GRL approach is distinctive in its treatment of agents/actors as being strategic [12], and thus readily adaptable to the identity management analysis domain illustrated in this paper.…”

Section: Resultsmentioning

confidence: 99%

Intentional Modeling to Support Identity Management

Liu

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Identity management has arisen as a major and urgent challenge for internet-based communications and information services. Internet services involve complex networks of relationships among users and providers -human and automated -acting in many different capacities under interconnected and dynamic contexts. There is a pressing need for frameworks and models to support the analysis and design of complex social relationships and identities in order to ensure the effective use of existing protection technologies and control mechanisms. Systematic methods are needed to guide the design, operation, administration, and maintenance of internet services, in order to address complex issues of security, privacy, trust and risk, as well as interactions in functionality. All of these rely on sophisticated concepts for identity and techniques for identity management. We propose using a requirements modeling framework GRL to facilitate identity management for Internet Services. Using this modeling approach, we are able to represent different types of identities, social dependencies between identity users and owners, service users and providers, and third party mediators. We may also analyze the strategic rationales of business players/stakeholders in the context of identity management. This modeling approach will help identity management technology vendors to provide customizable solutions, user organizations to form integrated identity management solution, system operators and administrators to accommodate changes, and policy auditors to enforce information protection principles, e.g., Fair Information Practice Principles.

show abstract

“…Also, in the i*-ConGolog approach [19], on which our method is based, SR models are associated with formal ConGolog programs for simulation and verification. Additionally, the Trust-Confidence-Distrust approach [6] combined i* and ConGolog to model and analyze trust in social networks. The problem with all these methods is that goals of the agents are abstracted out and made into objective properties of the system in the formal specifications.…”

Section: Discussion and Future Workmentioning

confidence: 99%

Modeling Mental States in Agent-Oriented Requirements Engineering

Lapouchnian

Lespérance

2006

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal i* models with formal specifications in the multiagent system specification formalism CASL. This allows the requirements engineer to exploit the complementary features of the frameworks. i* can be used to model social dependencies between agents and how process design choices affect the agents' goals. CASL can be used to model complex processes formally. We introduce an intermediate notation to support the mapping between i* models and CASL specifications. In the combined i*-CASL framework, agents' goals and knowledge are represented as their mental states, which allows for the formal analysis and verification of, among other things, complex agent interactions and incomplete knowledge. Our models can also serve as high-level specifications for multiagent systems.

show abstract

Requirements modeling for organization networks: a (dis)trust-based approach

Cited by 22 publications

References 25 publications

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

Intentional Modeling to Support Identity Management

Modeling Mental States in Agent-Oriented Requirements Engineering

Contact Info

Product

Resources

About