Information Technology Reference
In-Depth Information
Specification (OS), which details the components that specify the system and divides
them by means of the organizational dimensions; (ii) the Organizational Entity (OE),
which defines the active elements of the system; and (iii) the Organizational Dynamics
(
), which details the relationships between elements from OS and OE.
Additionally, we have analyzed a set of different formalizations, focusing on orga-
nizational concepts taken from the Organizational Dimensions. After this analysis, we
noticed that the analyzed formalizations do not take into account all concepts from Or-
ganizational Dimensions. Therefore, our proposal is aimed to cover all these concepts
and to provide a formalization as much complete as possible.
As a future work, this formalization will help us when dealing with concepts re-
lated to adaptation in Organization Centered Multi-Agent Systems, being easier for us
to identify the entities of the system that would change through time. VOF will be in-
tegrated into the reasoning process of the BDI agents from the THOMAS framework
[20], in order to develop agents that are able to know whether an organization is work-
ing in a correct way, or they need to execute an adaptation process. Moreover, using this
formalization we will be able to check the correctness of a defined OCMAS.
φ
Acknowledgements.
This work is supported by TIN2009-13839-C03-01 and PROM-
ETEO/2008/051 projects of the Spanish government and CONSOLIDER-INGENIO
2010 under grant CSD2007-00022.
References
1. Lemaıtre, C., Excelente, C.B.: Multi-agent organization approach. In: Proceedings of II
Iberoamerican Workshop on DAI and MAS (1998)
2. Dignum, V., Dignum, F.: A logic for agent organizations. In: Proc. FAMAS, pp. 83-100
(2007)
3. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science
(vol. B): formal models and semantics (1991)
4. Grossi, D., Dignum, F., Dastani, M., Royakkers, L.: Fundations of organizational structures
in multiagent systems. In: Proc. AAMAS, pp. 690-697 (2005)
5. Clarke, E.M.: Model Checking. In: Ramesh, S., Sivakumar, G. (eds.) FST TCS 1997. LNCS,
vol. 1346, pp. 54-56. Springer, Heidelberg (1997)
6. Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual
organizations. Int. J. High Perform. Comput. Appl. 15(3), 200 (2001)
7. Gonzalez-Palacios, J., Luck, M.: Towards Compliance of Agents in Open Multi-agent Sys-
tems. In: Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C., Romanovsky, A. (eds.)
SELMAS. LNCS, vol. 4408, pp. 132-147. Springer, Heidelberg (2007)
8. Hubner, J.F., Sichman, J.S., Boissier, O.: A Model for the Structural, Functional, and Deontic
Specification of Organizations in Multiagent Systems. In: Bittencourt, G., Ramalho, G.L.
(eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 118-128. Springer, Heidelberg (2002)
9. Criado, N., Argente, E., Julian, V., Botti, V.: Designing Virtual Organizations. In: Demazeau,
Y. , P a v ´on, J., Corchado, J.M., Bajo, J. (eds.) PAAMS 2009. AISC, vol. 55, pp. 440-449.
Springer, Heidelberg (2009)
10. Dignum, V.: A model for organizational interaction: based on agents, founded in logic. PhD
thesis, Utrecht University (2003)
11. Popova, V., Sharpanskykh, A.: Process-Oriented Organization Modeling and Analysis Based
on Constraints. Technical report (2006)
