Eliciting software process models with the E3 language

ABSTRACT

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 involved and of their mutual relationships. Process model elicitation aims at constructing this description under the shape of a software process model. The model is constructed by gathering, from several sources, process information which is often incomplete, inconsistent, and ambiguous. A process modeling language can be used to represent the model being elicited. However, elicitation requires process models to be understandable and well structured. These requirements are often not satisfied by available process modeling languages becuase of their bias toward process enaction rather than process description. This article presents a process modeling language and a support tool which are conceived especially for process model elicitation. The E3 language is an object-oriented modeling language with a graphical notation. In E3, associations are a means to express constraints and facilitate reuse. The E3p-draw tool supports the creation and management of E3 models and provides a view mechanism that enables inspection of models according to different perspectives.

REFERENCES

• 1: Jean-Marc Aumaitre , Mark Dowson , Del-Raj Harjani, Lessons Learned from Formalizing and Implementing a Large Process Model, Proceedings of the Third European Workshop on Software Process Technology, p.227-239, February 07-09, 1994
• 2: BALDI, M. AND DALL'ANESE, T. 1994. A distributed object-based system for process model enaction. In Proceedings of the AICA '94 Italian Annual Conference (AICA '94).
• 3: BALDI, M. AND JACCHERI, M. L. 1995. An exercise in modeling a real software process. In Proceedings of the AICA '95 Italian Annual Conference (AICA '95).
• 4: Sergio Bandinelli , Alfonso Fuggetta , Carlo Ghezzi , Luigi Lavazza, SPADE: an environment for software process analysis, design, and enactment, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 5: Sergio Bandinelli , Alfonso Fuggetta , Luigi Lavazza , Maurizio Loi , Gian Pietro Picco, Modeling and Improving an Industrial Software Process, IEEE Transactions on Software Engineering, v.21 n.5, p.440-454, May 1995 [doi>10.1109/32.387473]
• 6: BARGHOUTI, N., ROSENBLUM, D., AND BELANGER, D. 1995. Two case studies in modeling real, corporate processes. Softw. Process Improv. Pract. 1, 1.
• 7: BASILI, V. AND ROMBACH, H. 1988. The TAME Project: Towards improvement-oriented software environments. IEEE Trans. Softw. Eng. 14, 6 (June), 758-773.
• 8: G. A. Bolcer , R. N. Taylor, Endeavors: a process system integration infrastructure, Proceedings of the Fourth International Conference on the Software Process (ICSP '96), p.76, December 02-06, 1996
• 9: Grady Booch, Object oriented design with applications, Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, 1990
• 10: IEEE Software Staff, Bootstrap: Europe's Assessment Method, IEEE Software, v.10 n.3, p.93-95, May 1993
• 11: R. F. Bruynooghe , R. M. Greenwood , J. Sa , B. C. Warboys , I. Robertson, PADM: towards a total process modelling system, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 12: Luca Cardelli, A semantics of multiple inheritance., Proc. of the international symposium on Semantics of data types, p.51-67, July 1984, Sophia-Antipolis, France
• 13: Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
• 14: Peter Coad , Edward Yourdon, Object-oriented analysis (2nd ed.), Yourdon Press, Upper Saddle River, NJ, 1991
• 15: Peter Coad , Edward Yourdon, Object-oriented design, Yourdon Press, Upper Saddle River, NJ, 1991
• 16: Reidar Conradi , Christer Fernström , Alfonso Fuggetta , Robert A. Snowdon, Towards a Reference Framework for Process Concepts, Proceedings of the Second European Workshop on Software Process Technology, p.3-17, September 07-08, 1992
• 17: COOK, J. AND WOLF, A. 1994. Toward metrics for process validation. In Proceedings of the 3rd International Conference on the Software Process. IEEE Computer Society Press, Los Alamitos, CA, 33-44.
• 18: CORNO, F., CUSINATO, M., JACCHERI, M. L., PRINETTO, P., AND RIZZANTE, T. 1996. Defining formal semantics for the E3 software process modeling language. Tech. Rep. 2/96. Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy.
• 19: Bill Curtis , Marc I. Kellner , Jim Over, Process modeling, Communications of the ACM, v.35 n.9, p.75-90, Sept. 1992 [doi>10.1145/130994.130998]
• 20: R. Darimont , E. Delor , P. Massonet , A. van Lamsweerde, GRAIL/KAOS: an environment for goal-driven requirements engineering, Proceedings of the 19th international conference on Software engineering, p.612-613, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253499]
• 21: DEITERS, W. AND GRUN, V. 1994. The FUNSOFT net approach to software process management. Int. J. Softw. Eng. Knowl. Eng. 4, 2, 229-256.
• 22: DOWSON, M., NEJMEH, B., AND RIDDLE, W. 1991. Fundamental software process concepts. In Proceedings of the 1st European Workshop on Process Modeling (EWPM '91). AICA, Milan, Italy, 15-37.
• 23: David W. Embley , Robert B. Jackson , Scott N. Woodfield, OO Systems Analysis: Is It or Isn't It?, IEEE Software, v.12 n.4, p.19-33, July 1995 [doi>10.1109/52.391825]
• 24: ETT, W. AND BECKER, S. 1994. Evaluating effectiveness of process weaver as a process management tool: A case study. In Proceedings of the 3rd Symposium on Assessment of Quality Software Development Tools. 204-223.
• 25: FEILER, P. AND HUMPHREY, W. 1993. Software process development and enactment: Concepts and definitions. In Proceedings of the 2nd International Conference on Software Process. IEEE Computer Society Press, Los Alamitos, CA.
• 26: Anthony Finkelstein , Jeff Kramer , Bashar Nuseibeh, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 27: Alfonso Fuggetta, A Classification of CASE Technology, Computer, v.26 n.12, p.25-38, December 1993 [doi>10.1109/2.247645]
• 28: Carlo Ghezzi , Mehdi Jazayeri , Dino Mandrioli, Fundamentals of software engineering, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 29: Günter Graw , Volker Gruhn, Distributed Modeling and Distributed Enaction of Business Processes, Proceedings of the 5th European Software Engineering Conference, p.8-27, September 25-28, 1995
• 30: HAMMER, M. 1990. Reengineering work: Don't automate, obliterate!. Harvard Bus. Rev. 90, 104-112.
• 31: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 32: George T. Heineman, Automatic translation of process modeling formalisms, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.25, October 31-November 03, 1994, Toronto, Ontario, Canada
• 33: HUFF, K. 1993. From software process engineering to business process reengineering. In Proceedings of the 8th International Software Process Workshop. IEEE Computer Society Press, Los Alamitos, CA, 98-101.
• 34: HUFF, K. 1996. Software process modeling. In Trends in Software: Software Process, Fuggetta, A. and Wolf, A., Eds. John Wiley and Sons Ltd., Chichester, UK.
• 35: Watts S. Humphrey , Marc I. Kellner, Software process modeling: principles of entity process models, Proceedings of the 11th international conference on Software engineering, p.331-342, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74631]
• 36: JACCHERI, M. L. 1996a. A Z specification of the E3 PML and tool. Tech. Rep. 4/96. Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy.
• 37: M. L. Jaccheri, Reusing software process models in E/sup 3/, Proceedings of the 10th International Software Process Workshop, p.86, June 17-19, 1996
• 38: M. L. Jaccheri , R. Conradi, Techniques for Process Model Evolution in EPOS, IEEE Transactions on Software Engineering, v.19 n.12, p.1145-1156, December 1993 [doi>10.1109/32.249660]
• 39: JACCHERI, M. L. AND LAGO, P. 1996. Teaching process improvement in an industry-oriented course. In Proceedings of the British Computer Society Quality SIG International Conference on Software Process Improvement--Research into Education and Training (INSPIRE '96). British Computer Society, Swinton, UK.
• 40: Maria Letizia Jaccheri , Patricia Lago, Applying Software Process Modeling and Improvement in Academic Setting, Proceedings of the 10th Conference on Software Engineering Education and Training, p.13, April 13-16, 1997
• 41: Peter Jackson, Introduction to expert systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
• 42: G. E. Kaiser , P. H. Feiler, An architecture for intelligent assistance in software development, Proceedings of the 9th international conference on Software Engineering, p.180-188, March 1987, Monterey, California, United States
• 43: Gail E. Kaiser , Steven S. Popovich , Israel Z. Ben-Shaul, A bi-level language for software process modeling, Configuration management, John Wiley & Sons, Inc., New York, NY, 1995
• 44: KELLNER, M. AND HANSEN, G. 1989. Software process modeling: A case study. In Proceedings of the 21st Annual Hawaii International Conference on System Sciences (HICSS '89). IEEE Computer Society, Washington, DC.
• 45: Charles W. Krueger, Software reuse, ACM Computing Surveys (CSUR), v.24 n.2, p.131-183, June 1992 [doi>10.1145/130844.130856]
• 46: Craig Larman, Applying UML and patterns: an introduction to object-oriented analysis and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
• 47: LONCHAMP, J. 1993. A structured conceptual and terminological framework for software process engineering. In Proceedings of the 2nd International Conference on Software Process. IEEE Computer Society Press, Los Alamitos, CA.
• 48: MADHAVJI, N., gONG, W., AND BRUCKHAUS, T. 1994. Elicit: A method for eliciting process models. In Proceedings of the 3rd International Conference on the Software Process. IEEE Computer Society Press, Los Alamitos, CA.
• 49: Clement L. McGowan , Shawn A. Bohner, Model based process assessments, Proceedings of the 15th international conference on Software Engineering, p.202-211, May 17-21, 1993, Baltimore, Maryland, United States
• 50: P. Mi , W. Scacchi, A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes, IEEE Transactions on Knowledge and Data Engineering, v.2 n.3, p.283-294, September 1990 [doi>10.1109/69.60792]
• 51: MILANO, A. 1996. I1 modello E3 del manuale di qualit~ della divisione Olivetti Progetto PC&Servers. Master's Thesis. Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy.
• 52: R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
• 53: Carlo Montangero , Vincenzo Ambriola, OIKOS: constructing process-centred SDEs, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
• 54: L. Osterweil, Software processes are software too, Proceedings of the 9th international conference on Software Engineering, p.2-13, March 1987, Monterey, California, United States
• 55: Mark C. Paulk , Bill Curtis , Mary Beth Chrissis , Charles V. Weber, Capability Maturity Model, Version 1.1, IEEE Software, v.10 n.4, p.18-27, July 1993 [doi>10.1109/52.219617]
• 56: RATIONAL SOFTWARE. 1997. The Rational-Microsoft family of visual modeling tools. Tech. Rep./White Paper. Rational Software Corp..
• 57: REENSKAUG, T., WOLD, P., AND LEHNE, O. 1996. Working with Objects--The OORam Software Engineering Method. Manning Publications Co., Greenwich, CT.
• 58: James Rumbaugh, Relations as semantic constructs in an object-oriented language, Conference proceedings on Object-oriented programming systems, languages and applications, p.466-481, October 04-08, 1987, Orlando, Florida, United States
• 59: James Rumbaugh , Michael Blaha , William Premerlani , Frederick Eddy , William Lorensen, Object-oriented modeling and design, Prentice-Hall, Inc., Upper Saddle River, NJ, 1991
• 60: SUN MICROSYSTEMS. 1994. The Java language: A white paper. Tech. Rep. Sun Microsystems, Inc., Mountain View, CA. Available at http://www.java.sun.com
• 61: Toshifumi Tanaka , Keishi Sakamoto , Shinji Kusumoto , Ken-ichi Matsumoto , Tohru Kikuno, Improvement of software process by process description and benefit estimation, Proceedings of the 17th international conference on Software engineering, p.123-132, April 24-28, 1995, Seattle, Washington, United States [doi>10.1145/225014.225026]
• 62: Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, ACM SIGPLAN Notices, v.24 n.2, p.1-13, Feb. 1989
• 63: WARBOYS, B. 1989. The IPSE 2.5 Project: Process modelling as the basis for a support environment. In Proceedings of the 1st International Conference on System Development Environments and Factories. Pitman Publishing, London, UK.
• 64: Brian Warboys, Reflections on the Relationship Between BPR and Software Process Modelling, Proceedings of the13th International Conference on the Entity-Relationship Approach, p.1-9, December 13-16, 1994
• 65: Jim Woodcock , Martin Loomes, Software engineering mathematics, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 66: YOUNG, P. AND TAYLOR, R. 1994. Human-executed operations in the Teamware process programming system. In Proceedings of the 9th International Software Process Workshop.
• 67: Pamela Zave , Michael Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.1, p.1-30, Jan. 1997 [doi>10.1145/237432.237434]

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Computer-aided software engineering (CASE)
      D.2.9 Management
          Subjects: Software configuration management

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software maintenance; Software development

General Terms:
Documentation, Languages, Management

Keywords:
associations, process model elicitation, software process modeling