Message sequence chart specifications with cross verification

Current software specification verification methods are usually performed within the context of the specification method. There is little cross verification, pitting one type of specification against another, taking place. The most common techniques involve syntax checks across specifications or doing specification transformations and running verification within the new context. Since viewpoints of a system are different even within programming teams we concentrate on producing an efficient way to run cross verification on specifications, particularly specifications written with Message Sequence Charts and State Transition Diagrams.;In this work an algorithm is proposed in which all conditional MSCs are transformed into an algebraic representations, Message Flow Graphs and by stepwise refinement, a Global State Transition Graph is created. This GSTG has all the properties of a State Transition Diagram and therefore can be analyzed in conjunction with the original STD

Suffolk Journal, Vol. 52, No. 16, 1/26/1994

https://dc.suffolk.edu/journal/1947/thumbnail.jp

From geospatial data capture to the delivery of GIS-ready information : improved management within a GIS environment

This thesis presents the research undertaken to investigate how geospatial data handling techniques and technology can be potentially used to enhance the existing management of entire survey datasets from their captured stage to a GIS-ready state and the delivery of this to the user. Discovery of the current systems for managing survey data and information in the Survey and Mapping Department Malaysia (JUPEM) has been presented. In addition, the surveying practice and processes carried out have been examined, especially the different type of data and information existed within the raw data capture right through to the production of GIS-ready information. The current GIS technology and techniques for managing geospatial data have been inspected to gain an in-depth understanding of them. Geospatial object as an approach to model reality of the world has been discovered and used to model the raw, processed, the GIS-ready information. To implement the management, a prototype Database Management System (DBMS) has been implemented, and a trial data population and processing steps have been carried out. An enhancement of the managemenot f the datasetsf rom geospatiald ata capturet o the GIS-ready infori-nation has beend emonstratedT. o deliver online the final product, demonstrationo f available methods were illustrated, and then contrasted. A range of datasets around Malaysian context were used in the research. The investigation revealed that raw, processed and GIS-ready information can be successfully modelled as object in an object-relational spatial database. Using inherent GIS tools, survey datasets management and processing steps within the same system are evidently achieved in a prototype implemented DBMS. An improved management showing the capability of 'drill-down search' and 'two-way traceability' to access and search spatial and non-spatial information in the system is effectively illustrated. Demonstration of the vendor specific and open source technology for the GIS-ready information delivery leads to the comparison between them. The thesis concludes by recognising that a management for raw captured data, processed set of data and GIS-ready information, and the delivery of this, within GIS environment is possible. The inherent GIS tools and DBMS have presented a single-view system for geospatial data management providing superior interfaces that are easy to learn and use, and users are able to specify and perform the desired tasks efficiently. Delivery of data has some constraints that need to be considered before embarking into either vendor specific application or open source technology. In JUPEM, time and cost can be reduced by applying and implementing the suggested GIS application for cadastral and topographic surveys right up to the creation of GIS-ready information, as detailed in the thesis. The research also finds that the in-depth understanding and experience, practically and theoretically, of all aspects of current GIS technologies and techniques gained through this research has achieved an overarching inspiration: equalisation of a high level of awareness and ability of staff in handling GIS project development within currently developing countries with those in the developed countries, and within the national survey and mapping department with those of other government departments and commercial GIS contractors.EThOS - Electronic Theses Online ServicePublic Service Department of Malaysia : Department of Survey and Mapping Malaysia : University of Newcastle upon TyneGBUnited Kingdo

The philosophy of Miguel de Unamuno

Thesis (Ph.D.)--Boston University, 1933. This item was digitized by the Internet Archive

An image of enduring plurality in economic theory: The root -metaphor theory of Stephen C Pepper

This dissertation establishes an image of enduring plurality in economic theory based on four stable and adequate world hypotheses identified by philosopher of science Stephen C. Pepper. According to Pepper\u27s metaphilosophy---a theory of philosophy---a world hypothesis is a conceptual system founded on a root metaphor. A root metaphor serves as a cognitive focal point or image that guides in the transformation of uncriticized, commonsense, evidence into criticized evidence and thought. A description of a world hypothesis is developed using the root-metaphor method, which derives a unique set of structural categories identified with each root metaphor. In Pepper\u27s system, four sets of structural categories define a metatheoretical taxonomy and reflect discrete manners by which theoreticians transform uncriticized, commonsense evidence into criticized evidence in an attempt to explain the world. The four world hypotheses identified by Pepper in the philosophical literature are formism, mechanism contextualism and organicism. Formism is based on the root metaphor or perceptual experience of similarity, mechanism is based on the image of the machine; contextualism. is founded on the idea of the given event; and organicism is founded on the idea of the historical process. A world hypothesis is found to be adequate if it possesses scope and precision. Each world hypothesis is autonomous and possesses a unique ontological perspective, theory of truth, interpretation of time and causality, and mode of scientific explanation. Based on Pepper\u27s root-metaphor theory, this research shows how four major theoretical perspectives or \u27schools of thought\u27 in economics correspond with the four adequate world hypothesis. Formism is associated with critical realism, which, in turn, is considered by some to be consistent with post-Keynesian economics. Mechanism is associated with neoclassical economics, Contextualism is associated with \u27old\u27 institutional economics. Organicism is associated with Mandan economics. As a result, Pepper\u27s metaphilosophical system provides a possible philosophical and pluralist account for the origins of the four major \u27schools of thought\u27 often cited in the economic literature

1. Preface Towards an Application of FDT within OOAD

Analysis and Design are two major means for the development of complex, distributed and reliable software. Nevertheless, both techniques adress the problem from a different baseline. The main focus of FDT‘s is to ensure the correctness of the final system by the provision of extensive validation and verification methods. OOAD techniques on the other side focus on an efficient development process with smooth transistions between the single stages. The paper investigates approaches to combine both techniques to increase the mutual benefits and two limit the shortcomings of them. Within the last years object oriented analysis and design techniques (OOAD) have gained a widespread application within the area of design and development of complex and distributed software.On one side this is due to their intelligible and intuitive graphical notation and the wide availability of a range of supporting tools. On the other side object oriented paradigms have been accepted as the main means for the description and implementation of distributed systems.This is reflected as well by the languages applied (C++, Java, Smalltalk etc.) as by th