REQUIREMENTS DEFINITIONS OF REAL-TIME SYSTEM USING THE BEHAVIORAL PATTERNS ANALYSIS (BPA) APPROACH - The Elevator Control System

Assem El-Ansary

2007

Abstract

This paper presents a new event-oriented Behavioral Pattern Analysis (BPA) modeling approach. In BPA, events are considered the primary objects of the world model. Events are more effective alternatives to use cases in modeling and understanding the functional requirements. The Event defined in BPA is a real-life conceptual entity that is unrelated to any implementation. The BPA Behavioral Patterns are temporally ordered according to the sequence of the real world events. The major contributions of this research are: The Behavioral Pattern Analysis (BPA) modeling approach. Validation of the hypothesis that the Behavioral Pattern Analysis (BPA) modeling approach is a more effective alternative to Use Case Analysis (UCA) in modeling the functional requirements of Human-Machine Safety-Critical Real-time Systems.

References

  1. Allen, J. F., Maintaining Knowledge about Temporal Intervals, Communications of ACM, 26, 1983.
  2. Bell, T. and Thayer, T., Software Requirements: are they really a problem?, Second International Conference on Software Engineering, 1976.
  3. Booch, G.,Jacobson, I., and Rumbaugh, J., The Unified Modeling Language User Guide, Addison Wesley, Reading, Massachusetts, 1999.
  4. Davidson, D., Essays on Actions and Events, Oxford University Press, New York, 1980.
  5. El-Ansary, Assem I., Behavioral Pattern Analysis: Towards a New Representation of Systems Requirements Based on Actions and Events, in Proceedings of the 2002 ACM Symposium on Applied Computing, ACM, New York, NY, 2002.
  6. El-Ansary, Assem I., Behavioral Pattern Analysis: Towards a New Representation of Systems Requirements Based on Actions and Events, Doctoral Thesis, George Mason University, 2005.
  7. Graham, Ian, Migrating to Object Technology, AddisonWesley, Reading, Massachusetts, 1995.
  8. Heitmeyer, Constance and Mandrioli, Dino, Formal Methods for Real-Time Computing: An Overview, in Formal Methods for Real-Time Computing, John Wiley & Sons, Inc., NY, 1996.
  9. IEEE and ANSI, ANSI/IEEE Std 830-1984, IEEE Guide to Software Requirements Specification, in System and Software Requirements Engineering, IEEE Computer Society Press, Los Alamitos, CA, 1990.
  10. Jackson, Michael, Software Requirements & Specification, A Lexicon of Practice, Principles and Prejudices, ACM Press, Reading, MA, 1995.
  11. Jacobson, I., Christeron, M., and Overgaard, ObjectOriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, Reading, MA, 1992.
  12. Lewerentz, Claus, and Lindner, Thomas, Formal Development of Reactive Systems, Springer-Verlag, NY, 1995.
  13. Fowler, Martin and Cockburn, Question Time! About Use Cases, OOPSLA'98 Proceedings, ACM Press, New York, NY, 1998.
  14. Edward Yourdon and Carl Argila, Case Studies in Object Oriented Analysis & Design, Prentice Hall, Upper Saddle River, NJ, 1998.
Download


Paper Citation


in Harvard Style

El-Ansary A. (2007). REQUIREMENTS DEFINITIONS OF REAL-TIME SYSTEM USING THE BEHAVIORAL PATTERNS ANALYSIS (BPA) APPROACH - The Elevator Control System . In Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-06-7, pages 371-377. DOI: 10.5220/0001323603710377


in Bibtex Style

@conference{icsoft07,
author={Assem El-Ansary},
title={REQUIREMENTS DEFINITIONS OF REAL-TIME SYSTEM USING THE BEHAVIORAL PATTERNS ANALYSIS (BPA) APPROACH - The Elevator Control System},
booktitle={Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2007},
pages={371-377},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001323603710377},
isbn={978-989-8111-06-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - REQUIREMENTS DEFINITIONS OF REAL-TIME SYSTEM USING THE BEHAVIORAL PATTERNS ANALYSIS (BPA) APPROACH - The Elevator Control System
SN - 978-989-8111-06-7
AU - El-Ansary A.
PY - 2007
SP - 371
EP - 377
DO - 10.5220/0001323603710377