Title :
Extending analysis paradigms
Author :
Woodfield, Scott N. ; Embley, David W. ; Kurtz, Burry D.
Author_Institution :
Brigham Young Univ., Provo, UT, USA
Abstract :
It is suggested that natural language can be used as a guide to the development of conceptual models and as an aid for testing completeness. It is also suggested that conceptual models may be judged by how many of the following concepts are fully supported: entities, actions, relationships, events, concurrency, rules and constraints, communication, abstraction, and fuzziness. Neither requirements nor specification models should constrain an analyst who is describing problems or solutions. Underlying conceptual models must easily represent reality and must not be artificially constrained by some implementation paradigm. To this end, the authors argue for improving design techniques and programming languages so that these more powerful specifications can be easily implemented
Keywords :
formal specification; software engineering; systems analysis; abstraction; actions; communication; conceptual models; concurrency; constraints; entities; events; fuzziness; relationships; rules; software analysis; specification completeness; specification models; Batteries; Concurrent computing; Educational programs; Glass; Natural languages; Object oriented modeling; Programming profession; Testing;
Conference_Titel :
Computers and Communications, 1990. Conference Proceedings., Ninth Annual International Phoenix Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
0-8186-2030-7
DOI :
10.1109/PCCC.1990.101654