Eliciting Software Process Models with the E3 Language

ACM Transactions on Software Engineering and Methodology

Volumn 7, Issue 4, 1998, Pages 368-410

  Jaccheri, Maria Letizia ^a   Picco, Gian Pietro ^b   Lago, Patricia ^b  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b POLITECNICO DI TORINO   (Italy)

Author keywords

D.1.5 Programming Techniques : Object Oriented Programming; D.2.1 Software Engineering : Requirements Specifications; D.2.2 Software Engineering : Tools and Techniques computer aided software engineering (CASE)

Indexed keywords

COMPUTER SIMULATION LANGUAGES; CONSTRAINT THEORY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

SOFTWARE PROCESS MODELS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032182804     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/292182.292194     Document Type: Article

References (67)

1. AUMAITRE J., DOWSON, M., AND HARJANI, D. 1994. Lessons learned from formalizing and implementing a large process model. In Proceedings of the European Workshop on Software Process Technology. 227-240.
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. BANDINELLI S., FUGGETTA, A., GHEZZI, C., AND LAVAZZA, L. 1994. SPADE: An environment for software process analysis, design, and enactment. In Software Process Modelling and Technology, Finkelstein, A., Kramer, J., and Nuseibeh, B., Eds. Research Studies Press Advanced Software Development Series. Research Studies Press Ltd., Taunton, UK, 223-247.
5. BANDINELLI S., FUGGETTA, A., LAVAZZA, L., LOI, M., AND PICCO, G. P. 1995. Modeling and improving an industrial software process. IEEE Trans. Softw. Eng. 21, 5 (May), 440-454.
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. BOLCER, G. AND TAYLOR, R. 1996. Endeavors: A process system integration infrastructure. In Proceedings of the 4th International Conference on the Software Process (ICSP4). IEEE Computer Society, Washington, DC, 76-85.
9. BOOCH, G. 1991. Object Oriented Design with Application. Benjamin-Cummings Publ. Co., Inc., Redwood City, CA.
10. BOOTSTRAP PROJECT TEAM. 1993. Bootstrap: Europe's assessment method. IEEE Softw. 10, 3, 93-95.
11. BRUYNOOGHE, R. F., GREENWOOD, R. M., SA, J., WARBOYS, B. C., AND ROBERTSON, I. 1994 PADM: Towards a total process modelling system. In Software Process Modelling and Technology, Finkelstein, A., Kramer, J., and Nuseibeh, B., Eds. Research Studies Press Advanced Software Development Series. Research Studies Press Ltd., Taunton, UK, 293-334.
12. CARDELLI, L. 1984. A semantics of multiple inheritance. In Proceedings of the International Symposium on Semantics of Data Types (Sophia-Antipolis, France, June 27-29), G. Kahn, D. B. MacQueen, and G. Plotkin, Eds. Lecture Notes in Computer Science, vol. 173. Springer-Verlag, New York, NY, 51-67.
13. CHEN, P. 1976. The Entity-Relationship model: Toward a unified view of data. ACM Trans. Database Syst. 1, 1, 9-36.
14. COAD, P. AND YOURDON, E. 1991a. Object-Oriented Analysis. 2nd ed. Yourdon Press Computing Series. Yourdon Press, Upper Saddle River, NJ.
15. COAD, P. AND YOURDON, E. 1991b. Object-Oriented Design. Yourdon Press Computing Series Yourdon Press, Upper Saddle River, NJ.
16. CONRADI, R., FERNSTROM, C., FUGGETTA, A., AND SNOWDON, R. 1992. Towards a reference framework for process concepts. In Proceedings of the European Workshop on Software Process Technology (EWSPT '92). Lecture Notes in Computer Science Springer-Verlag, Berlin, Germany, 3-18.
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. CURTIS, B., KELLNER, M. I., AND OVER, J. 1992. Process modeling. Commun. ACM 35, 9 (Sept.), 75-90.
20. DARIMONT, R., DELOR, E., MASSONET, P., AND VAN LAMSWEERDE, A. 1997. GRAIL/KAOS: A requirements engineering environment. In Proceedings of the 19th International Conference on Software Engineering. ACM Press, New York, NY, 612-613.
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. EMBLEY, D., JACKSON, R., AND WOODFIELD, S. 1995. OO systems analysis: Is it or ins't it?. IEEE Softw. 12, 4, 18-33.
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. FINKELSTEIN, A., KRAMER, J., AND NUSEIBEH, B., Eds. 1994. Software Process Modelling and Technology. Research Studies Press Advanced Software Development Series. Research Studies Press Ltd., Taunton, UK.
27. FUGGETTA, A. 1993. A classification of CASE technology. Computer 26, 12 (Dec.), 25-38.
28. GHEZZI, C., JAZAYERI, M., AND MANDRIOLI, D. 1991. Fundamentals of Software Engineering. Prentice-Hall, Inc., Upper Saddle River, NJ.
29. GRAW, G. AND GRUHN, V. 1995. Distributed modeling and distributed enaction of business processes. In Proceedings of the 5th European Software Engineering Conference. Lecture Notes in Computer Science, vol. 989. Springer-Verlag, New York, NY, 8-27.
30. HAMMER, M. 1990. Reengineering work: Don't automate, obliterate!. Harvard Bus. Rev. 90, 104-112.
31. HAREL, D. 1987. Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 3 (June 1), 231-274.
32. HEINEMAN, G. 1994. Automatic translation of process modeling formalisms. In Proceedings of the 1994 Centre for Advanced Studies Conference (CASCON). 110-120.
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. HUMPHREY, W. S. AND KELLNER, M. I. 1989. Software process modeling: Principles of entity process models. In Proceedings of the 11th International Conference on Software Engineering (Pittsburgh, PA, May 15-18). ACM Press, New York, NY, 331-342.
36. 3 PML and tool. Tech. Rep. 4/96. Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy.
37. 3. In Proceedings of the 10th International Software Process Workshop.
38. JACCHERI, M. L. AND CONRADI, R. 1993. Techniques for process model evolution in EPOS. IEEE Trans. Softw. Eng. 19, 12 (Dec.), 1145-1156.
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. JACCHERI, M. L. AND LAGO, P. 1997. Applying software process modeling and improvement in academic setting. In Proceedings of the 10th ACM IEEE-CS Conference on Software Engineering Education and Training. ACM, New York, NY.
41. JACKSON, P. 1986. Introduction to Expert Systems. Addison-Wesley International Computer Science Series. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
42. KAISER, G. E. AND FEILER, P. H. 1987. An architecture for intelligent assistance in software development. In Proceedings of the 9th International Conference on Software Engineering (Monterey, CA, Mar. 30-Apr. 2). IEEE Computer Society Press, Los Alamitos, CA, 180-188.
43. KAISER, G. E., POPOVICH, S. S., AND BEN-SHAUL, I. Z. 1995. A bi-level language for software process modeling. In Configuration Management, Tichy, W. F., Ed. Wiley Trends in Software Series. John Wiley & Sons, Inc., New York, NY, 39-72.
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. KRUEGER, C. W. 1992. Software reuse. ACM Comput. Surv. 24, 2 (June), 131-183.
46. LARMAN, C. 1998. Applying UML and Patterns - An Introduction to Object-Oriented Analysis and Design. Prentice Hall Press, Upper Saddle River, NJ.
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., HONG, 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. MCGOWAN, C. AND BOHNER, S. 1993. Model based process assessment. In Proceedings of the 15th International Conference on Software Engineering.
50. MI, P. AND SCACCHI, W. 1990. A knowledge-based environment for modeling and simulating software engineering processes. IEEE Trans. Knowl. Data Eng. 2, 3 (Sept.), 283-294.
51. 3 del manuale di qualitá della divisione Olivetti Progetto PC&Servers. Master's Thesis. Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy.
52. MILNER, A. 1989. A Calculus of Communicating Systems. Springer Lecture Notes in Computer Science, vol. 92. Springer-Verlag, New York, NY.
53. MONTANGERO, C. AND AMBRIOLA, V. 1994. OIKOS: Constructing process-centred SDEs. In Software Process Modelling and Technology, Finkelstein, A., Kramer, J., and Nuseibeh, B., Eds. Research Studies Press Advanced Software Development Series. Research Studies Press Ltd., Taunton, UK, 131-151.
54. OSTERWEIL, L. 1987. Software processes are software too. In Proceedings of the 9th International Conference on Software Engineering (Monterey, CA, Mar. 30-Apr. 2). IEEE Computer Society Press, Los Alamitos, CA, 2-13.
55. PAULK, M., CURTIS, B., CHRISSIS, M., AND WEBER, C. 1993. Capability maturity model, version 1.1. IEEE Softw. 10, 4, 18-27.
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. RUMBAUGH, J. 1987. Relations as semantics constructs in an object-oriented language. In Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '87, Orlando, FL, Oct. 4-8), N. Meyrowitz, Ed.. ACM Press, New York, NY, 466-481.
59. RUMBAUGH, J., BLAHA, M., PREMERLANI, W., EDDY, F., AND LORENSEN, W. 1991. Object-Oriented Modeling and Design. Prentice-Hall, Inc., Upper Saddle River, NJ.
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. TANAKA, T., SAKAMOTO, K., KUSUMOTO, S., MATSUMOTO, K.-I., AND KIKUNO, T. 1995. Improvement of software process by process description and benefit estimation. In Proceedings of the 17th International Conference on Software Engineering (ICSE-17, Seattle, WA, Apr. 23-30). ACM Press, New York, NY, 123-132.
62. TAYLOR, R. N., BELZ, F. C., CLARKE, L. A., OSTERWEIL, L., SELBY, R. W., WILEDEN, J. C., WOLF, A. L., AND YOUNG, M. 1988. Foundations for the Arcadia environment architecture. SIGPLAN Not. 24, 2 (Feb.), 1-13.
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. WARBOYS, B. 1994. Reflections on the relationship between BPR and software process modelling. In Proceedings of the 13th International Conference on the Entity-Relationship Approach. Lecture Notes in Computer Science, vol. 881. Springer-Verlag, New York, NY.
65. WOODCOCK, J. AND LOOMES, M. 1988. Software Engineering Mathematics. SEI Series in Software Engineering. Addison-Wesley Longman Publ. Co., Inc., Reading, MA.
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. ZAVE, P. AND JACKSON, M. 1997. Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6, 1 (Jan.), 1-30.