Dealing with performance requirements during the development of information systems
Published 31 December 2002
Brian A. Nixon
Citations42
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 application of the framework is illustrated by mapping the conceptual design of an information system to its implementation, while attempting to meet a set of goals such as 'achieve good time performance for authorizing credit card sales'.
Abstract
Performance goals for information systems are treated as a class of nonfunctional requirements (NFRs). A given model for representing NFRs is given to make provisions for: representing a variety of implementation alternatives; expressing performance goals (including responsiveness) in terms of performance and information system concepts; and organizing the process into layers corresponding to subsets of the language to be implemented. The application of the framework is illustrated by mapping the conceptual design of an information system to its implementation, while attempting to meet a set of goals such as 'achieve good time performance for authorizing credit card sales'. A tool is being developed to aid this process.>
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
Science of Computer ProgrammingGoal-directed requirements acquisition
1,971 Citations1993Anne Dardenne, Axel van Lamsweerde +1 more
An approach to requirements acquisition is presented which is driven by higher-level concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc.
ACM Computing SurveysSemantic database modeling: survey, applications, and research issues
1,144 Citations1987Richard Hull, Roger King
This paper provides a tutorial introduction to the primary components of semantic models, which are the explicit representation of objects, attributes of and relationships among objects, type constructors for building complex types, ISA relationships, and derived schema components.
IEEE Transactions on Software EngineeringRepresenting and using nonfunctional requirements: a process-oriented approach
1,018 Citations1992John Mylopoulos, Lawrence Chung +1 more
A comprehensive framework for representing and using nonfunctional requirements during the development process is proposed and evidence for the power of the framework is provided through the study of accuracy and performance requirements for information systems.
IEEE Transactions on Software EngineeringA 15 Year Perspective on Automatic Programming
366 Citations1985Rosana Balzer
Automatic programming consists not only of an automatic compiler, but also some Means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high- level specification into a lower-level one which can be automatically compiled.
International Conference on Software EngineeringRecording the reasons for design decisions
273 Citations1988Colin Potts, Glenn Bruns
Recording the reasons for design decisions
146 Citations2003Colin Potts, Glenn Bruns
The authors outline a generic model for representing design deliberation and the relation between deliberations and the generation of method-specific artifacts that is applied to the development of a text formatter.
Capturing more world knowledge in the requirements specification
120 Citations1982Sol Greenspan, John Mylopoulos +1 more
A framework (RMF) for requirements models is presented and its main features are illustrated, which support three abstraction principles which appear to be of universal importance in the development and organization of complex descriptions.
Goal-directed concept acquisition in requirements elicitation
104 Citations2002Anne Dardenne, Stephen Fickas +1 more
The authors present an approach for model acquisition which is driven by goals to be achieved, and describe a conceptual meta-model in terms of which requirements models are acquired, which involves concepts that are usually not found in the final formal specification.
Extending the Potts and Bruns model for recording design rationale
76 Citations2002J. Lee
An extension of the model proposed by C. Potts and G. Bruns (1988) for recording design rationale by making explicit the goals presupposed by arguments, the relations among arguments, and the first-class nature of these relations is presented.
Elsevier eBooksStorage and Access Structures to Support a Semantic Data Model
54 Citations1989Arvola Chan, Sy Danberg +4 more
An in-depth discussion of the rationale behind the choice of storage and access structures to support semantics intrinsic to the data model and to permit physical database organization tuning is provided in this paper.
Lecture notes in computer scienceRepresentation and utilization of non-functional requirements for information system design
51 Citations1991Lawrence Chung
This work proposes both a representational and methodological framework for non-functional requirements, focusing on accuracy requirements, and demonstrates how the framework aids a designer's decision-making process by recommending the types of consultation needed with users in the intended application domain.
Implementation of a compiler for a semantic data model: Experiences with taxis
50 Citations1987Brian A. Nixon, Lawrence Chung +4 more
The features of a compiler for the Taxis design language are described and discussed and the problems of efficiently representing and accessing a large collection of entities, performing (static) type checking and representing isA hierarchies of transactions are dealt with.
Artificial IntelligenceOn the efficient synthesis of efficient programs
48 Citations1983Elaine Kant
This paper presents a framework for using analysis and searching knowledge to guide program synthesis in a stepwise refinement paradigm, called libra, which has guided the automatic implementation of a number of programs in the domain of symbolic processing.
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.
Database Programming LanguagesSupport for data-intensive applications: conceptual design and software development
29 Citations1989Alexander Borgida, John Mylopoulos +2 more
This work considers TDL's features for specifying the data and eventual procedural components of the system, and discusses how these are related to its companions.
Lecture notes in computer scienceAn evaluation model for clustering strategies in the O2 object-oriented database system
23 Citations1990Véronique Benzaken
A derivation algorithm which builds an optimal strategy in linear time is presented, and a cost model is details in order to evaluate the benefits of the clustering strategies.
Lecture notes in computer scienceProcess management and assertion enforcement for a semantic data model
21 Citations1988K. Lawrence Chung, Daniel Rios-Zertuche +2 more
Design, implementation and performance analysis of the closely related issues of management of long-term activities for Taxis and enforcement of semantic integrity constraints are described and discussed.
Integration issues in implementing semantic data models
15 Citations1990Brian A. Nixon, John Mylopoulos
Database Programming LanguagesImplementation of information system design specifications: a performance perspective
10 Citations1992Brian A. Nixon
This work considers the development of a framework to accomplish this task by “mapping” information system design specifications into implementations by using a multi-layered approach, based on subsets of data model and language features.