Web Service Discovery in the FUSION Semantic Registry

The UDDI specification was developed as an attempt to address the key challenge of effective Web service discovery and has become a widely adopted standard. However, the text-based indexing and search mechanism that UDDI registries offer does not suffice for expressing unambiguous and semantically rich representations of service capabilities, and cannot support the logic-based inference capacity required for facilitating automated service matchmaking. This paper provides an overview of the approach put forward in the FUSION project for overcoming this important limitation. Our solution combines SAWSDL-based service descriptions with service capability profiling based on OWL-DL, and automated matchmaking through DL reasoning in a semantically extended UDDI registry

Modelling Of A Microgrid Using Z Notation

A Microgrid is a group of electrical sources and connected loads that operate energy grids in grid-connected or islanded mode. Microgrid usage has increased recently due to improved technology andthe effectiveness of renewable energy sources. To produce a balanced and stable power supply frommicrogrids and meet the load demand is a challenging research area in both the electrical engineering and software engineering fields. This work presents a formal model for representing the microgrid system to prevent failure or inconsistencies in the power generation and usage. A methodology for creating a formal model for a microgrid is a critical approach to overcoming the challenges of microgrid management and is examined in this work. The work was studied in two parts. The first part assessed the microgrid’s existing class diagram that is then transformed into a precise representation in the Z notation. The Z notation is a mathematical specification language used for describing system properties, and to reason about possible refinements of a design. The second part involved verifying and validation of the microgrid system through the creation of a structured specification using Z. The research addressed class diagram faults in model-based testing. Hence, the class diagrams are analyzed, recreated, and then designed using the formal notation in an iterative process, resulting in a precise description of the microgrid structure in a formal, unambiguous, and effective manner. This description can then be analyzed to determine the correctness of the UML description that will be used to design a microgrid power management system

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (V&V). The automation of the proof process will make formal methods far more attractive by reducing the time required and the effort involved in the V&V of software systems

Design and implementation of a federated health record server

This paper describes the practical implementation of a federated health record serverbased on a generic and comprehensive public domain architecture and deployed in alive clinical setting.The authors, working at the Centre for Health Informatics and MultiprofessionalEducation (University College London), have built up over a decade of experiencewithin Europe on the requirements and information models that are needed to underpincomprehensive multi-professional electronic health records. This work has involvedcollaboration with a wide range of healthcare and informatics organisations and partnersin the healthcare computing industry across Europe though the EU Health Telematicsprojects GEHR, Synapses, EHCR-SupA, SynEx and Medicate. The resultingarchitecture models have influenced recent European standards in this area, such asCEN TC/251 ENV 13606. UCL has now designed and built a federated health recordserver based on these models which is now running in the Department ofCardiovascular Medicine at the Whittington Hospital in north London. A new EC FifthFramework project, 6WINIT, is enabling new and innovative IPv6 and wirelesstechnology solutions to be added to this work.The north London clinical demonstrator site has provided the solid basis from which toestablish "proof of concept" verification of the design approach, and a valuableopportunity to install, test and evaluate the results of the component engineeringundertaken during the EC funded projects