Modeling organizational performance indicators

V Popova, A Sharpanskykh - Information systems, 2010 - Elsevier
Performance measurement and analysis is crucial for steering the organization to realize its
strategic and operational goals. Relevant performance indicators and their relationships to …

Formal modelling of organisational goals based on performance indicators

V Popova, A Sharpanskykh - Data & Knowledge Engineering, 2011 - Elsevier
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 temporal trace language for formal modelling and analysis of agent systems

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 …

Capturing knowledge transfer using Zachman framework in bio-inspired design process

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 …

A method for building ontology-based electronic document management systems for quality standards—the case study of the ISO/TS 16949: 2002 automotive …

FE Castillo-Barrera, HA Durán-Limón… - Applied …, 2013 - Springer
Different methods and methodologies have been developed for building ontologies.
However, neither of these methods consider to build an ontology with characteristics of an …

Formal analysis of executions of organizational scenarios based on process-oriented specifications

V Popova, A Sharpanskykh - Applied Intelligence, 2011 - Springer
This paper presents various formal techniques for analysis of executions of organizational
scenarios based on specifications of organizations. Organizational specifications describe …

Incorporating institutions, norms and territories in a generic model to simulate the management of renewable resources

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 …

[PDF][PDF] Formalizing organizational constraints: a semantic approach.

MB Van Riemsdijk, KV Hindriks, CM Jonker, M Sierhuis - AAMAS, 2010 - researchgate.net
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 …

Formalizing virtual organizations

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 …

[PDF][PDF] Towards organization aware agent-based simulation

M Sierhuis, C Jonker, B van Riemsdijk, K Hindriks - practice, 2009 - mmi.tudelft.nl
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 …