1 Overview of the SAZ Method SAZ 1, 3] is an integrated method developed at the University of York 1. The method takes a diagram-and-text speciication and develops a formal description of (Z) state and operations. SAZ was originally developed 4] for use with SSADM version 4, and has been shown to raise issues which are not traditionally apparent in systems analysis and design 5]. SAZ and SSADM ...

A novel spatial tessellation scheme, spatial chromatic tessellation (SCT), is proposed for representing and exploring space– entity relationship. The objective of this article is briefly introducing the basic concepts, structure, and properties of SCT. Our study mainly focuses on the arranged chromatic diagram (ACD), which is the most typical type of SCT. A few examples show that ACD can be use...

Elsewhere Kennedy describes three elementary structures to be found in entity-relationship diagrams. Here, each of these structures is considered in the context of a transaction processing system and a specific set of components that can be associated with the structure is described. Next, an example is given illustrating the use of elementary structures as an analytical tool for data modelling...

We present a tool for measuring the Function Point software metric from the specification of a software system expressed in the form of an Entity Relationship diagram plus a Data Flow Diagram (ER-DFD). First, the informal and general Function Point counting rules are translated into rigorous rules expressing properties of the ER-DFD. Then, the rigorous rules are ∗ Corresponding author: tel ++39...

This paper describes a heuristics-based approach in the semi-automated generation of Entity-Relationship (ER) diagrams for database modelling from natural language specifications and describes the implementation of such a system called ERConverter. Though this is a semi-automatic transformation process, ER-Converter aims to require minimal human intervention during the process. ER-Converter has...

It is now well-established, that there are three important aspects of business processes: the behaviour aspect, the information aspect, and the organisation aspect. Dependent on the application area and the purpose of the models, there are even more aspects that need to be considered. Conceptually, most of the aspects of business processes are completely independent of each other. In fact, mode...

The Commercial Users of Functional Programming workshop (CUFP) is an annual workshop held in association with the International Conference on Functional Programming (ICFP). The aim of the CUFP workshops is to publicize the use of functional programming in commercial ventures. Its motto is “functional programming as a means, not an end.” This paper summarizes the presentation of the 2013 event, ...

background: today investing about the role of contributing emotional factors in etiology and treatment of functional gastrointestinal disorders was an interesting subject for many researches. the purpose of the present study was to assess the relationship between emotional intelligence and somatization in patients with functional gastrointestinal disorders. materials and method: this study was ...

We investigate the complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which include different combinations of the constructors for isa between concepts and relationships, disjointness, covering, cardinality constraints and their refinement. Specifically, we show that reasoning over EER diagrams with isa between relationships is ExpTime-complete ev...

Relational Databases are extremely commonplace in today’s society. Because of this the skill of designing such databases is often taught in university courses, where part of this skill involves being able to map from a conceptual schema to relational database tables. This is a mapping algorithm that maps from the Entity Relationship conceptual schema to relational database tables, and applying ...