| Behavior Engineering |
| Who we are |
| Notations |
| Case Studies |
| Tools |
| Publications |
| Our Partners |
| Contacts |
| Behavior Modeling Language |
| Behavior Trees |
| Composition Trees |
| History of Behavior Engineering |
| Business Case |
| Industry Trials |
| Demonstrations |
| Publications |
|
Overview OverviewDromey, 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 · Conferences2001 2002 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, 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), 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. "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., 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., 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. 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. Journal Articles2004 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 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 Grunske, L., Winter, K., Yatapanage, N., - A case study based on behavior trees, in Journal of Visual Languages and Computing, Volume 19/3, pp 343-379, Elsevier, 2008. 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 Grunske, L., Winter, K., Yatapanage, N., Zafar, S. and Lindsay, P. A., Experience with fault injection experiments for FMEA. Software: Practice and Experience, To Appear. (doi: 10.1002/spe.1039) Lindsay, P.A., Yatapanage, N. and Winter, K. Cut Set Analysis using Behavior Trees and Model Checking, Formal Aspects of Computing, To Appear. L.Wen & D.Tuffley, ‘Formalizing Manufacturing Process Modeling using Composition Trees’ , Advanced Materials Research, Vols 399-401(2012) pp 1852-1855. D.Tuffley & L.Wen, ‘Behavior Engineering for the Analysis and Verification of Processes’ , Advanced Material Research, Vols 399-401(2012) pp 1798-1801. Book ChaptersDromey, 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). SeminarsDromey, 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. · ThesesWen, 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). Yatapanage, N, , PhD Thesis, Institute for Integrated and Intelligent Systems, Griffith University, Australia 2011. |