Abstract: This paper presents an approach for context modeling in complex self-adapted systems consisting of many independent context-aware applications. Contextual information used for adaptation of all system applications are described by an ontology treated as a global context model. A local context model tailored to the specific needs of a particular application is defined as a view over the global context in the form of a feature model. Feature models and their configurations derived from the global context state are then used by a specific dynamic software product line in order to adapt applications at the runtime. The main focus of the paper is on realization of mappings between global and local contexts. The paper describe an overall model architecture and provides corresponding metamodels as well as rules for mapping between feature models and ontologies.

Abstract: In this paper an approach in realization of analogy-based reasoning in semantic network is presented. New semantic model, called Active Semantic Model (ASM), was used. Core of the process is performed by ASM’s association (semantic relation) plexus upgrading procedure which is based on recognition and determining the similarity of association plexuses. Determining the similarity of association plexuses is performed by the recognition of topological analogy between association plexuses. ASM responds to unpredicted input by upgrading the new association plexus modeled on remainder of the context whose subset is recognized as topologically analogous association plexus.

Abstract: Finding the best business partner can be a real challenge due to the fact that it is often necessary to exchange large amounts of data and documents. For efficient and flexible B2B cooperation, in modern enterprise, ebXML standards can be applied. Collaboration Protocol Profile (CPP) and Collaboration Protocol Agreement (CPA) as a part of ebXML are used to make ad hoc agreements on the electronic document communication between two companies. In this paper, ontologically-enhanced ebXML is presented and the effort has been invested in translating CPPs to ontologies. The presented step pave the way for the future SPARQL based reasoning over these OWL documents aiming to create CPA document. Our mapping approach can be used for every ebXML standards and utilize all the benefits that ontology offers, such as reasoning, defining rules and computing additional property values.

Abstract: Many online domains rely on recommender systems for personalization of the content offered to their customers. In order to personalize the content for the user, recommender systems rely on user’s rating history. When a new user is joining the system, the lack of rating history is a serious problem for building a personalized model. In this paper we strive to alleviate this new-user problem by reducing the number of user’s ratings needed for quality recommendation. We pose the recommendation problem as a classification problem: for each user a separate classification model is trained. Given the item unrated by that user, this model predicts whether the user will like or dislike the item. In order to alleviate the new-user problem, we employ the semi-supervised co-training algorithm. The co-training algorithm assumes a multi-view setting (i.e. a defined split of features in the dataset). In this paper we propose to use features based on users’ ratings as the first view and item description (content features) as the second view. We perform our experiments on a popular MovieLens dataset, and show that, by using co-training, for the users that have rated very few items; we can achieve the performance a supervised system would have, given a huge rating history for that user.

Abstract: Independent modeling of parts of an information system, and consequently database subschemas, may result in conflicts between the integrated database schema and the modeled subschemas. In our previous work, we have presented criteria and algorithms for resolving such conflicts and a consolidation of a database subschema with the database schema with respect to various database concepts, e.g. domains, relation schemes, primary key constraints, etc. In this paper we present an approach and new algorithms for identification of conflicts and subschema consolidation against check constraints.

Abstract: ALAS language provides constructs which hide the complexity of the agent development process. Also, it is a tool for writing programming agents regardless of the programming language in which the underlying MAS is implemented. We show how Eclipse editor for ALAS language can be implemented using Xtext framework in Eclipse. The ALAS grammar, previously written in EBNF notation, is translated to Xtext notation. Xtext generates required language artifacts and full editor infrastructure.

Abstract: In this paper we present a software framework for automatic validation of code submitted for programming assignments. The framework consists of 1) a website interface which can be used by teachers to add new assignments and by students to submit solutions, 2) a REST API interface used to submit solutions programmatically, 3) test environment which invokes assignment-specific tests for the supported programming languages, 4) a sandbox environment, created using the Docker containers, which allows for secure execution of unsafe code and 5) LMS integration by implementing the LTI specification. We have added initial support for writing simple tests in Matlab, Python and Java, as well as the ability to extend it via plugins to other programming languages.

Abstract: Observing physical characteristics of the lattice Markov Chain Monte Carlo simulation method is difficult without proper graphical visualization. Tulipko is an interactive visualization and graph plotting software application developed for this very purpose - to convert simulation numerical data into 2D graphical visualization images. It is written in Python in a modular fashion, which makes it easily extensible and being able to support numerous output graphical file formats. Tulipko is distributed as open-source software.

Abstract: PEGs (Parsing Expression Grammar) is a type of formal grammar which is gaining significant traction in the industry and academia. This paper presents a performance evaluation of our Arpeggio parser - PEG interpreter in Python programming language. The aim of the Arpeggio parser is to be used in our DSL framework for both compiling (transformation) and code editing support (e.g. syntax checking and highlighting, code completion/navigation, tree outline, code visualization). The evaluation is performed by measuring parsing time with different grammars and inputs and comparing parsing times with two other popular python PEG parser interpreters (pyparsing and pyPEG).

Abstract: This paper describes rough sets based model application during the entire project life cycle, starting from its initial phase, through realization and finally to closing. The main purpose of this model is data analysis support to successful project realization. Data analysis is based on the network diagram of particular project and implies calculation of a “path value” according to the selected weight, such as path’s: duration, cost, scope, etc. For a chosen weight every project activity may has one of the three possible estimates. After selecting the set of estimates, model’s heuristics finds a value of every path in the project network diagram and evaluates possible scenario of project realization. Model implementation may improve project realization, especially in projects with higher level of uncertainty, such as research and development ones.

Abstract: With the advent of the future Internet-of- Things, and consequent increasing complexity and diversification of the systems landscape, the interoperability becomes a critical requirement for its scalability and sustainable development. Can the current considerations of the interoperability paradigm meet these challenges? In this paper, we define the interoperability as a property of ubiquitous systems. In doing so, we use the anthropomorphic perspective to formally define this property’s enabling attributes (namely, awareness, perceptivity, intelligence and extroversion), with objective to take the initial steps towards the Theory of Interoperability-of-Everything. The identified concepts and their interrelations are illustrated by the presented Io- E ontology.

Abstract: Catastrophic events triggered or augmented by regional conflicts, climate change and new disease strains appear to be increasing in intensity and frequency. Preparation, response and recovery are essential to survive the new wave of large-scale disasters; unfortunately however, the heterogeneous set of institutions and organisations responsible for delivering emergency response services often fail to rise up to the task, with the lack of proper collaboration featuring as a main culprit. Previous research and applications have advocated for and presented a holistic and integrated approach to improve interoperability seen as an essential component of collaboration. In this position paper, we aim to contribute to advancing that research by providing a novel perspective to interoperability issues, that takes into account the advent of Internet technology feeding the emergence of the ‘Internet of Things’ (IoT), enabling the different artefacts to sense, process, share and act in an ubiquitous, Internet-like environment. Thus, we investigate the potential application of a novel IoT-aware ‘interoperability as a property’ (IaaP) paradigm in order to provide a sound state-of-the-art platform for efficient preparation by disaster management organisations and agile, adaptive response delivered by synergic task force and rescue teams.

Abstract: This paper presents the application of ontologies in the field of real estate cadastre. Ontologies can be seen as a form of metadata that provide a higher level of interoperability and integration within the Spatial Data Infrastructure, not only on the syntax level but on the semantic level as well. The application of ontologies in this domain is shown on the example of data integration of the Serbian national cadastre and the INSPIRE cadastral parcels, based on the Land Administration Domain Model defined in ISO 19152 standard.

Abstract: In this paper we will define and describe a novel approach for the development of context-driven Web Map solutions. Our approach relies on an architecture we define and present in this paper as an enhancement of GIS application interoperability platforms. The enhancement is performed through introduction of a specific architectural layer which enables the development of context-driven Web Map solutions. A novel architectural layer we introduce consists of two central components: Web Map Context Service and Context Proposal Service. These services take advantage of existing GeoNis framework for interoperability of GIS applications and enable users get appropriately visualized geospatial data depending on their context. The enhanced platform is capable of adapting to different users’ needs without changing its internal structure and improves the level Web Map solution usability.

Abstract: In this paper the vision and the main objectives of the FP7 SocIoTal project are described together with a description of the initial activities and results in relation to the scenario definition. Contrary to the general approach of creating Internet of Things (IoT) services from a business perspective, the project addresses the design of citizen centered IoT solution. For this, it is required to create new IoT solutions from the citizens' point of view and for the immediate benefit of the citizens without necessarily involving city or commercial service providers. In the initial period of the project, it was focused on the definition and analysis of potential scenarios and use cases. A co-creation approach towards definition of user scenarios was adopted resulting in a series of workshops with groups of citizens in two cities: Santander and Novi Sad, discussing the issues they face and how IoT could help and improve the quality of life in their home, building or a neighborhood. The results of the workshops, i.e. the user scenarios, are presented, as well as the requirements involved in using the methodology defined by the IoT-A Architecture Reference Model (ARM). In addition, a survey of existing citizen-centric applications, services and platforms is provided. This survey shows that there is justified motivation for fostering of creation of a privacy-preserving architecture for the citizen-centric Internet of Things, in which several existing platforms can be used as a foundation for attaining this goal.

Abstract: Business Process Modeling Notation (BPMN) is a standard for business process modeling, within organization or outside of its boundaries. BPMN analyzes a business process as a set of interrelated activities, focusing primarily on the functional perspective of the process. In contrast to the aforesaid, BPMN pays very little attention to the data/information flow, hence neglecting the informational perspective of the process while modeling. In this light, the paper proposes an approach for formal modeling and specification of information requirements used and generated in the cross-organizational business processes. UML View Profile is introduced to specify information requirements as views over the common reference ontology. BPMN 2.0 extension is performed in order to enable connecting the defined views and the corresponding process activities. Eventually, the proposed information requirements specification enables generation and automation of the message instance transformation at implementation level. The paper discusses benefits of the presented approach and practical advantages supporting the cross-organizational interoperability provisioning.

Abstract: This paper proposes a draft architecture for a software bus that deals with the interoperability challenges when having to interconnect, in a software platform, some software components/tools/methods/approaches for optimising energy efficiency. This platform will be developed in the framework of the French ANR Plate-Form(E)3 project. After having highlighted the challenging interoperability issues that are inherent to this type of platform, we are analysing a state-of-the-art for identifying the candidate technologies. An architecture based on one technology candidate for solving the basic interoperability challenge is then proposed.

Abstract: In this paper we study the suitability of data flow computing for number sorting. We briefly present and discuss the properties of sequential, parallel, and network sorting algorithms. The major part of this study is dedicated to the comparison of the most important network sorting algorithms and to the most used sequential and parallel sorting algorithms. We present the effects of sorting algorithm parallelization and further discuss its impact on sorting algorithms implementation on control flow and data flow computers. The obtained test results clearly show that under certain limitations, when measuring the time needed to sort an array of numbers, data flow computers can greatly outperform control flow computers. By finding solutions to current problems of data flow sorting implementation, important improvements to many applications that need sorting would be possible.

Abstract: Widely employed strategy “measurements in a point” has represented the backbone in measurement evolution and has become a standard method. Timecontinuous signals are sampled (at time instant) and converted into discrete digital variables with maximum accuracy. An alternative approach called “digital stochastic measurement over an interval” carries clear advantages in three challenging areas: measurement at high frequencies, measurement of noisy signals and measurement that requires high accuracy and linearity. This overview paper summarizes all cases of application of this approach in time domain as well as in frequency domain which have been developed so far. Described measurement concepts enable simple designing of the instruments with advanced metrological characteristics.

Abstract: This paper presents performance comparison, of the lid-driven cavity flow simulation, with Lattice Boltzmann method, example, between CUDA and OpenCL parallel programming frameworks. CUDA is parallel programming model developed by NVIDIA for leveraging computing capabilities of their products. OpenCL is an open, royalty free, standard developed by Khronos group for parallel programming of heterogeneous devices (CPU’s, GPU’s, … ) from different vendors. OpenCL promises portability of the developed code between heterogeneous devices, but portability has performance penalty. We investigate performance downside of portable OpenCL code comparing to similar CUDA code run on the NVIDIA graphic cards. Lid-driven cavity flow benchmark code, for both examples, has been written in Java programming language, and uses open source libraries to communicate with OpenCL and CUDA. Results of simulations for different grid sizes (from 128 to 896) have been presented and analyzed. Simulations have been carried out on an NVIDIA GeForce GT 220 GPU.