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.
Funding of this research was provided by the Smart Services CRC Initiative http://www.smartservicescrc.com.au/
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Zhu, H., Zhou, M.: Roles in Information Systems: A Survey. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 38(3), 377–396 (2008)
Governatori, G., Milosevic, Z.: A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems 15(4), 659–685 (2006)
Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J.: Social Modeling for Requirements Engineering. The MIT Press (January 2011)
Liu, L., Yu, E., Mylopoulos, J.: Security and Privacy Requirements Analysis within a Social Setting. In: Proceedings of 11th IEEE International Requirements Engineering Conference, pp. 151–161 (September 2003)
ISO/IEC: ITU-T X.903 | ISO/IEC 10746-3 Information Technology - Open Distributed Processing - Reference Model - Architecture. International Standard, SC 7 and ITU (2010)
Hinge, K., Ghose, A., Koliadis, G.: Process SEER: a Tool for Semantic Effect Annotation of Business Process Models. In: Proceedings of the 13th IEEE International Conference on Enterprise Distributed Object Computing, pp. 49–58. IEEE Computer Society, Auckland (2009)
Raut, M., Singh, A.: Prime Implicates of First Order Formulas. International Journal of Computer Science and Applications 1(1), 1–11 (2004)
Linington, P., Milosevic, Z., Cole, J., Gibson, S., Kulkarni, S., Neal, S.: A Unified Behavioural Model and a Contract Language for Extended Enterprise. Data & Knowledge Engineering 51(1), 5–29 (2004)
Gabbay, D.M., Woods, J.: Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol. 7. North-Holland (July 2006)
Steimann, F.: On the Representation of Roles in Object-Oriented and Conceptual Modelling. Journal of Data & Knowledge Engineering 35(1), 83–106 (2000)
Steimann, F.: Role = Interface: A merger of concepts. Journal of Object Oriented Programming 14(4), 23–32 (2001)
Bachman, C.W.: The Role Data Model Approach to Data Structures. In: Proceedings of International Conference on Databases, pp. 1–18. University of Aberdeen: Heyden & Son (1980)
Steimann, F.: The Role Data Model Revisited. Applied Ontology Journal 2(2), 89–103 (2007)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing Multiagent Systems: the Gaia Methodology. ACM Transaction on Software Engineering Methodology 12, 317–370 (2003)
Genilloud, G., Wegmann, A.: A Foundation for the Concept of Role in Object Modelling. In: Proceedings of 4th International Enterprise Distributed Object Computing Conference, pp. 76–85 (September 2000)
Guarino, N.: Concepts, Attributes and Arbitrary Relations: Some Linguistic and Ontological Criteria for Structuring Knowledge Bases. Journal of Data & Knowledge Engineering 8(3), 249–261 (1992)
Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems 16(6), 1811–1841 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lê, LS., Ghose, A. (2012). Contracts + Goals = Roles?. In: Atzeni, P., Cheung, D., Ram, S. (eds) Conceptual Modeling. ER 2012. Lecture Notes in Computer Science, vol 7532. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34002-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-34002-4_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34001-7
Online ISBN: 978-3-642-34002-4
eBook Packages: Computer ScienceComputer Science (R0)