Automated validation and verification of process models

Proceedings of the IASTED International Conference on Software Engineering and Applications

Volumn 7, Issue , 2003, Pages 587-592

  Atkinson, Darren C ^a   Noll, John ^a  

^a Santa Clara University   (United States)

Author keywords

Modelling and Simulation; Modelling Languages; Process Programming; Static Analysis

Indexed keywords

MODELLING AND SIMULATION; MODELLING LANGUAGES; PROCESS PROGRAMMING; STATIC ANALYSIS;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; ERROR ANALYSIS; ITERATIVE METHODS; MATHEMATICAL MODELS;

SOFTWARE ENGINEERING;

EID: 1542642881     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. L. J. Osterweil, Software processes are software too, Proc. 9th Intl. Conf. Soft. Eng., Monterey, CA, 1987, 2-13.
2. W. Scacchi, Understanding software process redesign using modeling, analysis and simulation, Softw. Process. Improv. arid Pract., 5(2-3), 2000, 183-195.
3. S. M. Sutton, Jr., D. Heimbigner, and L. J. Osterweil, APPL/A: A language for software process programming, ACM Trans. Softw. Eng. Meth., 4(3), 1995, 221-286.
4. J. Noll and W. Scacchi, Supporting software development in virtual enterprises, J. Digit. Inf., 1(4), 1999.
5. W. Scacchi and J. Noll, Process-driven intranets: Life-cycle support for process reengineering, IEEE Inter. Comput., 1(5), 1997, 42-49.
6. P. Mi and W. Scacchi, A knowledge-based environment for modeling and simulating software engineering processes, ACM Trans. Knowl. Data Eng., 2(3), 1990, 283-289.
7. B. W. Boehm, Anchoring the software process, IEEE Softw., 13(4), 1996, 73-82.
8. F. C. Chow and J. L. Hennessy, A priority-based coloring approach to register allocation, ACM Trans. Prog. Lang. Syst., 12(4), 1990, 501-536.
9. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools (Reading, MA: Addison-Wesley, 1986).
10. J. Ferrante, K. J. Ottenstein, and J. D. Warren, The program dependence graph and its use in optimization, ACM Trans. Prog. Lang. Syst., 9(3), 1987, 319-349.
11. T. Lengauer and R. E. Tarjan, A fast algorithm for finding dominators in a flowgraph, ACM Trans. Prog. Lang. Syst., 1(1). 1979, 121-141.
12. D. Jackson, ASPECT: An economical bug-detector, Proc. 13th Intl. Conf. Soft. Eng., Austin. TX, 1991, 13-22.
13. M. Mock, D. C. Atkinson, C. Chambers, and S. J. Eggers, Improving program slicing with dynamic points-to data, Proc. 10th ACM Sym. Foun. Soft. Eng., Charleston, SC, 2002, 71-80.
14. M. Weiser, Program slicing, IEEE Trans. Softw. Eng., SE-10(4), 1984, 352-357.
15. J. E. Cook and A. L. Wolf, Software process validation: Quantitatively measuring the correspondence of a process to a model, ACM Trans. Softw. Eng. Meth., 8(2), 1999, 147-176.
16. E. W. Johnson and J. B. Brockman, Measurement and analysis of sequential design processes, ACM Trans. Des. Autom. Electron. Syst., 3(1), 1998, 1-20.
17. W. Scacchi and P. Mi, Process life cycle engineering: A knowlege-based approach and environment. Int. J. Intell. Syst. Account. Financ. Manage., 6(2). 1997, 83-107.