Software process modeling: a behavioral approach

An approach is presented to software process modeling which is based on behavior descriptions of software development activities. The use of behavioral descriptions makes it possible to describe the software process at any desired level of abstraction and, therefore, assists in accommodating aspects of the process which are poorly understood. This approach also provides the ability to reason about the software process and is sufficiently rigorous to provide a basis for structuring automated software environments. An overview of the model is presented, followed by a formal definition. Examples are given to illustrate the application of the model to existing software processes and software methods. Finally, the implications of the model for automated software environments are discussed.<<ETX>>

[1]  Jack C. Wileden,et al.  This is IT: a metamodel of the software process , 1986, SOEN.

[2]  William W. Agresti,et al.  New Paradigms for Software Development , 1986 .

[3]  Dewayne E. Perry,et al.  Software interconnection models , 1987, ICSE '87.

[4]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[5]  Bill Curtis,et al.  On building software process models under the lamppost , 1987, ICSE '87.

[6]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

[7]  John R. Cameron.  JSP and JSD - the Jackson approach to software development (2. ed.) , 1989 .

[8]  David S. Wile,et al.  Worlds: an organizing structure for object-bases , 1987, SDE 2.

[9]  Meir M. Lehman,et al.  Approach to a disciplined development process - the ISTAR integrated project support environment , 1986, SOEN.

[10]  Gail E. Kaiser,et al.  Intelligent assistance for software development and maintenance , 1988, IEEE Software.

[11]  William E. Riddle.  Proceedings of the 9th international conference on Software Engineering , 1987 .

[12]  George S. Avrunin,et al.  Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems , 1986, IEEE Transactions on Software Engineering.

[13]  Victor R. Basili,et al.  Iterative enhancement: A practical technique for software development , 1975, IEEE Transactions on Software Engineering.

[14]  Jack C. Wileden,et al.  The software process and software environments (panel session) , 1985, ICSE '85.

[15]  John R. Cameron,et al.  An overview of JSD , 1986, IEEE Transactions on Software Engineering.

[16]  J. Wileden,et al.  Describing and analyzing distributed software system designs , 1985, ACM Trans. Program. Lang. Syst..

[17]  Lloyd G. Williams,et al.  Modelling software development in the large , 1986, ISPW.

[18]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

[19]  W. W. Royce,et al.  Managing the development of large software systems: concepts and techniques , 1987, ICSE '87.

[20]  Lloyd G. Williams,et al.  Software environments workshop report , 1986, SOEN.

[21]  Catherine W. McDonald,et al.  Stars methodology area summary: volume II: preliminary views on the software life cycle and methodology selection , 1986, SOEN.

[22]  Jack C. Wileden,et al.  Behavior Modeling During Software Design , 1978, IEEE Transactions on Software Engineering.

[23]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[24]  Gail E. Kaiser,et al.  An architecture for intelligent assistance in software development , 1987, ICSE '87.

[25]  Mark Dowson.  ISTAR—an integrated project support environment , 1987, SDE 2.

[26]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975, IEEE Transactions on Software Engineering.

[27]  Meir M. Lehman.  Process models, process programs, programming support , 1987, ICSE '87.

[28]  Peter G. Neumann.  Risks to the public in computer systems , 1986, SOEN.

[29]  David Lorge Parnas,et al.  A rational design process: How and why to fake it , 1986, IEEE Transactions on Software Engineering.

[30]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1976, IEEE Trans. Software Eng..

[31]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[32]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

[33]  Mark Dowson,et al.  The structure of the software process , 1986, SOEN.

[34]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[35]  Leon J Osterweil,et al.  Software Process Interpretation and Software Environments ; CU-CS-324-86 , 1986 .