Towards an FCA based tool for visualising Formal Specifications
نویسنده
چکیده
This paper describes an approach to visualizing Z specifications based on Formal Concept Analysis (FCA). The approach takes a source specification written in LTEX and produces a formal context representing the static structure of the specification. The corresponding formal concept lattice can be used to investigate and explore various properties of the specification. The line diagram does not replace, but is intended to be used in conjunction with, the original Z specification. Abstraction through conceptual scaling, nesting, zooming and folding line-diagrams allow users to retain context while navigating large specifications. An example based on Spivey’s classic BirthdayBook specification is presented and the development of a prototype visual specification browser is described.
منابع مشابه
Operational Specification for FCA using Z
We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification ...
متن کاملBridging the gap between Use Case Analysis and Class Structure Design by Formal Concept Analysis
The early stages of software development are increasingly supported by objectoriented analysis and design (OOA/OOD) techniques. Recent methodologies suggest to combine Jacobson’s use case analysis with modelling techniques for class/object structure, object behaviour and process interaction. However, the choice and definition of objects and classes in the domain space is not supported by either...
متن کاملAn Approach Towards Classifying and Navigating RDF data based on Pattern Structures
With an increased interest in machine processable data, more and more data is now published in RDF (Resource Description Framework) format. This RDF data is present in independent and distributed resources which needs to be centralized, navigated and searched for domain specific applications. This paper proposes a new approach based on Formal Concept Analysis (FCA) to create a navigation space ...
متن کاملQuerying and analysing document collections with Formal Concept Analysis
Formal Concept Analysis (FCA) has been applied to the task of document retrieval in many different ways. In this paper we present a new document management tool, based on FCA and aimed at facilitating the retrieval of documents and the understanding of the structure of collections of standard documents such as PDF, HTML or Word files. The user interface is designed to allow easy access to the t...
متن کاملFormal Concept Analysis and Information Retrieval - A Survey
One of the first models to be proposed as a document index for retrieval purposes was a lattice structure, decades before the introduction of Formal Concept Analysis. Nevertheless, the main notions that we consider so familiar within the community (“extension”, “intension”, “closure operators”, “order”) were already an important part of it. In the ’90s, as FCA was starting to settle as an epist...
متن کامل