A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is necessary to select the appropriate platform. Various platforms exist with different properties and the selection of the appropriate platform for the given application requirements is not trivial. An inappropriate sele...

In this paper, we address the refinement of abstract architectural models into more platform-specific representations. For each level of abstraction, we employ an architectural style covering structural restrictions on component configurations as well as supported communication and reconfiguration operations. Architectural styles are formalized as graph transformation systems with graph transfo...

In this paper we discuss the notion of functional similarity between different situations an artificial agent may encounter, and show how it may be used to transfer information across tasks. We say two situations are functionally similar (FS) if there exists an action that has a similar effect in both the situations. So for instance, many situations containing a soccer ball in an open space are...

P. Chowdhary K. Bhaskaran N. S. Caswell H. Chang T. Chao S.-K. Chen M. Dikun H. Lei J.-J. Jeng S. Kapoor C. A. Lang G. Mihaila I. Stanoi L. Zeng Business process integration and monitoring provides an invaluable means for an enterprise to adapt to changing conditions. However, developing such applications using traditional methods is challenging because of the intrinsic complexity of integratin...

This paper introduces a self-configuring middleware that manages the context information acquisition and representation processes targeting the development of context aware applications. The context information is represented in a programmatic manner, readable for the applications build on top of the middleware, using the RAP context model. An agent based context model management infrastructure...

Purpose – The purpose of this paper is to investigate the influence of behavioural attitudes towards the most popular social medium in the world, Facebook, amongst Millennials in South Africa (SA), and to determine whether various usage and demographic variables have an impact on intentionto-purchase and purchase perceptions. Design/methodology/approach – Quantitative research was conducted by ...

background: with the rapid development of health services, the progress of medical science and technology, and the improvement of materials research, the consumption of medical consumables (mcs) in medical activities has increased in recent years. however, owing to the lack of effective management methods and the complexity of mcs, there are several management problems including mc waste, low m...

Middleware has become an important part in business applications. Different middleware platforms require different software designs. Even version changes of the used platform often lead to complex re-designs of software. Furthermore, complex business and platform-specific knowledge is required, to translate abstract business models to platform specific implementations. This paper presents the s...

Energy distribution companies nowadays use different IT-systems from vendors within their infrastructure. Those systems often use proprietary data exchange formats and must be connected to other systems. Building specialized adaptors for interconnection between the systems is the most common and timeconsuming task for IT-departments at energy companies. The Common Information Model (CIM) establ...

The objectives of this research are to further investigate the foundations for novel SMT and SAT-based bounded model checking (BMC) algorithms for real-time and multiagent systems. A major part of the research will involve the development of SMT-based BMC methods for standard Kripke structures, extended Kripke structures, and for different kinds of interpreted systems for different kinds of tem...