We generalise the method of diagrams from conventional model theory to a simple institution-independent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel categorical concept of elementary diagram of a model. We illustrate the power of our institution-independent method of elementary diagrams by developing several applications to instit...

In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of an artificial institution. Within such an approach, we first reformulate a previously proposed commitment-based semantics for ACLs. In particular we show that all commonly used types of communicative acts can be defined in term...

Present commercial software packages (such as ERP) have incorporated management insights, industry solutions, and best-practices to facilitate IT-business alignment. However, poor alignment of IT-business still exists on a large scale in practice. In this study, we investigate the notion of IT-business alignment from a managerial perspective and argue that, in addition to the four well-studied ...

In this paper we introduce a new view on roles in Object Oriented programming languages. This view is based on an ontological analysis of roles and attributes to roles the following properties: first, a role is always associated not only with an object instance playing the role, but also to another object instance which constitutes the context of the role and which we call institution. Second, ...

The paper deals with the features of teaching of profession-related texts reading in a foreign language to bilingual students in agricultural higher education institution. Article’s purpose was to analyze the technology of intercultural competence formation by means of profession-related texts reading. The method of intercultural competence formation included using the profession-related texts ...

Assignment model is a powerful operations research techniques that can be used to solve assignment or allocation problem. This study applies the assignment model to the course allocation problem in Nigeria tertiary institution in order to maximize lecturers’ effectiveness. A well-structured questionnaire was used to obtain data from lecturers and solved with Hungarian method. The study revealed...

Recent poststructuralist theories of identity posit identities as being discursively constructed in interactions with society, institutions, and individuals. This study used a Linguistic Ethnographic framework to investigate the discursive identity construction of two English teachers, one ‘non-native’ English speaker, and one ‘native’ English speaker, teaching English in a tertiary institution...