BE Resources

Overview
Journal Articles
Conference Papers
Book Chapters
Seminars
Theses
Case Studies
Tools
Partners

Overview

Dromey, R.G. 2008. Engineering Large-Scale Systems – Mitigating the Pivotal Risks

Dromey, R.G. 2008. Taming Complexity In Large-Scale Systems

Dromey, R.G. 2007. Principles for Engineering Large-Scale Software-Intensive Systems Slide Presentation

Dromey, R.G. 2006. Formalizing the Transition from Requirements to Design

Dromey, R.G. 2003. From Requirements to Design: Formalizing the Key Steps

Wen, L., Dromey, R.G. 2007. From Requirements Change to Design Change: A Formal Path

Wikipedia page of Behavior Tree

Top

Journal Articles

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

2005
Dromey, R.G. and Powell, D. Early Requirements Defect Detection, TickIT Journal, 4Q05, pp. 3 – 13, 2005.

Dromey, R.G. “Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity”, in S.Leue, and T.J. Systra, Scenarios, Lecture Notes in Computer Science, LNCS 3466, pp. 95 – 108, 2005.

2006
Dromey, R.G. “Climbing Over the ‘No Silver Bullet’ Brick Wall”, IEEE Software, Vol. 23, No. 2, pp.118-120, (March 2006)

Wen, L., Dromey, R.G., “Architecture Normalization for Component-based Systems“, in Electronic Notes in Theoretical Computer Science, vol.160, pp. 335-348.

2008

Colvin, R., Grunske, L. and Winter. K., “Timed Behavior Trees for Failure Mode and Effects Analysis of
Time-Critical Systems”, in Journal of Systems and Software, Elsevier, accepted for publication 03/2008. To appear.

Grunske, L., Winter, K., Yatapanage, N., Defining the abstract syntax of visual languages with advance graph grammars – A case study based on behavior trees, in Journal of Visual Languages and Computing, Volume 19/3, pp 343-379, Elsevier, 2008.

2009
L. Wen & G. Dromey & D. Kirk 2009, ‘Software Engineering and Scale-Free Networks’, in I E E E Transactions on Systems, Man and Cybernetics, Part B: Cybernetics, vol.39, no.3, IEEE, New York.

2010
Myers, T., Fritzson, P., Dromey, G., “Co-Modeling: From Requirements to an Integrated Software/Hardware Model” , Computer, 09 Sept. 2010. IEEE computer Society Digital Library. IEEE Computer Society,

2011

L. Grunske, K. Winter, N. Yatapanage, S. Zafar & P. Lindsay. Experience with fault injection experiments for FMEA, J. of Software: Practice & Experience, 41(11) 1233-1258, 2011.

Lindsay, P.A., Yatapanage, N. and Winter, K. Cut Set Analysis using Behavior Trees and Model Checking, Formal Aspects of Computing, To Appear.

2012
S-K. Kim, T. Myers, M-F. Wendland& .A. Lindsay, Execution of natural language requirements using State Machines synthesised from Behavior Trees, Journal of Systems and Software 85 (2012) 2652-2664.·

P.A. Lindsay, N. Yatapanage & K. Winter. Cut Set Analysis using Behavior Trees and model checking. Formal Aspects of Computing 24:2, 249-266, 2012

David Tuffley & Lian Wen 2012, ‘Behavior Engineering for the Analysis and Verification of Processes‘, in Advanced Materials Research, vol.399-401, Trans Tech Publications, Switzerland.

Lian Wen & David Tuffley 2012, ‘Formalizing Manufacturing Process Modeling Using Composition Trees’, in Advanced Materials Research, vol.399-401, Trans Tech Publications, Switzerland.

2013
K. Ahmed, T. Myers, L. Wen_ and A. Sattar, “Detecting Requirements Defects Utilising A Mathematical Framework for Behavior Engineering”, International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 187-198, 2013, Doi: 10.7321/jscse.v3.n3.29

2014
Lian Wen & David Tuffley & R. Geoff. Dromey 2014, ‘Formalizing the transition from requirements’ change to design change using an evolutionary traceability model’, in Innovations in Systems and Software Engineering, vol.N/A, Springer, United Kingdom.

Top

Conference Papers

 2001
Dromey, R.G. Genetic Software Engineering – Simplifying Design Using Requirements Integration, IEEE Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Dec 2001.

2002
Milosevic, Z., Dromey, R.G. On Expressing and Monitoring Behavior in Contracts, EDOC 2002, Proceedings, 6th International Enterprise Distributed Object Computing Conference, Lausanne, Switzerland, Sept. 2002, pp. 3-14.

2003
Dromey, R.G. Architecture as an Emergent Property of Requirements Integration, ICSE-2003, Software Requirements to Architecture Workshop – STRAW’ 03, Portland, USA, May 2003.

Dromey, R.G. From Requirements to Design: Formalizing the Key Steps, (Invited Keynote Address), SEFM-2003, IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Sept. 2003, pp. 2-11. Slide Presentation

Dromey, R.G. Managing Complexity in the Design and Analysis of Large Systems, (Invited Presentation), SETE 2003, Systems Engineering/Test and Evaluation Conference, Canberra, Sept., 2003.

Dromey, R.G. Using Behaviour Trees to Design Large Systems by Requirements Integration, Dagstuhl Invited Seminar 03371: Scenarios, Models, Algorithms and Tools, Wadern, Germany, September, 2003.

2004
Dromey, R.G. Using Behavior Trees to Model the Autonomous Shuttle System, 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04) ICSE Workshop W5S, Edinburgh, May 25th, 2004

Lin, K. Chen, D., Sun, C., Dromey, R.G. Tree Structure Maintenance in a Collaborative Genetic Software Engineering System, in Proceedings of the Sixth International Workshop on Collaborative Editing Systems, November, 2004

Smith, C., Winter, K., Hayes, I., Dromey, R.G., Lindsay, P., Carrington, D.: An Environment for Building a System Out of Its Requirements, 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, Sept. (2004).

Wen, L., Dromey, R.G: From Requirements Change to Design Change: A Formal Path, SEFM 2004, IEEE International Conference on Software Engineering and Formal Methods, Eds., J.R. Cuellar, Z. Liu, Beijing, September, (2004), pp. 104-113. – ( Selected as one of Best Papers)

Winter, K., “Formalising behaviour trees with CSP”, Proc. of 4th International Conference on Integrated Formal Methods (IFM 2004), Eds., E. Boiten, J. Derrick, G. Smith, April 2004; Lecture Notes in Computer Science, Vol. 2999, 148-167.

2005
Dromey, R. G., (2005), A System Architecture for Controlling Complexity, SETE-2005, Systems Engineering/Test and Evaluation Conference , Brisbane, Australia.

Dromey, R. G., (2005), System Composition: Constructive Support for the Analysis and Design of Large Systems, SETE-2005, Systems Engineering/Test and Evaluation Conference , Brisbane, Australia.

Gonzalez-Perez, C.A., Henderson-Sellers, B., Dromey, R.G: A Metamodel for the Behavior Trees Modelling Technique, ICITA 2005, 3rd International Conference on Information Technology and Applications, Sydney, July 4-7, 2005.

Grunske, L., Lindsay, P., Yatapanage, N., Winter, K., “An Automated Failure Mode and Effect Analysis based on High-Level Design Specification with Behavior Trees”, Proceedings of International Conference on Integrated Formal Methods (IFM 2005), Edited by Atkinson, C., Bunse, C., Gross, H., Peper, C., 2005; Lecture Notes in Computer Science, Vol. 3771, 129-149.

Lin, K., Chen, D., Sun, C., Dromey, R.G., Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach, 9th European Conference on Computer-Supported Cooperative Work (ECSCW’05), 2005.

Lin, K., Chen, D., Sun, C., Dromey, R.G., A Constraint Maintenance Strategy and Applications in real-time Collaborative Environments, 2nd International Conference on Cooperative Design, Visualization and Engineering (CDVE2005), 2005.

Lin, K., Chen, D., Dromey, R.G., Sun, C., Maintaining Multi-way Constraints in Collaborative Systems, 1st International Conference on Collaborative Computing: Networking, Applications and Work-sharing (CollaborateCom 2005), 2005.

Wen, L., Dromey, G, “Architecture Normalization for Component-Based Systems”, Proceedings of the 2nd International Workshop on Formal Aspects of Component Software FACS’05, pp247-261. Slide Presentation

Zafar, S. and Dromey, R. G., (2005), Integrating Safety and Security Requirements into Design of an Embedded System. Asia-Pacific Software Engineering Conference 2005, 15th-17th December, Taipei, Taiwan. IEEE Computer Society Press. pp629-636. Slide Presentation

Zafar, S. and Dromey, R. G., (2005), Managing Complexity in Modelling Embedded Systems. Systems Engineering/Test and Evaluation Conference 2005, 7th-9th November, Brisbane, Australia. Slide Presentation

2006
Dromey, R.G. “Scaleable Formalization of Imperfect Knowledge”, 1st International Workshop – Asian Working Conference on Verified Software (AWCVS’06), pp 21-33, Macao, Oct. 2006.

Dromey, R.G. “Guiding Principles for Engineering Quality Software”, Invited Keynote Addrress, 2nd Malaysian Software Engineering Conference, MySEC’06, Kuala Lumpur, Malaysia, Dec. 2006.

Lin, K., Chen, D., Dromey, R.G., Sun, CZ.: Multi-way Dataflow Constraint Propagation in Real-time Collaborative Systems, IEEE, The 2nd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006), Atlanta, Georgia, USA, Nov, 2006.

Sithirasenan,E., Zafar,S., and Muthukkumarasamy, V. “Formal Verification of the IEEE 802.11i WLAN Security Protocol,” presented at Australian Software Engineering Conference (ASWEC ’06), Sydney, Australia, 2006.

Zafar,S., K.Winter, R.Colvin, R.G.Dromey, “Verification of an Integrated Role-Based Access Control Model”, 1st International Workshop – Asian Working Conference on Verified Software (AWCVS’06), pp 230-240, Macao, Oct. 2006.

2007
Colvin, R., Grunske, L., Winter, K. Probabilistic Timed Behavior Trees, In J. Davies and J. Gibbons, editors, Proc. of 6th Int. Conf. on Integrated Formal Methods (IFM 2007), Lecture Notes in Computer Science, vol 4591, pp 156-175, Springer-Verlag, 2007.

Colvin, R., Hayes, I.J. A Semantics for Behavior Trees. February, 2007.

Grunske, L., Winter, K., Colvin, R., “Timed Behavior Trees and their application to verifying real-time systems”, Proceedings of 18th Australian Conference on Software Engineering (AEWEC 2007), April 2007, accepted for publication.

Zafar, S., Colvin, R., Winter, K., Yatapanage, N. and G. Dromey. Early Validation and Verification of a Distributed Role-Based Access Control Model. Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC2007), IEEE Computer Society. pp.430-437. 2007.

Wen, L., Kirk, D., Dromey, R.G, A Tool to Visualize Behavior and Design Evolution,  IWPSE ’07 Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting, pp 114-115, 2007

Wen, L., Lin, K., Colvin, R., Seagrott, J., Yatapanage, N. and G. Dromey. “Integrare”- a Collaborative Environment for Behavior-Oriented Design. Cooperative Design, Visualization, and Engineering 4th International Conference CDVE2007. Proceedings, Lecture Notes in Computer Science. Springer-Verlag. 4674:122-131. 2007.

2008
Phillips, V., (Raytheon Australia), “Implementing a Behavior Tree Analysis Tool Using Eclipse Development Frameworks” , Australian Software Engineering Conference (ASWEC’08), Perth, March 2008.

Boston, J., (Raytheon Australia), Behavior Trees – How they improve Engineering Behaviour? , 6th Annual Software and Systems Engineering Process Group Conference (SEPG 2008), Melbourne, Aug. 2008.

Myers, T., Fritzson, P., Dromey, R.G., Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems , in Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus, July 8, 2008, pp 5-15.

2009
Myers,T., Dromey, R.G., “From Requirements to Embedded Software – Formalising the Key Steps” , in Proceedings of the 2009 Australian Software Engineering Conference (ASWEC’09), Gold Coast, Australia, 14-17 April, 2009, pp 23-33.

Wen, L., Dromey, R. G., “A Hierarchical Architecture for Modeling Complex Software Intensive Systems Using Behavior Trees” , 9th Asia-Pacific Complex Systems Conference, Chuo University, Tokyo, 4-7 November 2009,

2010
Yatapanage, N., Winter, K. and S. Zafar. Slicing Behavior Tree Models for Verification. Theoretical Computer Science, IFIP Advances in Information and Comunication Technology. 323:125-139. 2010.

Lindsay, P., Winter, K. and N. Yatapanage. Safety Assessment Using Behavior Trees and Model Checking, 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), IEEE Computer Society. 2010.

Behavior Trees: from Systems Engineering to Software Engineering, in Proc 8th IEEE Int Conf on Software Engineering and Formal Methods (SEFM), Pisa, Italy Sept 2010, pp 21-30.

P.A. Lindsay, K.Winter & N.Yatapange, Safety assessment using Behavior Trees and Model Checking, in Proc 8th IEEE Int Conf on Software Engineering and Formal Methods (SEFM), Pisa, Italy Sept 2010, pp 181-190.

2011

L. Wen & D. Tuffley & T. Rout 2011, ‘Using Composition Trees to Model and Compare Software Process’, in Software Process Improvement and Capability Determination, Springer, Proceedings of 11th International Conference, SPICE2011, pp 1-15

2012

P.A. Lindsay, K.Winter& S. Kromodimoeljo, Model-based Safety Risk Assessment using Behaviour Trees, in Proc Asia Pacific Conference on Systems Engineering (APCOSE)/Australian Systems Engineering, Test & Evaluation (SETE) 2012 combined conference, Brisbane, 1-2 May 2012, Systems Engineering Society of Australia ISBN 978-0-9752028-6-9

Lian Wen & Terry Rout 2012, ‘Using Composition Trees to Validate an Entry Profile of Software Engineering Lifecycle Profiles for Very Small Entities (VSEs)‘, in Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012 Proceedings, Springer, Germany.

2013

M. Jäntti, T. Rout, L. Wen, S. Heikkinen, and A. Cater-Steel, Exploring the Impact of IT Service Management Process Improvement Initiatives: A Case Study Approach, Software Process Improvement and Capability Determination 13th International Conference, SPICE 2013, Bremen, German,

Lin Wah Chan, Ren´e Hexel, Lian Wen, Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling, ASWEC2013

2014

Kushal Ahmed & Hakim Newton & Lian Wen & Abdul Sattar 2014, ‘Formalisation of the Integration of Behavior Trees‘, in 29th IEEE/ACM International Conference on Automated Software Engineering, ACM, Vasteras, Sweden

Kushal Ahmed & Lian Wen & Abdul Sattar 2014, ‘iRE: A Semantic Network based Interactive Requirements Engineering Framework‘, in The 2nd World Conference on Complex Systems, IEEE, Agadir, Morocco

Jeremy Cade & Lian Wen & Terry Rout 2014, ‘Issues in applying model based process improvement in the cloud computing domain‘, in 14th International Conference, SPICE 2014, Vilnius, Lithuania, November 4-6, 2014. Proceedings, Springer, Switzerland.

2015

Peter Lindsay,  Paul Strooper, Sentot Kromodimoelio,‎ and Mohamed Almorsy  ”Automation of Test Case Generation from Behavior Tree Requirements Models“, 2015 Australasian Conference on Software Engineering (ASWEC 2015), Adelaide, Australia, September 2015

2016

Tatsuya Nonoyama, Lian Wen and Terence Rout, “Current challenges and proposed software improvement process for VSEs in developing countries”, DOI: 10.1007/978-3-319-38980-6_33, In proceedings: Software Process Improvement and Capability Determination (SPICE), pp.437-444 ,2016

 

Top

Book Chapters

Dromey, R.G. How to Solve it by Computer, Eastern Economy Edition, Prentice-Hall India, New Delhi, 2004. (Original Prentice-Hall International Edition, London, 1982)

Dromey, R.G. “Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity”, in S.Leue, and T.J. Systra, Scenarios, Lecture Notes in Computer Science, LNCS 3466, pp. 95 – 108, 2005.

Dromey, R. G. “Formalizing the Transition from Requirements to Design”, in “Mathematical Frameworks for Component Software – Models for Analysis and Synthesis”, Jifeng He, and Zhiming Liu (Eds.), World Scientific Series on Component-Based Development, pp. 156-187, (Invited Chapter) (2006)

Dromey, R.G. “Making Real Progress With the Requirements Defect Problem”, in Duggan, E., Reichgelt, H. (Eds) Measuring Quality Requirements in Information Systems, Ideas Group Inc., pp. 87-108 (2006). (Invited Chapter).

Lin Wah Chan & René Hexel & Lian Wen 2012, ‘Integrating Non-Monotonic Reasoning into High Level Component-Based Modelling Using Behavior Trees‘, in New Trends in Software Methodologies, Tools and Techniques, IOS Press, Netherlands.

Top

Seminars

Dromey, R.G. 2007. Engineering Large-Scale Software-Intensive Systems

Dromey, R.G. Using Behaviour Trees to Design Large Systems by Requirements Integration, Dagstuhl Invited Seminar 03371: Scenarios, Models, Algorithms and Tools, Wadern, Germany, September, 2003.

Top

Theses

Wen, L. Modeling the Impact of Change on Software Intensive Systems , PhD Thesis, School of Computer and Information Technology, Griffith University, Australia, 2006.

Zafar, S. Integration of Access Control Requirements into System Specifications , PhD Thesis, School of Computer and Information Technology, Griffith University, Australia, 2008.

Myers, T. The Foundations for a Scaleable Methodology for Systems Design , PhD Thesis, School of Computer and Information Technology, Griffith University, Australia, 2010. (Supplementary material).

Top

Case Studies

Wen, L. 2009. Behavior Engineering Based Software Change Case Studies

Top

Tools

2009 Integrare, download

2010 TextBE

2011 BECIE, download

2013 ComBE

2014 iRE

2015 BT-Analyser

Top

Partners

Griffith University

University of Queensland

ARC Centre for Complex Systems Grant

The following elements are involved:

Software Quality Institute (SQI)

Institute for Integrated and Intelligent Systems (IIIS)

DCCS Dependability Project

Top