Formalization of techniques: chopping down the methodology jungle
Information and Software TechnologyPublished 1 January 1992
Arthur H. M. ter Hofstede, TP van der Weide
Citations45
SJR quartileQ1
SJR score1.04
SNIP2.15
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The formalization of techniques in the context of information system development methodologies is discussed, and the Predicator Model is presented as an extended example.
Abstract
The formalization of techniques in the context of information system development methodologies is discussed. When such methodologies are developed, the primary goal is applicability. After the methodology has proved itself in practice, it will be applied in more sophisticated situations, pushing it to its limits. In those cases, informal definitions are known to be inappropriate. Some typical problems are considered. After that, a procedure for proper formalization is described. The Predicator Model is presented as an extended example. Finally, some experiences with this approach to formalization are discussed.
Keywords
Computer Science
The Entity Relationship Model — Toward a Unified View of Data
5,769 Citations2002Peter Pin-Shan Chen
A data model, called the entity-relationship model, is proposed that incorporates some of the important semantic information about the real world and can be used as a basis for unification of different views of data: the network model, the relational model, and the entity set model.
ACM Transactions on Database SystemsThe entity-relationship model—toward a unified view of data
4,648 Citations1976Peter Pin-Shan Chen
Prentice Hall International (UK) Ltd. eBooksSystematic software development using VDM
1,725 Citations1986Cli B. Jones
Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
Communications of the ACMOn visual formalisms
1,269 Citations1988David Harel
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature that is suited for a wide array of applications to databases, knowledge representation, and the behavioral specification of complex concurrent systems using the higraph-based language of statecharts.
Virtual Defense Library (Ministerio de Defensa)Modern structured analysis
1,074 Citations1989Edward Yourdon
From the Publisher: Yourdon provides a fresh perspective on structured systems analysis, integrating traditional methodologies with modern technology.
McGraw-Hill UK eBooksInformation Systems Development: Methodologies, Techniques and Tools
1,058 Citations1995David Avison, G. Fitzgerald
Information Systems Development is the best selling text in the area and is regarded by lecturers and students worldwide as a comprehensive and authoritative guide to the issues of information systems development.
International Conference on Software EngineeringSoftware processes are software too
872 Citations1987Leon J. Osterweil
ACM Computing SurveysA logical design methodology for relational databases using the extended entity-relationship model
749 Citations1986Toby J. Teorey, D. Yang +1 more
A database design methodology is defined for the design of large relational databases that produces database designs that are not only accurate representations of reality, but flexible enough to accommodate future processing requirements.
ACM SIGACT NewsElements of the Theory of Computation
720 Citations1998Harry R. Lewis, Christos H. Papadimitriou
Algorithms, complexity analysis, and algorithmic ideas are introduced informally in Chapter 1, and are pursued throughout the book, each section is followed by problems.
Understanding Z: A Specification Language and its Formal Semantics
426 Citations1988Justin M Spivey
This book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications, making a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL.
Predicate / Transition Nets
414 Citations1991Hartmann J. Genrich
Compiler Construction
171 Citations1984William M. Waite, Gerhard Goos
The overall compiler structure that the authors shall use in this book is outlined in Figures 1.4 through 1.8, and below is the decomposition of the problem, with boxes representing subtasks.
Prentice Hall eBooksInformation Systems Development: A Systematic Approach
149 Citations1981M. Sundburg, G. Goldkuhl
The ISAC approach is a systematic aid to the development of such systems to help people do a better job and improve their activities.
Information SystemsSemantics and verification of object-role models
73 Citations1991P. van Bommel, Arthur H. M. ter Hofstede +1 more
This paper formalize data models that are based on the concept of predicator, the combination of an object type and a role, in the style of relational algebra, and shows that the verification of two important levels is NP-complete.
The Computer JournalTowards a Formal Foundation for DeMarco Data Flow Diagrams
42 Citations1989T.H. Tse
A proposal for formalizing data flow diagrams through extended Petri nets is described, illustrating the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.
Information SystemsFrom information system requirements to designs: A mapping framework
39 Citations1991Lawrence Chung, Panagiotis Katalagarianos +4 more
The paper includes the description of a prototype implementation of aspects of the proposed mapping framework and illustrates its features through a sample session and the implementation was carried out within the DAIDA project at the Institute of Computer Science of the Foundation for Research and Technology, Crete.
Notes on numerical fluid mechanics and multidisciplinary designAutomated support of the modelling process: A view based on experiments with expert information engineers
31 Citations1990Gerard M. Wijers, H. Heijes
It is argued that adequate support can be realized for navigation and verification on the basis of knowledge about tasks and decisions part of a strategy and knowledge about the natural level of consistency of tasks.
Lecture notes in computer scienceAdvanced Information Systems Engineering
14 Citations1991Rudolf Andersen, Janis A. Bubenko
Information SystemsUnderstanding process structure diagrams
8 Citations1991Eckhard D. Falkenberg, R Van Der Pols +1 more
This paper is an attempt to sketch a framework for understanding process structure diagrams, as used for business process analysis, being one phase of information system design.