Data & Knowledge Engineering - Special issue on linguistic instruments in knowledge engineering (LIKE)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the representation of roles in object-oriented and conceptual modelling
Data & Knowledge Engineering
A Foundation for the Concept of Role in Object Modelling
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
Security and Privacy Requirements Analysis within a Social Setting
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Applied Ontology - Roles, an interdisciplinary perspective
Process SEER: a tool for semantic effect annotation of business process models
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Social Modeling for Requirements Engineering
Social Modeling for Requirements Engineering
Roles in Information Systems: A Survey
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
| Hi-index | 0.00 |
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.