How the web of things challenges requirements engineering

As a subset of the Internet of Things (IoT), the Web of Things (WoT) shares many characteristics with wireless sensor and actuator networks (WSANs) and ubiquitous computing systems (Ubicomp). Yet to a far greater degree than the IoT, WSANs or Ubicomp, the WoT will integrate physical and information objects, necessitating a means to model and reason about a range of context types that have hitherto received little or no attention from the RE community. RE practice is only now developing the means to support WSANs and Ubicomp system development, including faltering first steps in the representation of context. We argue that these techniques will need to be developed further, with a particular focus on rich context types, if RE is to support WoT application development. © 2012 Springer-Verlag.

Relaxing claims:coping with uncertainty while evaluating assumptions at run time

Self-adaptation enables software systems to respond to changing environmental contexts that may not be fully understood at design time. Designing a dynamically adaptive system (DAS) to cope with this uncertainty is challenging, as it is impractical during requirements analysis and design time to anticipate every environmental condition that the DAS may encounter. Previously, the RELAX language was proposed to make requirements more tolerant to environmental uncertainty, and Claims were applied as markers of uncertainty that document how design assumptions affect goals. This paper integrates these two techniques in order to assess the validity of Claims at run time while tolerating minor and unanticipated environmental conditions that can trigger adaptations. We apply the proposed approach to the dynamic reconfiguration of a remote data mirroring network that must diffuse data while minimizing costs and exposure to data loss. Results show RELAXing Claims enables a DAS to reduce adaptation costs. © 2012 Springer-Verlag.

Software engineering for self-adaptive systems:a research roadmap

The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. The paper is partitioned into four parts, one for each of the identified essential views of self-adaptation: modelling dimensions, requirements, engineering, and assurances. For each view, we present the state-of-the-art and the challenges that our community must address. This roadmap paper is a result of the Dagstuhl Seminar 08031 on "Software Engineering for Self-Adaptive Systems," which took place in January 2008. © 2009 Springer Berlin Heidelberg.

Form follows function:model-driven engineering for clinical trials

We argue that, for certain constrained domains, elaborate model transformation technologies-implemented from scratch in general-purpose programming languages-are unnecessary for model-driven engineering; instead, lightweight configuration of commercial off-the-shelf productivity tools suffices. In particular, in the CancerGrid project, we have been developing model-driven techniques for the generation of software tools to support clinical trials. A domain metamodel captures the community's best practice in trial design. A scientist authors a trial protocol, modelling their trial by instantiating the metamodel; customized software artifacts to support trial execution are generated automatically from the scientist's model. The metamodel is expressed as an XML Schema, in such a way that it can be instantiated by completing a form to generate a conformant XML document. The same process works at a second level for trial execution: among the artifacts generated from the protocol are models of the data to be collected, and the clinician conducting the trial instantiates such models in reporting observations-again by completing a form to create a conformant XML document, representing the data gathered during that observation. Simple standard form management tools are all that is needed. Our approach is applicable to a wide variety of information-modelling domains: not just clinical trials, but also electronic public sector computing, customer relationship management, document workflow, and so on. © 2012 Springer-Verlag.

Generalized Nets Model of an E-Learning System Software Architecture

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006.

Faculty of Mathematics and Informatics, Sofia University

The Faculty of Mathematics and Informatics (FMI) of Sofia University “St. Kliment Ohridski” is briefly presented as an educational and research institution. The possible contribution of FMI to KT-DigiCULT-BG project is analyzed.

Mathematica Balkanica New Series Book Volume 24 2010

Muharem Avdispahic 1 Coordinator of the TEMPUS Project SEE Doctoral Studies in Mathematical Sciences (144703-TEMPUS-2008-BA-TEMPUS-JPCR) The main goals of the TEMPUS Project ”SEE Doctoral Studies in Math- ematical Sciences”, funded by European Commission under the TEMPUS IV first call, consist of the development of a model of structured doctoral studies in Mathematical Sciences involving the network of Western Balkans universi- ties, the curricula design based on the existing strenghts and tendencies in the areas of Pure Mathematics, Applied Mathematics and Theoretical Computer Science and the first phase of implementation of the agreed model during the SEE Doctoral Year in Mathematical Sciences 2011. A decisive step in this direction was ”SEE Young Researchers Workshop” held in Ohrid, FYR Macedonia, September 16-20, 2009, as a part of the Math- ematical Society of South-Eastern Europe (MASSEE) International Congress on Mathematics - MICOM 2009. MICOM 2009 continued the tradition of two previous highly successful MASSEE congresses that took place in Bulgaria in 2003 and in Cyprus in 2006. This volume of the journal Mathematika Balkanica contains the talks de- livered at Ohrid Workshop by South-Eastern European PhD students in various stage of their research towards a doctoral degree in mathematics or informat- ics. Facilitating publication efforts of young researchers from the universities of Sarajevo, Tuzla, Belgrade, Skopje, Stip, Graz, and Sofia fully coincides with MASSEE goals to promote, organize and support scientific, research and edu- cational activities in South-Eastern Europe. The consent of the Editorial Board of Mathematica Balkanica to publish ”SEE Young Researchers Workshop” contributions aptly meets intentions of European reform processes aimed at creating the European Higher Education Area and European Research Area. It is an encouragement to these young researchers in the first place and at the same time an encouragement to their institutions in overcoming fragmentation and enhancing their capacities through fostering reciprocal development of human resources.

Motivating students to learn through good and helpful coursework feedback

The 2008 National Student Survey revealed that: 44% of full-time students in England did not think that the feedback on their work had been prompt nor did they agree that the feedback on their work helped them clarify things that they did not understand (HEFCE, 2008). Computer Science and Engineering & Technology have been amongst the poorest performers in this aspect as they ranked in the lower quartile (Surridge, 2007, p.32). Five years since the first NSS survey, assessment and feedback remains the biggest concern. Dissatisfaction in any aspect of studies demotivates students and can lead to disengagement and attrition. As the student number grows, the situation can only get worse if nothing is done about it. We have conducted a survey to investigate views on assessment and feedback from Engineering, Mathematics and Computing students. The survey aims at investigating the core issues of dissatisfaction in assessment and feedback and ways in which UK Engineering students can learn better through helpful feedback. The study focuses on collecting students' experiences with feedback received in their coursework, assignments and quizzes in Computing Science modules. The survey reveals the role of feedback in their learning. The results of the survey help to identify the forms of feedback that are considered to be helpful in learning and the time frame for timely feedback. We report on the findings of the survey. We also explore ways to improve assessment and feedback in a bid to better engage engineering students in their studies.

A knowledge based system of principled negotiation for complex business contract

Automated negotiation systems can do better than human being in many aspects, and thus are applied into many domains ranging from business to computer science. However, little work about automating negotiation of complex business contract has been done so far although it is a kind of the most important negotiation in business. In order to address this issue, in this paper we developed an automated system for this kind of negotiation. This system is based on the principled negotiation theory, which is the most effective method of negotiation in the domain of business. The system is developed as a knowledge-based one because a negotiating agent in business has to be economically intelligent and capable of making effective decisions based on business experiences and knowledge. Finally, the validity of the developed system is shown in a real negotiation scenario where on behalf of human users, the system successfully performed a negotiation of a complex business contract between a wholesaler and a retailer. © 2013 Springer-Verlag Berlin Heidelberg.

Advanced data driven visualisation for geo-spatial data

Most current 3D landscape visualisation systems either use bespoke hardware solutions, or offer a limited amount of interaction and detail when used in realtime mode. We are developing a modular, data driven 3D visualisation system that can be readily customised to specific requirements. By utilising the latest software engineering methods and bringing a dynamic data driven approach to geo-spatial data visualisation we will deliver an unparalleled level of customisation in near-photo realistic, realtime 3D landscape visualisation. In this paper we show the system framework and describe how this employs data driven techniques. In particular we discuss how data driven approaches are applied to the spatiotemporal management aspect of the application framework, and describe the advantages these convey. © Springer-Verlag Berlin Heidelberg 2006.

Pairwise comparison matrices: an empirical research

Our research focused on testing various characteristics of pairwise comparison (PC) matrices in controlled experiments. About 270 students have been involved in the test exercises and the final pool contained 450 matrices. Our team conducted experiments with matrices of different size obtained from different types of MADM problems. The matrix elements have been generated by different questioning orders, too. The cases have been divided into 18 subgroups according to the key factors to be analyzed. The testing environment made it possible to analyze the dynamics of inconsistency as the number of elements increased in a given case. Various types of inconsistency indices have been applied. The consequent behavior of the decision maker has also been analyzed in case of incomplete matrices using indicators to measure the deviation from the final ranking of alternatives and from the final score vector.

Számítástechnikai hulladékok kezelési lehetőségei és gyakorlata Magyarországon (The possibilities and practice of computer waste management)

A szerzők cikkükben a számítástechnikai hulladékokkal foglalkoznak, számítástechnikai eszközök alatt a számítógép konfigurációk összetevőit értik, tehát számítógépeket (asztali, hordozható, terminál stb.), és perifériáit (monitor, nyomtató, cd-író stb.), valamint ezek alkatrészeit és kiegészítőit (chipek, mechanikus részek, festékkazetták stb.). A rendszeres használat környezeti hatásait csak abból a szempontból vizsgálták, hogy ennek során bizonyos alkatrészek, kellékek (kiemelten a nyomtatók festékkazettái) a gépnél nagyobb gyakorisággal cserélődnek, s válhatnak hulladékká. A fő fókusz a számítástechnikai eszközök élettartamának vége, s ebből a szempontból kulcsfogalom a használt személyi számítógép kategória. _____ In their article, the authors discuss the issue of computer waste; under the category of information technology devices they understand the components of computer configurations, that is computers (desktop, portable, terminal etc.) and their peripheries (monitor, printer, CD writer, etc), and also the components and supplements of these (chips, mechanical parts, toner cartridges, etc.). The environmental impact of regular use was examined only from one aspect: during regular use certain components and accessories (especially the toner cartridges of printers) are more often changed and become waste. The main focus is the end of the life time of computer devices, and from this point of view used personal computers are a key concept.

A climate profile indicator based comparative analysis of climate change scenarios with regard to maize cultures

Using ecological data compiled from scientific literature on pest, pathogen and weed species characteristic in maize cultures in Hungary, we defined monthly climate profile indicators and applied them to complete a comparative analysis of the historical and modelled climate change scenario meteorological data of the city of Debrecen. Our results call attention to a drastic decline of the competitive ability of maize as compared to several C4 and especially C3 plants. According to the stricter scenarios, the frequency of potential pest and pathogen damage emergency situations will grow significantly by the end of the century.

Climatic effects on the phenology of geophytes

Nowadays, the scientific and social significance of the research of climatic effects has become outstanding. In order to be able to predict the ecological effects of the global climate change, it is necessary to study monitoring databases of the past and explore connections. For the case study mentioned in the title, historical weather data series from the Hungarian Meteorological Service and Szaniszló Priszter’s monitoring data on the phenology of geophytes have been used. These data describe on which days the observed geophytes budded, were blooming and withered. In our research we have found that the classification of the observed years according to phenological events and the classification of those according to the frequency distribution of meteorological parameters show similar patterns, and the one variable group is suitable for explaining the pattern shown by the other one. Furthermore, our important result is that the dates of all three observed phenophases correlate significantly with the average of the daily temperature fluctuation in the given period. The second most often significant parameter is the number of frosty days, this also seem to be determinant for all phenophases. Usual approaches based on the temperature sum and the average temperature don’t seem to be really important in this respect. According to the results of the research, it has turned out that the phenology of geophytes can be well modelled with the linear combination of suitable meteorological parameters

Engineering access control for distributed enterprise applications

Access control (AC) is a necessary defense against a large variety of security attacks on the resources of distributed enterprise applications. However, to be effective, AC in some application domains has to be fine-grain, support the use of application-specific factors in authorization decisions, as well as consistently and reliably enforce organization-wide authorization policies across enterprise applications. Because the existing middleware technologies do not provide a complete solution, application developers resort to embedding AC functionality in application systems. This coupling of AC functionality with application logic causes significant problems including tremendously difficult, costly and error prone development, integration, and overall ownership of application software. The way AC for application systems is engineered needs to be changed. ^ In this dissertation, we propose an architectural approach for engineering AC mechanisms to address the above problems. First, we develop a framework for implementing the role-based access control (RBAC) model using AC mechanisms provided by CORBA Security. For those application domains where the granularity of CORBA controls and the expressiveness of RBAC model suffice, our framework addresses the stated problem. ^ In the second and main part of our approach, we propose an architecture for an authorization service, RAD, to address the problem of controlling access to distributed application resources, when the granularity and support for complex policies by middleware AC mechanisms are inadequate. Applying this architecture, we developed a CORBA-based application authorization service (CAAS). Using CAAS, we studied the main properties of the architecture and showed how they can be substantiated by employing CORBA and Java technologies. Our approach enables a wide-ranging solution for controlling the resources of distributed enterprise applications. ^