Data Communication Between an Expert System Shell and a Conventional Algorithmic Program With Application to Cam Motion Specification

Although more and more expert system shells have begun to provide communication interfaces to conventional procedural languages, the interfaces are basically shell- and language-dependent. This paper presents a simple, shell- and language-independent data communication technique between a shell and a procedural language via a concept analogous to the handshake data transmission used in microprocessors. A control file is used for the action of handshake. The communication interface is between two data files in two different language environments. A program written in a LISP-based expert system shell, OPS 5, and one written in a procedural language, FORTRAN, were tested to verify the presented technique. An expert system for cam motion specification, which needs the following three tasks—symbolic representation, numerical computation, and their communication—is described as one of the possible applications of the technique. These three tasks are essential to automated engineering design and analysis

Data Communication Between an Expert System Shell and a Conventional Algorithmic Program With Application to Cam Motion Specification

Although more and more expert system shells have begun to provide communication interfaces to conventional procedural languages, the interfaces are basically shell- and language-dependent. This paper presents a simple, shell- and language-independent data communication technique between a shell and a procedural language via a concept analogous to the handshake data transmission used in microprocessors. A control file is used for the action of handshake. The communication interface is between two data files in two different language environments. A program written in a LISP-based expert system shell, OPS 5, and one written in a procedural language, FORTRAN, were tested to verify the presented technique. An expert system for cam motion specification, which needs the following three tasks—symbolic representation, numerical computation, and their communication—is described as one of the possible applications of the technique. These three tasks are essential to automated engineering design and analysis

CAMILA: formal software engineering supported by functional programming

This paper describes two experiences in teaching a formal approach to software engineering at undergraduate level supported by Camila a functional programming based tool Carried on in diferent institutions each of them addresses a particular topic in the area requirement analysis and generic systems design in the first case specification and implementation development in the second Camila the common framework to both experiences animates a set based language extended with a mild use of category theory which can be reasoned upon for program calculation and classification purpose. The project afiliates itself to but is not restricted to the research in exploring Functional Programming as a rapid prototyping environment for formal software model. Its kernel is fully connectable to external applications and equipped with a component repository and distribution facilities. The paper explains how Camila is being used in the educational practice as a tool to think with providing a kind of cross fertilization between students under standing of diferent parts of the curriculum. Furthermore it helps in developinga number of engineering skills namely the ability to analyze and classify information problems and models and to resort to the combined use of diferent programming frameworks in approaching them

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Abstract State Machines 1988-1998: Commented ASM Bibliography

An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

Transitioning Applications to Semantic Web Services: An Automated Formal Approach

Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite expectations being high, the industrial take-up of Semantic Web Service technologies has been slower than expected. One of the main reasons is that many systems have been developed without considering the potential of the web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a very tedious and expensive process, which carries a definite risk of failure. There is an urgent need to provide strategies which allow the migration of legacy systems to Semantic Web Services platforms, and also tools to support such a strategy. In this paper we propose a methodology for transitioning these applications to Semantic Web Services by taking the advantage of rigorous mathematical methods. Our methodology allows users to migrate their applications to Semantic Web Services platform automatically or semi-automatically