Using state machines for the visualisation of specifications via refinement

We talk in this paper about using state machines and refinement to characterise the visualisation of a computation. We use Z specifications to give examples of systems in the usual way, and then use Z schemas to also represent states and transitions in state machines, which we consider to be a particular kind of visualisation of a specified system. We have investigated the principle of substitutivity and the idea of downward simulation to check whether or not a refinement relation exists between the specification and the state machine. We are looking at this because we believe that the soundness of the visualisation can be captured by such a refinement relationship

Design study of a regenerative pump using one-dimensional and three-dimensional numerical techniques

Regenerative pumps are low cost, compact, able to deliver high heads at low flow rates. Furthermore with stable performance characteristics they can operate with very small NPSH. The complexity of the flow field is a serious challenge for any kind of mathematical modelling. This paper compares an analytical and numerical technique of resolving the performance for a new regenerative pump design. The performance characteristics computed by a CFD approach and a new one-dimensional model are compared and matched to experimental test results. The approaches of both modelling techniques are assessed as potential design tools. The approaches are shown to not only successfully resolve the complex flow field within the pump; the CFD is also capable of resolving local flow properties to conduct further refinements. The flow field is represented by the CFD as it has never been before. A new design process is suggested. The new regenerative pump design is considered with a comparable duty centrifugal pump, proving that for many high head low flow rate applications the regenerative pump is a better choice

Advanced Knowledge Technologies at the Midterm: Tools and Methods for the Semantic Web

The University of Edinburgh and research sponsors are authorised to reproduce and distribute reprints and on-line copies for their purposes notwithstanding any copyright annotation hereon. The views and conclusions contained herein are the author’s and shouldn’t be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of other parties.In a celebrated essay on the new electronic media, Marshall McLuhan wrote in 1962:Our private senses are not closed systems but are endlessly translated into each other in that experience which we call consciousness. Our extended senses, tools, technologies, through the ages, have been closed systems incapable of interplay or collective awareness. Now, in the electric age, the very instantaneous nature of co-existence among our technological instruments has created a crisis quite new in human history. Our extended faculties and senses now constitute a single field of experience which demands that they become collectively conscious. Our technologies, like our private senses, now demand an interplay and ratio that makes rational co-existence possible. As long as our technologies were as slow as the wheel or the alphabet or money, the fact that they were separate, closed systems was socially and psychically supportable. This is not true now when sight and sound and movement are simultaneous and global in extent. (McLuhan 1962, p.5, emphasis in original)Over forty years later, the seamless interplay that McLuhan demanded between our technologies is still barely visible. McLuhan’s predictions of the spread, and increased importance, of electronic media have of course been borne out, and the worlds of business, science and knowledge storage and transfer have been revolutionised. Yet the integration of electronic systems as open systems remains in its infancy.Advanced Knowledge Technologies (AKT) aims to address this problem, to create a view of knowledge and its management across its lifecycle, to research and create the services and technologies that such unification will require. Half way through its sixyear span, the results are beginning to come through, and this paper will explore some of the services, technologies and methodologies that have been developed. We hope to give a sense in this paper of the potential for the next three years, to discuss the insights and lessons learnt in the first phase of the project, to articulate the challenges and issues that remain.The WWW provided the original context that made the AKT approach to knowledge management (KM) possible. AKT was initially proposed in 1999, it brought together an interdisciplinary consortium with the technological breadth and complementarity to create the conditions for a unified approach to knowledge across its lifecycle. The combination of this expertise, and the time and space afforded the consortium by the IRC structure, suggested the opportunity for a concerted effort to develop an approach to advanced knowledge technologies, based on the WWW as a basic infrastructure.The technological context of AKT altered for the better in the short period between the development of the proposal and the beginning of the project itself with the development of the semantic web (SW), which foresaw much more intelligent manipulation and querying of knowledge. The opportunities that the SW provided for e.g., more intelligent retrieval, put AKT in the centre of information technology innovation and knowledge management services; the AKT skill set would clearly be central for the exploitation of those opportunities.The SW, as an extension of the WWW, provides an interesting set of constraints to the knowledge management services AKT tries to provide. As a medium for the semantically-informed coordination of information, it has suggested a number of ways in which the objectives of AKT can be achieved, most obviously through the provision of knowledge management services delivered over the web as opposed to the creation and provision of technologies to manage knowledge.AKT is working on the assumption that many web services will be developed and provided for users. The KM problem in the near future will be one of deciding which services are needed and of coordinating them. Many of these services will be largely or entirely legacies of the WWW, and so the capabilities of the services will vary. As well as providing useful KM services in their own right, AKT will be aiming to exploit this opportunity, by reasoning over services, brokering between them, and providing essential meta-services for SW knowledge service management.Ontologies will be a crucial tool for the SW. The AKT consortium brings a lot of expertise on ontologies together, and ontologies were always going to be a key part of the strategy. All kinds of knowledge sharing and transfer activities will be mediated by ontologies, and ontology management will be an important enabling task. Different applications will need to cope with inconsistent ontologies, or with the problems that will follow the automatic creation of ontologies (e.g. merging of pre-existing ontologies to create a third). Ontology mapping, and the elimination of conflicts of reference, will be important tasks. All of these issues are discussed along with our proposed technologies.Similarly, specifications of tasks will be used for the deployment of knowledge services over the SW, but in general it cannot be expected that in the medium term there will be standards for task (or service) specifications. The brokering metaservices that are envisaged will have to deal with this heterogeneity.The emerging picture of the SW is one of great opportunity but it will not be a wellordered, certain or consistent environment. It will comprise many repositories of legacy data, outdated and inconsistent stores, and requirements for common understandings across divergent formalisms. There is clearly a role for standards to play to bring much of this context together; AKT is playing a significant role in these efforts. But standards take time to emerge, they take political power to enforce, and they have been known to stifle innovation (in the short term). AKT is keen to understand the balance between principled inference and statistical processing of web content. Logical inference on the Web is tough. Complex queries using traditional AI inference methods bring most distributed computer systems to their knees. Do we set up semantically well-behaved areas of the Web? Is any part of the Web in which semantic hygiene prevails interesting enough to reason in? These and many other questions need to be addressed if we are to provide effective knowledge technologies for our content on the web

Ten virtues of structured graphs

This paper extends the invited talk by the first author about the virtues of structured graphs. The motivation behind the talk and this paper relies on our experience on the development of ADR, a formal approach for the design of styleconformant, reconfigurable software systems. ADR is based on hierarchical graphs with interfaces and it has been conceived in the attempt of reconciling software architectures and process calculi by means of graphical methods. We have tried to write an ADR agnostic paper where we raise some drawbacks of flat, unstructured graphs for the design and analysis of software systems and we argue that hierarchical, structured graphs can alleviate such drawbacks

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

3D-based Advanced Machine Service Support

In the face of today's unpredictable and fluctuating global market, there have been trends in industry towards wider adoption of more advanced and flexible new generation manufacturing systems. These have brought about new challenges to manufacturing equipment builders/suppliers in respect of satisfying ever-increasing customers' requirements for such advanced manufacturing systems. To stay competitive, in addition to supplying high quality equipment, machine builders/suppliers must also be capable of providing their customers with cost-effective, efficient and comprehensive service support, throughout the equipment's lifecycle. This research study has been motivated by the relatively unexplored potential of integrating 3D virtual technology with various machine service support tools/techniques to address the aforementioned challenges. The hypothesis formulated for this study is that a 3D-based virtual environment can be used as an integration platform to improve service support for new generation manufacturing systems. In order to ensure the rigour of the study, it has been initiated with a two-stage (iterative) literature review, consisting of: a preliminary review for the identification of practical problems/main issues related to the area of machine service support and in-depth reviews for the identification of research problems/questions and potential solutions. These were then followed by iterations of intensive research activities, consisting of: requirements identification, concept development, prototype implementation, testing and exploration, reflection and feedback. The process has been repeated and revised continuously until satisfactory results, required for answering the identified research problems/questions, were obtained. The main focus of this study is exploring how a 3D-based virtual environment can be used as an integration platform for supporting a more cost-effective and comprehensive strategy for improving service support for new generation manufacturing systems. One of the main outcomes of this study is the proposal of a conceptual framework for a novel 3D-based advanced machine service support strategy and a reference architecture for a corresponding service support system, for allowing machine builders/suppliers to: (1) provide more cost-effective remote machine maintenance support, and (2) provide more efficient and comprehensive extended service support during the equipment's life cycle. The proposed service support strategy advocates the tight integration of conventional (consisting of mainly machine monitoring, diagnostics, prognostics and maintenance action decision support) and extended (consisting of mainly machine re-configuration, upgrade and expansion support) service support functions. The proposed service support system is based on the integration of a 3D-based virtual environment with the equipment control system, a re-configurable automated service support system, coupled with a maintenance-support-tool/strategy support environment and an equipment re-configuration/upgrade/expansion support environment, in a network/lntenet framework. The basic concepts, potential benefits and limitations of the proposed strategy/ system have been explored via a prototype based on a laboratory-scale test bed. The prototype consists of a set of integrated modular network-ready software tools consisting of: (1) an integrated 20/30 visualisation and analysis module, (2) support tools library modules, (3) communication modules and (4) a set of modular and re-configurable automated data logging, maintenance and re-configuration support modules. A number of test cases based on various machine service support scenarios, have been conducted using the prototype. The experimentation has shown the potential and feasibility (technical implementation aspects) of the proposed 3D-based approach. This research study has made an original contribution to knowledge in the field of machine service support. It has contributed a novel approach of using a 3D-based virtual environment as an integration platform for improving the capability of machine builders/suppliers in providing more cost-effective and comprehensive machine service support for complex new generation manufacturing systems. Several important findings have resulted from this work in particular with respect to how various 20/30 visualisation environments are integrated with machine service support tools/techniques for improving service support for complex manufacturing systems. A number of aspects have also been identified for future work

Compositional Performance Modelling with the TIPPtool

Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool. It incorporates methods for compositional specification as well as solution, based on state-of-the-art techniques, and wrapped in a user-friendly graphical front end. Apart from highlighting the general benefits of the tool, we also discuss some lessons learned during development and application of the TIPPtool. A non-trivial model of a real life communication system serves as a case study to illustrate benefits and limitations

Model-based dependability analysis : state-of-the-art, challenges and future outlook

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally