{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:52:24Z","timestamp":1725511944833},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747796"},{"type":"electronic","value":"9783540747802"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74780-2_14","type":"book-chapter","created":{"date-parts":[[2007,8,30]],"date-time":"2007-08-30T07:05:09Z","timestamp":1188457509000},"page":"122-131","source":"Crossref","is-referenced-by-count":8,"title":["\u201cIntegrare\u201d, a Collaborative Environment for Behavior-Oriented Design"],"prefix":"10.1007","author":[{"given":"Lian","family":"Wen","sequence":"first","affiliation":[]},{"given":"Robert","family":"Colvin","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Lin","sequence":"additional","affiliation":[]},{"given":"John","family":"Seagrott","sequence":"additional","affiliation":[]},{"given":"Nisansala","family":"Yatapanage","sequence":"additional","affiliation":[]},{"given":"Geoff","family":"Dromey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Dromey, R.G.: From Requirements to Design: Formalising the Key Steps. In: IEEE International Conference on Software Engineering and Formal Methods, pp. 2\u201311 (2003)","key":"14_CR1","DOI":"10.1109\/SEFM.2003.1236202"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.entcs.2006.05.032","volume":"160","author":"L. Wen","year":"2006","unstructured":"Wen, L., Dromey, R.G.: Architecture Normalization for Component-based Systems. Electronic Notes in Theoretical Computer Science\u00a0160, 335\u2013348 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"unstructured":"Wen, L., Dromey, R.G.: From Requirements Change to Design Change: A Formal Path. In: SEFM 2004, pp. 104\u2013113 (2004)","key":"14_CR3"},{"doi-asserted-by":"crossref","unstructured":"Harrison, W., Ossher, H., Tarr, P.: Software engineering tools and environments: a roadmap. In: The Conference on The Future of Software Engineering, pp. 261\u2013277 (2000)","key":"14_CR4","DOI":"10.1145\/336512.336569"},{"doi-asserted-by":"crossref","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirement Engineering: a Roadmap. The Future of Software Engineering, ACM press\u00a0(2000)","key":"14_CR5","DOI":"10.1145\/336512.336523"},{"unstructured":"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.\u00a0SE - 1 (1993)","key":"14_CR6"},{"issue":"11","key":"14_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/1029496.1029514","volume":"47","author":"R.L. Glass","year":"2004","unstructured":"Glass, R.L.: Practical Programmer: Is This a Revolutionary Idea, or Not? Communications of the ACM\u00a047(11), 23\u201325 (2004)","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Gonzalez-Perez, C., Henderson-Sellers, B., Dromey, G.: A Metamodel for the Behavior Trees Modelling Technique. In: ICITA 2005, pp. 35\u201339 (2005)","key":"14_CR8","DOI":"10.1109\/ICITA.2005.23"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/978-3-540-24756-2_9","volume-title":"Integrated Formal Methods","author":"K. Winter","year":"2004","unstructured":"Winter, K.: Formalising Behavior Trees with CSP. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 148\u2013167. Springer, Heidelberg (2004)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/11589976_9","volume-title":"Integrated Formal Methods","author":"L. Grunske","year":"2005","unstructured":"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.\u00a03771, pp. 129\u2013149. Springer, Heidelberg (2005)"},{"unstructured":"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)","key":"14_CR11"},{"unstructured":"Dromey, R.G., Powell, D.: Early Requirements Defects Detection, TickIT International, 4Q05, pp. 3\u201313 (2005)","key":"14_CR12"},{"unstructured":"Dromey, R.G.: Scaleable Formalization of Imperfect Knowledge. In: AWCVS 2006. 1st Asian Working Conference on Verified Software, Macau (2006)","key":"14_CR13"},{"doi-asserted-by":"crossref","unstructured":"Zafar, S., Dromey, R.G.: Integrating Safety and Security Requirements into Design of an Emedded System. In: Asia-Pacific Software Engineering Conference, pp. 629\u2013636 (2005)","key":"14_CR14","DOI":"10.1109\/APSEC.2005.75"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"14_CR15","DOI":"10.1109\/ASPEC.2007.20"},{"unstructured":"Behavior Engineering (2007), http:\/\/www.behaviorengineering.org\/index.php","key":"14_CR16"},{"doi-asserted-by":"crossref","unstructured":"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\u2013399 (2004)","key":"14_CR17","DOI":"10.1109\/ASE.2004.1342775"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"14_CR18","DOI":"10.1007\/1-4020-4023-7_10"},{"doi-asserted-by":"crossref","unstructured":"Lin, K., et al.: Maintaining multi-way dataflow constraints in collaborative systems. In: Int. Conference in Collaborative Computing: Networking, Applications and Worksharing (2005)","key":"14_CR19","DOI":"10.1109\/COLCOM.2005.1651226"},{"unstructured":"Wen, L.: What is GSET and what it can do, http:\/\/www.sqi.gu.edu.au\/gse\/tools\/gset.html","key":"14_CR20"},{"unstructured":"Visual Studio 2005, (2007) http:\/\/msdn.microsoft.com\/vstudio\/","key":"14_CR21"},{"unstructured":"MFC (2007), http:\/\/www.visionx.com\/mfcpro\/","key":"14_CR22"},{"unstructured":"XD++ (2007), http:\/\/www.ucancode.net\/","key":"14_CR23"},{"unstructured":"Poseidon (2007), http:\/\/www.gentleware.com\/","key":"14_CR24"},{"unstructured":"Altova UModel (2007), http:\/\/www.altova.com","key":"14_CR25"},{"unstructured":"MagicDraw (2007), http:\/\/www.magicdraw.com\/","key":"14_CR26"},{"unstructured":"IBM-Rational Rose, http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/rose\/","key":"14_CR27"},{"unstructured":"Analyst Pro (2007), http:\/\/www.analysttool.com\/","key":"14_CR28"},{"unstructured":"Borland Caliber, http:\/\/www.borland.com\/us\/products\/caliber\/","key":"14_CR29"},{"unstructured":"Telelogic DOORS (2007), http:\/\/www.telelogic.com\/products\/doors\/doors\/index.cfm","key":"14_CR30"},{"unstructured":"SmartDraw, http:\/\/www.smartdraw.com\/","key":"14_CR31"},{"doi-asserted-by":"crossref","unstructured":"Gerndt, R., Ernst, R.: An Event-Driven Multi-Threading Architecture for Embedded Systems. In: 5th Int. Workshop on Hardware\/Software Co-Design, pp. 29\u201333 (1997)","key":"14_CR32","DOI":"10.1109\/HSC.1997.584575"},{"unstructured":"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\u201349 (1, 3, August 1988)","key":"14_CR33"},{"issue":"1","key":"14_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/505151.505152","volume":"9","author":"C. Sun","year":"2002","unstructured":"Sun, C., Chen, D.: Consistency maintenance in real-time collaborative graphics editing systems. ACM Transactions on Computer-Human Interaction\u00a09(1), 1\u201341 (2002)","journal-title":"ACM Transactions on Computer-Human Interaction"},{"issue":"1","key":"14_CR35","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/274444.274447","volume":"5","author":"C. Sun","year":"1998","unstructured":"Sun, C., et al.: Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems. ACM Transactions on Computer-human Interaction\u00a05(1), 63\u2013108 (1998)","journal-title":"ACM Transactions on Computer-human Interaction"},{"key":"14_CR36","volume-title":"The 20th IEEE\/ACM international Conference on Automated software engineering","author":"J. Simmonds","year":"2005","unstructured":"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)"},{"doi-asserted-by":"crossref","unstructured":"Malgouyres, H., Motet, G.: A UML model consistency verification approach based on meta-modeling formalization. In: ACM symposium on Applied computing (2006)","key":"14_CR37","DOI":"10.1145\/1141277.1141703"},{"unstructured":"Vidal, J.S., Malgouyres, H., Motet, G.: UML2.0 consistency rules identification. In: The International Conference on Software Engineering Research and Practice, SERP (2005)","key":"14_CR38"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"14_CR39","DOI":"10.1109\/ICSE.2001.919116"},{"doi-asserted-by":"crossref","unstructured":"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)","key":"14_CR40","DOI":"10.1145\/967900.968204"},{"key":"14_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-540-30569-9_4","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"E. Bouquet","year":"2005","unstructured":"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.\u00a03362, pp. 70\u201385. Springer, Heidelberg (2005)"},{"doi-asserted-by":"crossref","unstructured":"Eriksson, M., Morast, H., B\u00f6rstler, J.: The PLUSS toolkit \u2013 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\u2013304 (2005)","key":"14_CR42","DOI":"10.1145\/1101908.1101955"},{"doi-asserted-by":"crossref","unstructured":"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\u20134 (2005)","key":"14_CR43","DOI":"10.1145\/1082948.1082955"},{"unstructured":"Somogyi, Z., Henderson, F.J., et al.: Mercury, an efficient purely declarative logic programming language. In: The 8th Australasian Computer Science Conference, pp. 499\u2013512","key":"14_CR44"},{"issue":"4","key":"14_CR45","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"unstructured":"Bensalem, S., Ganesh, V., Lakhnech, Y., Mu\u00f1oz, C., Owre, et al.: An Overview of SAL. In: LFM 2000. Fifth NASA Langley Formal Methods Workshop, pp. 187\u2013196 (2000)","key":"14_CR46"},{"key":"14_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development using the SOFL Method","author":"S. Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development using the SOFL Method. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Cooperative Design, Visualization, and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74780-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:38:07Z","timestamp":1619519887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74780-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747796","9783540747802"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74780-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}