Skip to main content
Springer Nature Link
Log in

“Integrare”, a Collaborative Environment for Behavior-Oriented Design

  • Conference paper
Cooperative Design, Visualization, and Engineering (CDVE 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4674))

Abstract

In this paper, we introduce a new cooperative design and visualization environment, called “Integrare”, which supports designers and developers in building dependable, component-based systems using a new behavior-oriented design method. This method has advantages in terms of its abilities to manage complexity, find defects and make checks of dependability. The environment integrates and unifies several tools that support multiple phases of the design process, allowing them to interact and exchange information, as well as providing efficient editing capabilities. It can help formalize individual natural language functional requirements as Behavior Trees. These trees can be composed to create an integrated tree-like view of all the formalized requirements. The environment manages complexity by allowing multiple users to work independently on requirements translation and tree editing in a collaborative mode. Once a design is constructed from the requirements, it can be visually simulated with respect to an underlying operational semantics, and formally verified by way of a model checker.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    Google Scholar 

  2. Wen, L., Dromey, R.G.: Architecture Normalization for Component-based Systems. Electronic Notes in Theoretical Computer Science 160, 335–348 (2006)

    Article  Google Scholar 

  3. Wen, L., Dromey, R.G.: From Requirements Change to Design Change: A Formal Path. In: SEFM 2004, pp. 104–113 (2004)

    Google Scholar 

  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)

    Google Scholar 

  5. Nuseibeh, B., Easterbrook, S.: Requirement Engineering: a Roadmap. The Future of Software Engineering, ACM press (2000)

    Google Scholar 

  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)

    Google Scholar 

  7. Glass, R.L.: Practical Programmer: Is This a Revolutionary Idea, or Not? Communications of the ACM 47(11), 23–25 (2004)

    Article  Google Scholar 

  8. Gonzalez-Perez, C., Henderson-Sellers, B., Dromey, G.: A Metamodel for the Behavior Trees Modelling Technique. In: ICITA 2005, pp. 35–39 (2005)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  12. Dromey, R.G., Powell, D.: Early Requirements Defects Detection, TickIT International, 4Q05, pp. 3–13 (2005)

    Google Scholar 

  13. Dromey, R.G.: Scaleable Formalization of Imperfect Knowledge. In: AWCVS 2006. 1st Asian Working Conference on Verified Software, Macau (2006)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  19. Lin, K., et al.: Maintaining multi-way dataflow constraints in collaborative systems. In: Int. Conference in Collaborative Computing: Networking, Applications and Worksharing (2005)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

  37. Malgouyres, H., Motet, G.: A UML model consistency verification approach based on meta-modeling formalization. In: ACM symposium on Applied computing (2006)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  43. Cooper, L., Chung, L.: Managing Change in OTS-Aware Requirements Engineering Approach. In: The 2nd international workshop on Models and processes for the evaluation of off-the-shelf components, pp. 1–4 (2005)

    Google Scholar 

  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

    Google Scholar 

  45. Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys 28(4), 626–643 (1996)

    Article  Google Scholar 

  46. Bensalem, S., Ganesh, V., Lakhnech, Y., Muñoz, C., Owre, et al.: An Overview of SAL. In: LFM 2000. Fifth NASA Langley Formal Methods Workshop, pp. 187–196 (2000)

    Google Scholar 

  47. Liu, S.: Formal Engineering for Industrial Software Development using the SOFL Method. Springer, Heidelberg (2004)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Griffith University, Brisbane, Qld, Australia

    Lian Wen, Kai Lin, John Seagrott, Nisansala Yatapanage & Geoff Dromey

  2. University of Queensland, Brisbane, Qld, Australia

    Robert Colvin

Authors
  1. Lian Wen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Colvin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kai Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John Seagrott
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Nisansala Yatapanage
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Geoff Dromey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Yuhua Luo

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wen, L., Colvin, R., Lin, K., Seagrott, J., Yatapanage, N., Dromey, G. (2007). “Integrare”, a Collaborative Environment for Behavior-Oriented Design. In: Luo, Y. (eds) Cooperative Design, Visualization, and Engineering. CDVE 2007. Lecture Notes in Computer Science, vol 4674. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74780-2_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74780-2_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74779-6

  • Online ISBN: 978-3-540-74780-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics