ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems

Dubois, Valérie; Bois, Du; Petit, P.

doi:10.1109/hicss.1994.323448

Cited by 10 publications

(5 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ALBERT[3] (Dubois et al, 1993;Dubois et al, 1994;Dubois et al, 1992) is a formal requirements specification language that favours the object oriented paradigm. The language is based on an informal framework called ERAE using an appropriate temporal logic with the addition of three new extensions:…”

Section: The Use Of Object Orientationmentioning

confidence: 99%

Critical review of existing BPR methodologies

Valiris

Glykas

1999

Business Process Management Journal

104

View full text Add to dashboard Cite

A plethora of BPR methodologies have appeared in the literature during recent years, however, most of them present serious limitations mainly due to the need for a multi‐disciplinary approach. In this paper we present an overview of existing work in the area of BPR with the aim of highlighting the different categories of BPR methodologies identified in the literature, their focus on the redesign process and the general BPR principles that emerge from them. We also present a BPR methodology called Agent Relationship Morphism Analysis (ARMA) that goes beyond the limitations of the existing BPR methodologies taking a holistic view of the organisation. In ARMA the modelling of the business environment is achieved with the use of three perspectives: the structural, behavioural and process. The use of these three perspectives provides insight to the relationship between organisational structure and organisational processes.

show abstract

Section: The Use Of Object Orientationmentioning

confidence: 99%

Critical review of existing BPR methodologies

Valiris

Glykas

1999

Business Process Management Journal

104

View full text Add to dashboard Cite

show abstract

“…A first relation is between goals and the agents that are responsible for them. This relation is present in languages such as Kaos, tropos [3], i* [18], Albert and Albert II [8,9]. Furthermore, Tropos and i* add a second relation between goals and the agents aiming for them.…”

Section: Introductionmentioning

confidence: 99%

“…goals, and they also come with capabilities (in the form of monitored and controlled variables). The responsibilities of agents are also central in Albert [8] and Albert II [9]. The latter characterises them with a set of constrained behavioural goals they are responsible for.…”

Section: Introductionmentioning

confidence: 99%

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic

Chareton¹,

Brunel²,

Chemouil³

2011

Formal Methods, Foundations and Applications

View full text Add to dashboard Cite

Abstract. The aim of this paper is to provide a formal framework for Requirements Engineering modelling languages featuring agents, behavioural goals and operations as main concepts. To do so, we define Khi, a core modelling language, as well as its formal semantics in terms of a fragment of the multi-agent temporal logic ATL*, called ATL Khi . Agents in the sense of concrete and provided entities, called actors, are defined by their capabilities. They also pursue behavioural goals that are realised by operations, which are themselves gathered into abstract, required, agents, that we call roles. Then a notion of assignment, between (coalitions of) actors and roles is defined. Verifying the correctness of a given assignment then reduces to the validity of an ATL Khi formula that confronts the capabilities of (coalitions of) actors with the operations in roles played by the said actors. The approach is illustrated through a toy example featuring an online shopping marketplace.

show abstract

“…Larch) couJd only address data and operation of the system described in terms of first order assertions ( conditional equations, pre/prost-conditions and invariants. Recent developments have enabled us to reason about agent responsibilities [17), [14), goal satisfaction [26) , [15], the triggering events and causalities [7), [12]. U nfortunately, few people understand exactly what formal languages and methods are or how they are applied [4].…”

Section: Introductionmentioning

confidence: 99%

Towards an Environment to Support Requirements Formalisation

Castro¹,

Gautreau²,

Cespedes³

1996

Anais Do X Simpósio Brasileiro De Engenharia De Software (SBES 1996)

View full text Add to dashboard Cite

A major issue in requirements engineering is how to bridge the gap between ill-defined application situations and production of precise, formal specification of functional requirements. Although various formal languages have been proposed in the literature, practitioners still have great difficulties specifying requirements in their chosen formal language. One way of overcoming this barrier is to integrate formal techniques with existing methodologies (CORE, OMT, etc) and providing tool support for building formal specifications incrementally. In this paper we present The Multiview Tool, which addresses the problem of capturing requirements in the context of formal specification. Multiview enables multiple stakeholders to express their viewpoints based on a number of interrelated models, written in a variety of different notations. A detailed description of the project of the Multiview is provided. We start with the System Interface Context Diagram and a general overview of the tool Domain. A critical part of this domain is elaborated in terms of an Information Model. We also show one of the metamodels supported by the tool (Object Class representation schema). Several Interface Prototypes are also presented, together with an Object Message Model for a specific scenario. Statecharts are used to represent the behaviour of editors supported by the tool.

show abstract

ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems

Cited by 10 publications

References 25 publications

Critical review of existing BPR methodologies

Critical review of existing BPR methodologies

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic

Towards an Environment to Support Requirements Formalisation

Contact Info

Product

Resources

About