Skip to main content
placeholder image

Contracts + goals = roles?

Journal Article


Abstract


  • The concept of role has been investigated in various fields of computer science as well as social sciences. While there is no clear consensus on how roles should be represented, a survey of the literature suggests that we should address both responsibilities and rights in the modeling of roles [1]. Based on this, we argue that the responsibilities and rights of roles can be captured by leveraging the notions of business contract and goal (in the sense of the goals of an actor being constrained by the rights associated with the role played by the actor) in the realm of requirements engineering. We leverage existing work on the formalization of business contracts [2] and the formulation of goals in the i* modeling framework [3]. We devise formal techniques for reasoning about the composition and substitutability of roles and illustrate them through a running example. © 2012 Springer-Verlag.

Publication Date


  • 2012

Citation


  • Le, L. & Ghose, A. (2012). Contracts + goals = roles?. Lecture Notes in Computer Science, 7532 (N/A), 252-266. Florence, Italy Contracts + goals = roles?

Scopus Eid


  • 2-s2.0-84868321460

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/2318

Number Of Pages


  • 14

Start Page


  • 252

End Page


  • 266

Volume


  • 7532

Abstract


  • The concept of role has been investigated in various fields of computer science as well as social sciences. While there is no clear consensus on how roles should be represented, a survey of the literature suggests that we should address both responsibilities and rights in the modeling of roles [1]. Based on this, we argue that the responsibilities and rights of roles can be captured by leveraging the notions of business contract and goal (in the sense of the goals of an actor being constrained by the rights associated with the role played by the actor) in the realm of requirements engineering. We leverage existing work on the formalization of business contracts [2] and the formulation of goals in the i* modeling framework [3]. We devise formal techniques for reasoning about the composition and substitutability of roles and illustrate them through a running example. © 2012 Springer-Verlag.

Publication Date


  • 2012

Citation


  • Le, L. & Ghose, A. (2012). Contracts + goals = roles?. Lecture Notes in Computer Science, 7532 (N/A), 252-266. Florence, Italy Contracts + goals = roles?

Scopus Eid


  • 2-s2.0-84868321460

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/2318

Number Of Pages


  • 14

Start Page


  • 252

End Page


  • 266

Volume


  • 7532