Article

Free access

Eliciting formal models of software engineering processes

Authors:

Nazim H. Madhavji,

Tilmann Bruckhaus,

WonKook HongAuthors Info & Claims

CASCON '94: Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research

Page 28

Published: 31 October 1994 Publication History

Abstract

One of the first steps in improving a process is to understand the process, for example, by building descriptive models of the process. This paper addresses the elicitation of formal process models from real-world projects, using the Elicit method and tool, developed at McGill, and Statemate. In addition, the paper illustrates how formal models can make processes visible and how they can uncover inconsistencies and incompleteness in the understanding and the documentation. The described method and tools have been used in several real-world software projects, and the paper describes some conclusions drawn from this experience. Example process models are shown, and a tool demonstration is included in the CD-ROM that is part of this publication.

References

[1]

{1} R.J. Abbott. Program Design by Informal English Descriptions. Communications of the ACM, 26(11):882-894, November 1983.

Digital Library

[2]

{2} V.R. Basili. Quantitative Evaluation of Software Engineering Methodology. In Proc. First Pan Pacific Computer Conference, (Held at Melbourne, Australia, September 10-13, 1985), 1985. (Also published as Technical Report TR-1510, University of Maryland, Department of Computer Science, College Park, July 1985).

[3]

{3} V.R. Basili. The Experimental Paradigm in Software Engineering. In Proc. Int. Workshop on Experimental Software Engineering Issues, pages 3-12, (Held at Schloß Dagstuhl, Wadern, Germany, September 14-18, 1992), 1992. Springer Verlag, Berlin, LNCS 706.

Digital Library

[4]

{4} G. Booch. Object Oriented Design With Applications. Benjamin/Cummings, Redwood City, CA., 1991.

Digital Library

[5]

{5} B. Curtis, M.I. Kellner, and J. Over. Process Modeling. Communications of the ACM, 35(9):75-90, September 1992.

Digital Library

[6]

{6} J. Dawson. Toronto Laboratory Requirements Process, Reference Guide, Initial Draft Version 1.0. Technical report, IBM Canada Ltd., Toronto, Ontario, September 1991.

[7]

{7} M. Dowson (chair), W.S. Humphrey, M.M. Lehman, and L. Osterweil. Why is Process Important? In Proc. 1st Int. Conf. on the Software Process, pages 2-5, (Held at Redondo Beach, CA, USA, October 21-22, 1991). October 1991. IEEE Computer Society Press.

[8]

{8} D.J. Frailey. Defining a Corporate-wide Software Process. In Proc. 1st Int. Conf. on the Software Process, pages 113-121, (Held at Redondo Beach, CA, USA, October 21-22, 1991), October 1991. IEEE Computer Society Press.

[9]

{9} D. Harel et al. STATEMATE: A Working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.

Digital Library

[10]

{10} D. Höltje. Building Software Process Models Using the Elicit Meta Process: A Case Study. Technical Report SE-93.3, School of Computer Science, McGill University, Montréal, June 1993.

[11]

{11} D. Höltje. Elicit: A tool for Eliciting Process Models. User Manual. Technical Report SE-94.6, School of Computer Science, McGill University, Montréal, April 1994.

[12]

{12} S. Honiden, N. Kotaka, and Y. Kishimoto. Formalizing Specification Modeling in OOA. IEEE Software, 10(1):54-66, January 1993.

Digital Library

[13]

{13} W.S. Humphrey. Characterizing the Software Process: A Maturity Framework. IEEE Software, 5(2):73-79, March 1988.

Digital Library

[14]

{14} W.S. Humphrey and M.I. Kellner. Software Process Modeling: Principles of Entity Process Models. In Proc. 11th Int. Conf. on Soft. Eng., pages 331-342, (Held at Pittsburgh, PA, USA, May 15-18, 1989), May 1989. IEEE Computer Society Press.

Digital Library

[15]

{15} i-Logix, Inc., Burlington, MA, U.S.A. The Languages of STATEMATE, January 1991.

[16]

{16} i-Logix, Inc., Burlington, MA, U.S.A. STATEMATE 4.5 User Reference Manual, August 1992.

[17]

{17} M. Jackson. System Development. Prentice Hall, Englewood Cliffs, NJ., 1983.

Digital Library

[18]

{18} M.I. Kellner. Multiple Paradigm Approaches for Software Process Modeling. In Proc. 7th Int. Software Process Workshop, pages 82-85, (Held at Yountville, CA, USA, October 15-18, 1991), 1991.

[19]

{19} M.I. Kellner and G.A. Hansen. Software Process Modeling: A Case Study. In Proc. 22nd Annual Hawaii International Conference on System Sciences, Volume II: Software Track, pages 175-188. IEEE, 1989.

[20]

{20} M.I. Kellner and H.D. Rombach. Session Summary: Comparisons of Software Process Descriptions. In Proc. 6th Int. Software Process Workshop, (Held at Hako-date, Japan, October 28-31, 1990), 1990.

[21]

{21} N.H. Madhavji. The Process Cycle. IEE/BCS Software Engineering Journal, 6(5):234-242, September 1991.

Digital Library

[22]

{22} N.H. Madhavji, D. Höltje, W.-K. Hong, and T. Bruckhaus. Elicit: An Empirically Improved Method for Eliciting Process Models. Technical Report TR-74.141, IBM Canada Ltd., May 1994.

[23]

{23} L. Osterweil. Software Processes are Software Too. In Proc. 9th Int. Conf. on Soft. Eng., pages 2-13, (Held at Monterey, CA, USA, March 30 - April 2, 1987), April 1987. IEEE Computer Society Press.

Digital Library

[24]

{24} M. Saeki, H. Horai, and H. Enomoto. Software Development Process from Natural Language Specification. In Proc. 11th Int. Conf. on Soft. Eng., pages 64-73, (Held at Pittsburgh, PA, USA, May 15-18, 1989), May 1989. IEEE Computer Society Press.

Digital Library

[25]

{25} R.E. Zultner. TQM for Technical Teams. Communications of the ACM, 36(10):79-91, October 1993.

Digital Library

Cited By

Crabtree CNorcio ASeaman CRaffo DPfahl DZhang L(2011)An empirical characterization of the accuracy of software process elicitationProceedings of the 2011 International Conference on Software and Systems Process10.1145/1987875.1987892(91-100)Online publication date: 21-May-2011
https://dl.acm.org/doi/10.1145/1987875.1987892

Index Terms

Eliciting formal models of software engineering processes
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Project and people management
      2. Software management
2. Software and its engineering
  1. Software creation and management
    1. Software development process management

Recommendations

Eliciting software process models with the E³ language

Software processes are complex entities that demand careful understand ing and improvement as they determine the quality of the resulting product. A necessary step toward the improvement of an organization's process is a clear description of the entities ...
Building Formal Requirements Models for Reliable Software
Ada Europe '01: Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of services and constraints, and the assignment of responsibilities for the ...
A view-based system for eliciting software process models

Comments

Information & Contributors

Information

Published In

cover image DL Hosted proceedings

CASCON '94: Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research

October 1994

781 pages

Sponsors

Industry Canada
Natural Sciences and Engineering Research Council
IBM Canada: IBM Canada
NRC: National Research Council - Canada

Publisher

IBM Press

Publication History

Published: 31 October 1994

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 24 of 90 submissions, 27%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
795
Total Downloads

Downloads (Last 12 months)89
Downloads (Last 6 weeks)14

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Crabtree CNorcio ASeaman CRaffo DPfahl DZhang L(2011)An empirical characterization of the accuracy of software process elicitationProceedings of the 2011 International Conference on Software and Systems Process10.1145/1987875.1987892(91-100)Online publication date: 21-May-2011
https://dl.acm.org/doi/10.1145/1987875.1987892

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten