This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.
The Linked Data movement has been very successful in bringing large amounts of open RDF data on the Web. Much research and development work has been done on publishing Linked Data, while update access to linked data sources has been neglected. This paper presents a configurable approach to creating custom RESTful APIs for writing and updating linked data. In the spirit of hypertext, the approach fully embraces hyperlinking and resource descriptions, resulting in an update-enabled hyperdata.
The Web service requests are increasingly complex, the complex request requires many functionalities having any dependencies, binary dependencies or global dependencies. The request can requires also constraints, objectives and conditions. All requested elements having a semantically links which they are defined as an ontology. The ontology can be used as a smart questionnaire to formalize the request, and its semantic is useful to provide automatically the resolution way. Since we can not find an answering service for a complex request, we use the composition of existing Web services to design the answer (s). Then we determinate -according to the request characteristics- the suitable composition model. This paper presents an ontology of complex request and its corresponded answering compositions models.
With the proliferation of Internet-enabled devices and the growing adoption of the Service Oriented Architecture (SOA), users increasingly require services that can meet their functional and nonfunctional requirements. In this paper, we propose a novel framework for Web service provisioning, which relies on brokered Service Level agreements (SLAs), between clients and service providers, and a publish/subscribe model to handle notifications on significant changes in quality-of-service (QoS) offerings. One of the advantages of the approach is that service providers can provide several service types and different levels of service. Moreover, the publish/subscribe model allows Service Brokers to be aware of significant changes in the QoS offerings of service providers; and consequently, be able to monitor the execution of SLAs.
Lifelong learning is an important part in the career of an engineer in computer sciences. In this paper the characteristics of life long learning in Computer Sciences are worked out. In 2007 the European Commission launched a lifelong learning programme to enables people at all stages of their lives to take part in stimulating learning experiences. A network of seven European universities started within this programme a project designing a Master program in Computer Science that appeals to non-traditional students who may wish to study on a part-time and/or intermittent basis, in an international framework. (EMaCS means European Master Program in Computer Science) This paper describes how the EMaCS project approaches to the life long learning problems in Computer Science.
In our previous research, we proposed an Autonomous Matchmaking Web Services (AMWS) framework, in which Web services broker themselves to notify the service registry whether they are suitable to the service requests. This framework is designated to more efficiently work for dynamically assembling services at runtime in a massively distributed environment. The central point of the AMWS is to use RDF (Resource Description Framework) to carry all exchanging messages. However, the implementation detail has not been discussed yet. In this paper, we focus on showing the two most important implementation parts of (1) transforming existing services to become AMWS compliant services that can consume and produce RDF messages; (2) service semantics can be annotated and self-brokered by using our developed Development Time Semantic Annotation and Lowering (DtSAL) Library at programming time.
In this paper we describe the use of domain ontologies in a flexible web dialogue system for improving both its adaptability and its collaborative ability. We have developed a multilingual mixed-initiative dialogue system for guiding the user when accessing several types of web services. The use of domain ontologies facilitates the adaptation of the system to new web services as well as the generation of more collaborative responses.
This paper presents our experience in a programming course unit during its first year of EHEA. The course unit features described are the students' profile, teaching methodology and assessment criteria. The virtualisation process and the self-evaluation carried out are presented, concluding our analysis with a set of discussions and recommendations to improve our next teaching course.
The Internet represents a new industrial revolution, arguably with a more significant socio-economic impact than the previous two industrial revolutions. The impact of the Internet has resulted in significant changes within education with eLearning now an accepted and commonplace form of education. However, the online tools that are used in eLearning tend to be first generation Web tools rather than second generation, Web 2.0, tools. Some reasons for this are the lack of empirical evidence supporting their use in education, the perceived complexity of the tools and lack of training. This paper presents the results of a large-scale European pilot into the use of Web 2.0 tools across all educational sectors through an innovative and simple-to-use platform that allows teachers to customize which Web 2.0 tools they wish to use in their courses.
Since the introduction of computers into education in the 1960s their potential for education has been recognized by researchers, policymakers and practitioners. However, the rapid and seemingly constant evolution of digital technology means that teachers face the problems of keeping pace with the technological changes within society, identifying which technologies are most suitable for use within education and adapting or creating pedagogies that suit these technologies. One technology that has significantly impacted education is the Internet and, more recently, the recent emergence of Web 2.0 technologies. This paper presents the results of a teacher evaluation into the use of Web 2.0 technologies undertaken as part of a European project that aims to provide teachers with a simple to use Web 2.0 platform, a supporting pedagogy for Web 2.0 and a training package for teachers and teacher trainers.
The upcoming business model of providing Software as a Service (SaaS) not only creates new challenges for service providers but also for software engineers. Data is at the heart of SaaS. Therefore, multi-tenancy data architecture becomes hot topic. However, most tenant data solutions only solve part of the problem and focus on isolation and sharing. In this paper, we present an architecture that enables multi-tenancy at the database driver level, which enable tenants to run their applications in a multi-tenant framework. This approach is transparent for the application. Additionally, the architecture and analysis are discussed in detail.
Nowadays, there are a huge number of Spatial Data Infrastructures (SDIs) offering public spatial services. For this reason, it is very difficult for a user to know what spatial service could satisfy his/her needs. The SDI community now demands an approach for integrating SDI services and relating them with semantic features. In order to contribute to a solution, in this paper we propose an approach based on IR (Information Retrieval) for building a search engine which helps users to find geographical information, available on the Internet, about different concepts located in a particular administrative division. In our approach, a novel algorithm updates an inverted index, taking into account semantic relationships between concepts which are obtained from ontologies. Furthermore, results are sorted by conceptual and geographic criteria fitting the user query.
In this work we give some remarks and counter-measures in order to show that the cryptoanalysis presented in [11] on the secure multicast protocol introduced in [8] does not affect significantly its security.
“This research paper presents a framework, which simplifies the task of developing, deploying, and managing complex, integrated, and standards-compliant OLTP framework solution - an enterprise resource planning software for putting universities online. The framework enables development, configuration, integration, and management of solution at a higher semantic level. It also provides commonly used services such as access to university resources, access control and authentication through biometrics, public key infrastructure, and support for digital signatures. The ability to manage solution at a higher semantic level enables administrators who are not proficient in programming to customize solution in order to address specific needs of the different stakeholders. This includes the ability to customize interfaces for multiple local languages used in university transactions and to customize workflows to conform to the organizational structure and policies to manage access to and retention of university records.
Wikis have become increasingly popular both in corporate and educational environments due to the new ways of working collaboratively that they offer, including new ways to improve the learning process of students and employees. Leading universities worldwide have started implementing their own wikis and applying them to different subjects with success, which made more universities follow their example, to the point where nowadays we can find wikis (some of them still in development) in almost all major universities in the world. Nevertheless, not all of the benefits of wikis in multidisciplinary university environments are always obtained; on the contrary many students and teachers do not use it to its full potential. For this reason, and in pursue of a greater understanding of why this occurs and which methods could be implemented to achieve and reach the wikis full educational potential, in this article a particular initiative in a specific subject of the Computer Science degree is described. The results will contribute to further evaluate the viability and develop the potential of the implementation of wiki platforms in other subjects and degrees, in the hopes of reaching a fully functional multidisciplinary wiki.
Browser-based games played directly in the web browser are a new business environment, where traditional business models for digital games needs to be replaced with new one. There are no game packages to be sold in the first place, and availability of free options makes browser-based game with monthly costs very uninteresting for the players. Therefore neither: “make game - sell game” cycle or monthly costs based subscriber model are eligible for those. These games have a unique player group, which consist of very experienced players and huge mass of new players. In this paper, we describe business model used with long-term browser-based games. Common sources of income in this business model are selling extra features to the players and advertisement space to the advertisers.
Cloud computing known as an IT environment that includes all elements of the IT and network stack, enabling the development, delivery, and consumption of Cloud Services. In this paper we present Some SOA frameworks which could be used in our proposition. We introduce a concept of multi-tenancy. We studied it with some works in this area which combined SOA, multi-tenancy and cloud. We are interested too by virtual appliance and OVF in the cloud. Finally we discuss some possible solutions and some propositions which will be studied in future works.
Different technologies are used to build different projects in the same organization. Service Oriented Architecture (SOA) is the data bridge between incompatible technologies. It is considered the most important technology for integration. A service modeling technique based on the suggested healthcare service patterns has been applied on an Egyptian public healthcare case study where SOA is used for integrating the hospitals through an Enterprise Service Bus (ESB). Interactions between different hospitals through a governmental portal are known as Government to Government (G2G) services that are similar to Business to Business (B2B) e-commerce transactions but it is on the governmental level. This paper will cover the analysis and design of public healthcare integration services and their orchestration over the governmental ESB portal. The service patterns are the contribution of this paper and they resemble healthcare activities invoked by five major actors; the government as facilitator, the producers to cover the doctors and nurses, the healthcare providers represented in hospitals and clinics, the health intermediaries to include health insurance companies and pharmacies and finally the patient. Re-usability, abstraction, loose coupling and scalability are the software metrics used in this study to ensure that the proposed patterns are generic to any kind of public healthcare application.
Corporations invest amounts of capital in building plans to organize their workers. Academic institutions, especially in Europe, is moving towards the student so a much more coordination is required for both teachers and students. There are pretty much methodologies to organize how task should be accomplished but they lack effectiveness due to a poor integration with the worker, student, coordinator, etc. This paper shows an integrated system to track and organize task, using smartphones and the cloud.
The interpolation of contour pixels, with splines, of an order greater than or equal to two, usually causes oscillations that do not fit the original shape. To overcome this we propose using a least squares filter before carrying out the interpolation. This results in a good compromise between the smoothness of the curve and the best fit to the original contour. Representing the contour with a continuous model instead of a discrete model has many advantages for carrying out calculations, as for example the contour curvature, which involves first and second order derivatives, as well as operations that are not well defined in the discrete world. We also present a new way of calculating FIR approximations to filters based on B-splines. The great advantage of this approximation in the case of least squares filter is that it does not need downsampling. This property makes it invariant to translations, and this is very important in classification tasks.
