"Integrare", a collaborative environment for behavior-oriented design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4674 LNCS, Issue , 2007, Pages 122-131

  Wen, Lian ^a   Colvin, Robert ^b   Lin, Kai ^a   Seagrott, John ^a   Yatapanage, Nisansala ^a   Dromey, Geoff ^a  

^a GRIFFITH UNIVERSITY   (Australia)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Behavior tree; Behavior oriented design; Software environment

Indexed keywords

COMPUTER SUPPORTED COOPERATIVE WORK; NATURAL LANGUAGE PROCESSING SYSTEMS; SEMANTICS; SYSTEMS ANALYSIS; VISUALIZATION;

BEHAVIOR TREES; BEHAVIOR-ORIENTED DESIGN; COLLABORATIVE ENVIRONMENT; SOFTWARE ENVIRONMENT;

INFORMATION MANAGEMENT;

EID: 38149081320     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74780-2_14     Document Type: Conference Paper

References (47)

1. Dromey, R.G.: From Requirements to Design: Formalising the Key Steps. In: IEEE International Conference on Software Engineering and Formal Methods, pp. 2-11 (2003)
2. Wen, L., Dromey, R.G.: Architecture Normalization for Component-based Systems. Electronic Notes in Theoretical Computer Science 160, 335-348 (2006)
3. Wen, L., Dromey, R.G.: From Requirements Change to Design Change: A Formal Path. In: SEFM 2004, pp. 104-113.
4. Harrison, W., Ossher, H., Tarr, P.: Software engineering tools and environments: a roadmap. In: The Conference on The Future of Software Engineering, pp. 261-277 (2000)
5. Nuseibeh, B., Easterbrook, S.: Requirement Engineering: a Roadmap. The Future of Software Engineering, ACM press (2000)
6. Bruckhaus, T.: The impact of inserting a tool into a software process. In: The conference of the Centre for Advanced Studies on Collaborative research, vol. SE -1 (1993)
7. Glass, R.L.: Practical Programmer: Is This a Revolutionary Idea, or Not? Communications of the ACM 47(11), 23-25 (2004)
8. Gonzalez-Perez, C., Henderson-Sellers, B., Dromey, G.: A Metamodel for the Behavior Trees Modelling Technique. In: ICITA 05, pp. 35-39 (2005)
9. Winter, K.: Formalising Behavior Trees with CSP. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 148-167. Springer, Heidelberg (2004)
10. Grunske, L., Lindsay, P., Yatapanage, N., Winter, K.: An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol. 3771, pp. 129-149. Springer, Heidelberg (2005)
11. Colvin, R., Hayes, I.J.: "A Semantics for Behavior Trees, ACCS Technical Report, No. ACCS-TR-07-01, ARC Centre for Complex Systems (April 2007)
12. Dromey, R.G., Powell, D.: Early Requirements Defects Detection, TickIT International, 4Q05, pp. 3-13 (2005)
13. Dromey, R.G.: Scaleable Formalization of Imperfect Knowledge. In: 1st Asian Working Conference on Verified Software (AWCVS'06), Macau (2006)
14. Zafar, S., Dromey, R.G.: Integrating Safety and Security Requirements into Design of an Emedded System. In: Asia-Pacific Software Engineering Conference, pp. 629-636 (2005)
15. Zafar, S., Winter, K., Colvin, R., Dromey, R.G.: Verification of an Integrated Role-Based Access Control Model. In: 1st Asian Working Conderence on Verified Software (2006)
16. Behavior Engineering (2007), http://www.behaviorengineering.org/index.php
17. Smith, C., Winter, K., Hayes, I., Dromey, R.G., Lindsay, P., Carrington, D.: An Environment for Building a System Out of its Requirements. In: ASE 2004, pp. 398-399 (2004)
18. Lin, K., Chen, D., Sun, C., Dromey, R.G.: Maintaining constraints in collaborative graphic systems: the CoGSE approach. In: 9th European Conference on CSCW(2005)
19. Lin, K., et al.: Maintaining multi-way dataflow constraints in collaborative systems. In: Int. Conference in Collaborative Computing: Networking, Applications and Worksharing (2005)
20. Wen, L.: What is GSET and what it can do, http://www.sqi.gu.edu.au/gse/ tools/gset.html
21. Visual Studio 2005, (2007) http://msdn.microsoft.com/vstudio/
22. MFC (2007), http://www.visionx.com/mfcpro/
23. XD++ (2007), http://www.ucancode.net/
24. Poseidon (2007), http://www.gentleware.com/
25. Altova UModel (2007), http://www.altova.com
26. MagicDraw (2007), http://www.magicdraw.com/
27. IBM-Rational Rose, http://www-306.ibm.com/software/awdtools/developer/ rose/
28. Analyst Pro (2007), http://www.analysttool.com/
29. Borland Caliber, http://www.borland.com/us/products/caliber/
30. Telelogic DOORS (2007), http://www.telelogic.com/products/doors/doors/ index.cfm
31. SmartDraw, http://www.smartdraw.com/
32. Gerndt, R., Ernst, R.: An Event-Driven Multi-Threading Architecture for Embedded Systems. In: 5th Int. Workshop on Hardware/Software Co-Design, pp. 29-33 (1997)
33. Krasner, G.E., Pope, S.T.: A cookbook for using the model-view controller user interface paradigm in Smalltalk-80. J. Object Oriented Program, 26-49 (1,3, August, 1988)
34. Sun, C., Chen, D.: Consistency maintenance in real-time collaborative graphics editing systems. ACM Transactions on Computer-Human Interaction 9(1), 1-41 (2002)
35. Sun, C., et al.: Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems. ACM Transactions on Computer-human Interaction 5(1), 63-108 (1998)
36. Simmonds, J., Bastarrica, M.C.: A tool for automatic UML model consistency checking. In: The 20th IEEE/ACM international Conference on Automated software engineering, ACM Press, New York (2005)
37. Malgouyres, H., Motet, G.: A UML model consistency verification approach based on meta-modeling formalization. In: ACM symposium on Applied computing (2006)
38. Vidal, J.S., Malgouyres, H., Motet, G.: UML2.0 consistency rules identification. In: The International Conference on Software Engineering Research and Practice, SERP (2005)
39. McUmber, M.E., Cheng, B.H.C.: A General Framework for Formalizing UML with Formal Language. In: The 23rd International Conference on Software Engineering (2001)
40. Cavarra, A., Riccobene, E., et al.: A Framework to Simulate UML Models: Moving from a Semi-formal to Formal Environment. ACM symposium on Applied computing (2004)
41. Bouquet, E., Legeard, B., Peureux, F., Torreborre, E.: Mastering Test Generation from Smart Card Software Formal Models. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol. 3362, pp. 70-85. Springer, Heidelberg (2005)
42. Eriksson, M., Morast, H., Börstler, J.: The PLUSS toolkit - extending telelogic DOORS and IBM-rational rose to support product line use case modelling. In: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, pp. 300-304 (2005)
43. Cooper, L., Chung, L.: Managing Change in OTS-A ware Requirements Engineering Approach. In: The 2nd international workshop on Models and processes for the evaluation of off-the-shelf components, pp. 1-4 (2005)
44. Somogyi, Z., Henderson, F.J., et al.: Mercury, an efficient purely declarative logic programming language. In: The 8th Australasian Computer Science Conference, pp. 499-512
45. Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 28(4), 626-643 (1996)
46. Bensalem, S., Ganesh, V., Lakhnech, Y., Muñoz, C., Owre, et al.: An Overview of SAL. In: Fifth NASA Langley Formal Methods Workshop (LFM 2000), pp. 187-196 (2000)
47. Liu, S.: Formal Engineering for Industrial Software Development using the SOFL Method. Springer, Heidelberg (2004)