Behavior Engineering for the Analysis and Verification of Processes

Article Preview

Abstract:

Engineering in general is a process-intensive domain. Processes and process models underpin the activities of every Engineering discipline, ensuring consistent outputs by sequencing the right activities in the correct order. Acknowledging the importance of process models, there is a clear need for effective methods for verifying such models to ensure efficiency and correctness. This paper introduces a new formal methodology for the analysis and verification of processes, Behavior Engineering (BE) [1]. BE has proven very effective when applied to the development of process models. In this example, the discipline is Software Engineering, yet it is argued that the approach can be applied to any process or set of processes from Chemical, Materials and Metallurgical Engineering.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 399-401)

Pages:

1798-1801

Citation:

Online since:

November 2011

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2012 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Dromey, R.G. (2006). Climbing Over the 'No Silver Bullet' Brick Wall, IEEE Software, Vol. 23, No. 2, pp.118-120.

DOI: 10.1109/ms.2006.44

Google Scholar

[2] Feiler P.H., Humphrey, W.S. (1992). Software Process Development and Enactment, Software Engineering Institute, Pittsburgh, CMU/SEY-92-TR-04 p.11

Google Scholar

[3] Box, G.E.P., (1979). Robustness in the strategy of scientific model building, in Robustness in Statistics, R.L. Launer and G.N. Wilkinson, Editors. Academic Press: New York.

Google Scholar

[4] Tuffley, D., Rout, T., Behavior Engineering as Process Model Verification Tool, The proceedings of the 10th International SPICE conference, (2010)

Google Scholar

[5] Glass, R.L. (2004). Is this a revolutionary idea or not?, Communications of the ACM, Vol 47, No 11, pp.23-25.

Google Scholar

[6] Stallinger, F., Dorling, A., Rout, T., Henderson-Sellers, B., Lefever, B., (2002) Software Process Improvement for Component-Based Software Engineering: An Introduction to the OOSPICE Project, EUROMICRO 2002, Dortmund, Germany, April.

DOI: 10.1109/eurmic.2002.1046193

Google Scholar

[7] ISO/IEC 15504 (2003). Information Technology: Process Assessment., Parts 1 – 5.

Google Scholar

[8] ISO/IEC 12207 (1998). Standard for Information Technology-Software Life Cycle Processes. This Standard was published in August 1998.

DOI: 10.4271/ieeeeia12207_0

Google Scholar

[9] M. Ransom-Smith, K. McClung and T. Rout, (2002) Analysis of D5.1 – initial CBD process model using the Behavior Tree method. Software Quality Institute report for the OOSPICE Project, December 4.

Google Scholar

[10] Chrissis, M.B., Konrad, M., & Shrum, S., (2003). CMMI Guidelines for Process Integration and Product Improvement. Addison-Wesley, Boston p.619.

DOI: 10.1145/1022494.1022552

Google Scholar

[11] Dromey, R.G. (2007). Principles for Engineering Large-Scale Software-Intensive Systems Available: http://www.behaviorengineering.org/docs/Eng-LargeScale-Systems.pdf (accessed 26 July, 2011).

Google Scholar

[12] Wen, L., Dromey, R.G., "A Hierarchical Architecture for Modeling Complex Software Intensive Systems Using Behavior Trees", Proceedings of the 9th Asia-Pacific Complex Systems Conference, pp.292-299, (2009)

Google Scholar

[13] Winter, K., "Formalising Behavior Trees with CSP", International Conference on integrated Formal Methods, IFM'04, 2004, pp.148-167

DOI: 10.1007/978-3-540-24756-2_9

Google Scholar

[14] Wen, L., Tuffley, D., Rout, T., Using Composition Trees to Model and Compare Software Process, in Proceedings of 11th International Conference, SPICE2011, pp.1-15, (2011)

DOI: 10.1007/978-3-642-21233-8_1

Google Scholar