Behavioural views for software requirements engineering

Requirements Engineering

Volumn 4, Issue 1, 1999, Pages 19-37

  Isazadeh, A ^a   Lamb, D A ^a   Shepard, T ^b  

^a QUEEN S UNIVERSITY   (Canada)

^b ROYAL MILITARY COLLEGE OF CANADA   (Canada)

Author keywords

Formal methods; Specification languages; Statecharts; Visual languages

Indexed keywords

EID: 9144254004     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/PL00013710     Document Type: Review

References (66)

1. Barbacci MR, Weinstock CB, Doubleday DL, Gardner MJ, Lichota RW. Durra: A structure description language for developing distributed applications. IEE Software Engineering J 1993; 8(2): 83-94
2. Hofmeister C, White E, Purtilo J. Surgeon: A packager for dynamically reconfigurable distributed applications. IEE Software Eng J 1993; 8(2): 95-101
3. Magee J, Dulay N, Kramer J. A constructive development environment for parallel and distributed programs. In: Proceedings of the Second International Workshop on Configurable Distributed Systems, Pittsburgh, PA, March 1994, pp 4-14
4. Nehmer J, Haban D, Mattern F, Wybraniertz D, Rombach D. Key concepts of the INCAS multicomputer project. IEEE Trans Software Eng 1987; 13(8): 913-923
5. Dean TR. Characterizing Software Structure Using Connectivity. PhD thesis, Department of Computing and Information Science, Queen's University, Kingston, Canada, 1993.
6. DeRemer F, Kron H. Programming-in-the-large versus programming-in-the- small. IEEE Trans Software Eng 1976; 2(2): 114-121
7. Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, 1994
8. Isazadeh A. Configuration languages for distributed software systems. PhD Depth Paper, Department of Computing and Information Science, Queen's University, Kingston, Canada, August 1994
9. Harel D. Statecharts: A visual formalism for complex systems. Sci Comput Program 1987; 8: 231-274
10. Harel D. On visual formalisms. Commun ACM 1988; 31(5): 514-530
11. Harel D, Pnueli A. On the development of reactive systems. In: Apt KR (ed). Logics and Models of Concurrent Systems. Springer-Verlag, New York, 1985, pp 477-498
12. Berry G, Cosserat L. The ESTEREL synchronous programming language and its mathematical semantics. In: Seminar on Concurrency, vol 197 of Lecture Notes in Computer Science. Springer-Verlag, New York, June 1984, pp 389-448
13. Collins BP, Nichollls JE, Sorensen IH. Introducing formal methods: The CICS experience with Z. Technical Report TR12.260, IBM Hursley Park, December 1987
14. Wordsworth JB. Software Development with Z. International Computer Science Series, Addison-Wesley, Reading, MA, 1992
15. Jones CB. Systematic Software Development using VDM. Prentice-Hall International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, 1990
16. Isazadeh A. Behavioral Views for Software Requirements Engineering. PhD thesis, Department of Computing and Information Science, Queen's University, Kingston, Canada, September 1996
17. Harel D, Naamad A. The STATEMATE semantics of Statecharts. Technical report, i-Logix, Burlington, MA, November 1995
18. Hoffman D, Strooper P. Software Design, Automated Testing, and Maintenance: A Practical Approach. International Thomson Press, London 1995
19. Abadi M, Lamport L. Composing specifications. ACM Trans Prog Lang Syst 1993; 15(1): 73-132
20. Zave P, Jackson M. Conjunction as composition. ACM Trans Software Eng Methodol 1993; 2(4): 379-411
21. White MS. Requirements: A quick and inexpensive way to improve testing. Testing Techniques Newsletter (TTN), On-Line Edition, December 1994. ttn@soft.com
22. Heninger KL, Kallander JW, Shore JE, Parnas DL. Requirements for the A-7E aircraft. Technical Report NRL 3876, Naval Research Laboratory, Washington, DC, November 1978
23. Guttag J, Horning J, Wing J. Some notes on putting formal specifications to productive use. Sci Comput Program 1982; 2(1): 53-68
24. Day N. A model checker for Statecharts. Technical Report 93-35, Department of Computer Science, University of British Columbia, Vancouver, BC, Canada, October 1993
25. Harel D, Pnueli A, Schmidt JP, Sherman R. On the formal semantics of Statecharts. In: Proceedings of Symposium on Logic in Computer Science, Ithaca, New York, June 1987, pp 231-274
26. Hooman J, Ramesh S, de Roever W. A compositional axiomatization of Statecharts. Theor Comput Sci 1992; 101(2): 289-335
27. Huizing C, de Roever WP. Introduction to design choices in the semantics of Statecharts. Inform Proc Lett 1992; 37(4): 205-213
28. Huizing C, Gerth R. Semantics of reactive systems in abstract time. In: Proceedings of International Conference on Real-Time: Theory in Practice, vol 600 of Lecture Notes in Computer Science. Springer-Verlag, New York, June 1991, pp 291-314
29. Huizing C, Gerth R, de Roever WP. Modeling Statecharts behavior in a fully abstrct way. In: Proceedings of 13th Colloquium on Trees in Algebra and programming, vol 299 of Lecture Notes in Computer Science, Nancy, France. Springer-Verlag, New York, March 1988, pp 271-294
30. Kesten Y, Pnueli A. Timed and hybrid Statecharts and their textual representation. In: Proceedings of Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol 571 of Lecture Notes in Computer Science. Springer-Verlag, New York, January 1992, pp 591-620
31. Leveson NG, Heimdahl MPE, Hildreth H, Reese JD. Requirements specification for process control systems. IEEE Trans Software Eng 1994; 20(9): 684-707
32. Maraninchi F. Operational and compositional semantics of synchronous automation composition. In: Proceedings of Third International Conference on Concurrency Theory (CONCUR -92), vol 630 of Lecture Notes in Computer Science. Springer-Verlag, New York, August 1992, pp 550-564
33. Pnueli A, Shalev M. What is a step: On the semantics of Statecharts. In: Proceedings of International Conference on Theoretical Aspects of Computer Software, vol 526 of Lecture Notes in Computer Science. Springer-Verlag, New York, September 1991, pp 244-264
34. von der Beek M. A comparison of Statecharts variants. In: Proceedings of Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol 863 of Lecture Notes in Computer Science. Springer-Verlag, New York, September 1994, pp 128-148
35. Drusinsky D, Harel D. On the power of cooperative concurrency. In: Proceedings of International Conference on Concurrency (CONCURRENCY '88), vol 335 of Lecture Notes in Computer Science. Springer-Verlag, New York, October 1988, pp 74-103
36. Drusinsky D, Harel D. On the power of bounded concurrency I: Finite automata. J ACM 1994; 41(3): 517-539
37. Peterson JL. Petri net. Computing Surveys 1977; 9(3): 223-252
38. Davies J. Specification and Proof in Real-Time CSP. Distinguished Dissertations in Computer Science. University of Cambridge Press, Cambridge, 1993
39. Hoare C. Communicating sequential processes. Commun ACM 1978; 8(21): 666-677
40. Harel D. Private communication. Weizmann Institute of Science, Rehovot, Israel, November 1995
41. Wolf AL, Clarke LA, Wileden JC. A model of visibility control. IEEE Trans Software Eng 1988; 14(4): 512-520
42. Kaplan A, Wileden JC. Formalization and application of a unifying model for name management. In: Proceedings of ACM SIGSOFT '95, Washington, DC, 1995, pp 161-172
43. Jacobson I, Christerson M, Jonsson P, Övergaard G. Object-Oriented Software Engineering, A Use Case Driven Approach. Addison-Wesley, Reading, MA, 1992
44. Dano B, Briand H, Barbier F. An approach based on the concept of use case to produce dynamic object-oriented specifications. In: Proceedings of the Third IEEE International Symposium on Requirements Engineering, Annapolis, MD, 6-10 January 1997, pp 54-64
45. Regnell B, Kimbler K, Wesslen A. Improving the use case driven approach to requirements engineering. In: Proceedings of the Second IEEE International Symposium on Requirements Engineering, York, UK, 27-29 March 1995, pp 40-47
46. Jackson D. Structuring Z specifications with views. ACM Trans Software Eng Methodol 1995; 4(4): 365-389
47. Ainsworth M, Riddle S, Wallis PJ. Formal validation of viewpoint specifications. Software Eng J 1996; 58-66
48. Kramer J, Finkelstein A, Nuseibeh B. Method integration and support for distributed software developmment: an overview. In: Studies of Software Design (ICSE '93 Workshop); LNCS 1078, Baltimore, MD. Springer-Verlag, New York, May 1993, pp 115-126
49. Easterbrook S, Nuseibeh B. Using viewpoints for inconsistency management. Software Eng J 1996; 31-43
50. Kotonya G, Sommerville I. Requirements engineering with viewpoints. Software Eng J 1996; 5-18
51. Jackson D, Jackson M. Problem decomposition for reuse. Software Eng J 1996; 19-30
52. Dunietz IS, Hsu JL, McEachern MT, Stocking JH, Swartz MA, Trombly RM. MPCS: The manufacturing process control system. AT&T Tech J 1986; 65(4): 35-45
53. Jahanian F, Mok AK. Modechart: A specification language for real-time systems. IEEE Trans Software Eng 1994; 20(12): 933-947, Dec. 1994
54. Shaw AC. Communicating real-time state machines. IEEE Trans Software Eng 1992; 18(9): 805-816
55. Hendricksen CS. Augmented state-transition diagrams for reactive software. ACM SIGSOFT Software Eng Notes 1989; 14(6): 61-67
56. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991
57. Selic B, Gullekson G, Ward PT. Real-Time Object-Oriented Modeling. Wiley, New York, 1994
58. Walters N. Using Harel's Statecharts to model object-oriented behavior. ACM SIGSOFT Software Eng Notes 1992; 17(4): 28-31
59. Coleman D, Hayes F, Bear S. Introducing Objectcharts or how to use Statecharts in object oriented design. IEEE Trans Software Eng 1992; 18(1): 9-18
60. Batini C, Ceri S, Navathe SB. Conceptual Database Design, an Entity-Relationship Approach. Benjamin/Cummings, Redwood City, CA, 1992
61. Finkelstein A, Kramer J, Goedicke M. ViewPoint oriented software development. In: Proceedings of 3rd International Workshop on Software Engineering and its Applications, Toulouse, December 1990
62. Embley DW, Kurtz BD, Woodfield SN. Object-Oriented Systems Analysis: A Model-Driven Approach. Prentice-Hall, Englewood Cliffs, NJ, 1992
63. Harel D, Lachover H, Naamad A, Pnueli A, Politi M, Sherman R, Shtull Trauring A, Trakhtenbrot M. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans Software Eng 1990; 16(4): 403-414
64. Harel D, Politi M. The languages of STATEMATE. Technical report, i-Logix, Burlington, MA, November 1991
65. Atlee J, Buckley MA. A logic-model semantics for SCR software requirements. In: Proceedings of the International Symposium on Software Testing and Analysis, ACM, New York 1996, pp 280-292
66. Atlee J, Gannon J. State-based model checking of event-driven system requirements. IEEE Trans Software Eng 1993; 19(1): 24-40