Throughout the years, many model description languages have been used in different model-based testing tools, however, all these languages are quite unfamiliar to test engineers. In this paper, we propose TTCN-3 (Testing and Test Control Notation 3), the nowadays most popular and widely spread test definition language to be used for this purpose and give two alternative approaches how this coul...

Knowledge-based recommender systems comprise one category of user-modeling system that can draw inferences from user models. This brief paper contains a global description of a multi-faceted, educational, knowledge-based recommender system, including a basic set of descriptors that the model contains, a taxonomy of inferences that might be made over such models, and a listing of literature that...

In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a specification language to reason about the effectiveness of norms and sanctions in shaping agent interactions. Finally we show that when properties of artificial institutions reflect certain interpretations of norms of huma...

In this paper we present the main aspects of the problem of simulation of a supply chain using an agent-based system. It is emphasized that the difference with other simulation models is that the principal concept of the simulation environment is the event concept. Agents are interacting via action/events, these concepts being introduced previously by the AOR modeling language. The configuratio...

While recommender systems are in widespread use, they still experience problems. Many recommender systems produce recommendations which the customers find unsatisfactory. Further, these systems often suffer from problems when there are not enough participants, or when new products enter the system. We perceive an opportunity for knowledge-based recommender systems to gain leverage on recommenda...

Facilitating knowledge sharing among employees across different units in an organization is crucial in terms of facilitating collaboration for developing competitive advantages. While a significant numbers of previous studies have examined the facilitating and inhibiting factors of knowledge sharing among employees in organizations, very few of them have empirically examined the individual effe...

This paper discusses the use of model-based systems engineering (MBSE) models for physical protection systems (PPS) evaluation. We discuss why MBSE methodologies can be valuable in assessment of PPS. Next, we review the steps in vulnerability assessment (VA) and describe the use of SysML models in these steps. The paper presents examples of SysML models for a VA scenario. Such models can enable...

Mobile application developers should be able to specify how applications can adapt to changing conditions, and to later reconfigure the application to suit new circumstances. Event-based communication have been advocated to facilitate such dynamic changes. Event-based models, however, are fragmented, which makes it difficult to understand the dependencies between components. A process-oriented ...

Rewriting logic has been revealed as a powerful tool to represent concurrent and state-transitions aspects in a declarative way, providing an adequate environment to specify and execute system representations. Moreover, rewriting logic is reflective, allowing for the definition of operations that transform, combine and manipulate specification modules by making use of the logic itself. Taking a...