Every organisation exists or is created for the achievement of one or more goals. To ensure continued success, the organisation should monitor its performance with respect to the …
A Sharpanskykh, J Treur - Specification and verification of multi-agent …, 2010 - Springer
This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification and analysis of dynamic properties of multi-agent systems. This language supports …
S Sharma, P Sarkar - Design for Tomorrow—Volume 2: Proceedings of …, 2021 - Springer
Natural entities are sources of inspiration for designers as they exhibit nature's unique and novel strategies and help them design products. For understanding and abstracting …
Different methods and methodologies have been developed for building ontologies. However, neither of these methods consider to build an ontology with characteristics of an …
This paper presents various formal techniques for analysis of executions of organizational scenarios based on specifications of organizations. Organizational specifications describe …
S Aubert, JP Müller - Artificial Intelligence and Law, 2013 - Springer
Management of the renewable natural resources in Madagascar is gradually being transferred to the local communities, particularly that of forest resources. However, these …
This is an extended abstract of [11]. An important line of research in the multi-agent systems (MAS) field that has received increasing attention in the last years, is to assign an …
S Esparcia, E Argente - International Conference on Agents and …, 2011 - scitepress.org
This work presents a formalization of Virtual Organizations, which are designed by means of their structural entities, such as roles, organizational units or norms, and the dynamic entities …
No organization exists without actors. organizations whether formal or informal are the way people coordinate their activities and collaborate. The dynamics of organizations are caused …