Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification

Reliability and trust are fundamental prerequisites for the establishment of functional relationships among peers in a Collaborative Networked Organisation (CNO), especially in the context of Virtual Enterprises where economic benefits can be directly at stake. This paper presents a novel approach towards effective service discovery and selection that is no longer based on informal, ambiguous and potentially unreliable service descriptions, but on formal specifications that can be used to verify and certify the actual Web service implementations. We propose the use of Stream X-machines (SXMs) as a powerful modelling formalism for constructing the behavioural specification of a Web service, for performing verification through the generation of exhaustive test cases, and for performing validation through animation or model checking during service selection

THE CC1 PROJECT – SYSTEM FOR PRIVATE CLOUD COMPUTING

The main features of the Cloud Computing system developed at IFJ PAN are described. The project is financed from the structural resources provided by the European Commission and the Polish Ministry of Science and Higher Education (Innovative Economy, National Cohesion Strategy). The system delivers a solution for carrying out computer calculations on a Private Cloud computing infrastructure. It consists of an intuitive Web based user interface, a module for the users and resources administration and the standard EC2 interface implementation. Thanks to the distributed character of the system it allows for the integration of a geographically distant federation of computer clusters within a uniform user environment

Distributed systems management in wide area networks

While quite a few distributed operating systems for local-area networks exist, hardly any work has been done to date on distributed operating systems for wide-area networks. In Europe, a number of public networks are now operational, with gateways between some of them. However, the use of these networks is still mostly restricted to "remote login" and, in some cases, simple file transfer operations. To study these problems and to find structural solutions for efficient and simple use of national and international networks the working group "Distributed Systems Management" was founded within COST 11. Recently, this working group has submitted a research proposal to COST 11 to realise an infrastructure for the implementation of distributed services in a wide-area network in a European collaborative effort. The model, underlying the reserach is the service model, used in many local-area network distributed operating systems. The research project is described, and the proposed infrastructure is discussed in some detail

European Quantum Strategy – global and local consequences

Europe has to face strong competitive challenges in the field of QIT from other regions of the world. The tools for the effective implementation of the challenges related to the start, we hope, of building a quantum civilization are both common and individual in particulari European countries. Joint projects in the field of QIT, usually narrowly focused, are announced by large European Agencies and are related to their activities. Large-scale collaborative projects are of course the domain of the EC. National projects depend heavily on the capabilities of individual countries and vary greatly in size. The most technologically advanced European countries invest hundreds of millions of Euros in national QIT projects annually. The largest European FET class project currently being implemented is the Quantum Flagship. Although the EQF is basically just one of the elements of a large and complicated European scene of development of quantum technologies, it becomes the most important element and, in a sense, a dominant one, also supported from the political level. There are complex connections and feedbacks between the elements of this quantum scene. National projects try to link to the EQF. Here we are interested in such connections and their impact on the effectiveness of QIT development in Europe, and especially in Poland

Quantum Europe, Quantum Poland

Quantum Information Technologies promises are very serious, greatly exceeding only technical and market levels. Development of QIT in Europe, treated as building a new infrastructural civilization level, requires a broader view of coordination, funding and priority-setting policy. Simple measures used in the case of the development of new technologies, but not creating a significant ecosystem, are insufficient in this case. Quantum technologies are poised to create a new information layer of knowledge-based society. In this essay, the author subjectively addresses some of the issues such as: what we already know and what we don't know, and what efforts are being made in Europe