{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:18:23Z","timestamp":1725520703551},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888741"},{"type":"electronic","value":"9783540888758"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88875-8_67","type":"book-chapter","created":{"date-parts":[[2008,11,18]],"date-time":"2008-11-18T21:47:37Z","timestamp":1227044857000},"page":"452-462","source":"Crossref","is-referenced-by-count":2,"title":["Assessing Component\u2019s Behavioral Interoperability Concerning Goals"],"prefix":"10.1007","author":[{"given":"Weimin","family":"Ma","sequence":"first","affiliation":[]},{"given":"Lawrence","family":"Chung","sequence":"additional","affiliation":[]},{"given":"Kendra","family":"Cooper","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"67_CR1","unstructured":"Szyperski, C., Druntz, D., Murer, S.: Component Software \u2013 Beyond Object-Oriented Programming. Addison-Wesley Professional\/ACM Press (1997)"},{"key":"67_CR2","first-page":"7","volume-title":"Component-Based Software Engineering: Selected Papers from the Software Engineering Institute","author":"A.W. Brown","year":"1996","unstructured":"Brown, A.W., Wallnau, K.C.: Engineering of Component-Based Systems. In: Component-Based Software Engineering: Selected Papers from the Software Engineering Institute, pp. 7\u201315. IEEE Computer Society Press, Los Alamitos (1996)"},{"issue":"6","key":"67_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1049\/ip-sen:20000913","volume":"147","author":"D.S. Rosenblum","year":"2000","unstructured":"Rosenblum, D.S., Natarajan, R.: Supporting Architectural Concerns In Component Interoperability Standards. IEE Proceedings on Software\u00a0147(6), 215\u2013223 (2000)","journal-title":"IEE Proceedings on Software"},{"issue":"3","key":"67_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"A. Perini","year":"2004","unstructured":"Perini, A., Giorgini, P., Giunchiglia, F., Myloupolos, J.: Tropos: An Agent-Oriented Software Development Methodology. International Journal of Autonomous Agents and Multi Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"International Journal of Autonomous Agents and Multi Agent Systems"},{"key":"67_CR5","doi-asserted-by":"crossref","unstructured":"Darimont, R., Delor, E., Massonet, P., Lamsweerde, A.: GRAIL\/KAOS: An Environment for Goal-Driven Requirements Engineering. In: Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, pp. 612\u2013613 (1997)","DOI":"10.1145\/253228.253499"},{"key":"67_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements In Software Engineering","author":"L. Chung","year":"2000","unstructured":"Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements In Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)"},{"issue":"3","key":"67_CR7","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/52.896248","volume":"17","author":"C. Gunter","year":"2000","unstructured":"Gunter, C., Gunter, E., Jackson, M., Zave, P.: A Reference Model for Requirements and Specifications. IEEE Software\u00a017(3), 37\u201343 (2000)","journal-title":"IEEE Software"},{"key":"67_CR8","doi-asserted-by":"crossref","unstructured":"Yu, E.: Towards Modeling and Reasoning Support for Early Phase Requirements Engineering. In: Proceedings of IEEE Symposium of Requirements Engineering, Annapolis, Maryland, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"},{"key":"67_CR9","unstructured":"Fuxman, A.D.: Formal Analysis of Early Requirements Specifications. Master Thesis, University of Toronto (2001)"},{"key":"67_CR10","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"67_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11786160_11","volume-title":"Architecting Systems with Trustworthy Components","author":"S. Becker","year":"2006","unstructured":"Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.: Towards Engineering Approach to Component Adaptation. In: Reussner, R., Stafford, J.A., Szyperski, C., et al. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 193\u2013215. Springer, Heidelberg (2006)"},{"key":"67_CR12","unstructured":"Object Management Group, OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2, \n                      \n                        http:\/\/www.omg.org\/docs\/formal\/07-11-02.pdf"},{"key":"67_CR13","first-page":"1","volume":"47","author":"T. Schafer","year":"2001","unstructured":"Schafer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science\u00a047, 1\u201313 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"67_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-72794-1_17","volume-title":"Coordination Models and Languages","author":"J. Cubo","year":"2007","unstructured":"Cubo, J., Salaun, G., Camara, J., Canal, C., Pimentel, E.: Context-Based Adaptation of Component Behavioral Interfaces. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 305\u2013323. Springer, Heidelberg (2007)"},{"key":"67_CR15","unstructured":"Mouakher, I., Lanoix, A., Souquieres, J.: Component-Adaptation: Specification and Validation. In: Proceedings of 11th international Workshop on Component-Oriented Programming, Nantes, France (2006)"},{"key":"67_CR16","doi-asserted-by":"crossref","unstructured":"Supakkul, S., Oladimeji, E.A., Chung, L.: Towards Component Non-Functional Integration Analysis: A UML-Based and Goal-Oriented Approach. In: Proceedings of 2006 IEEE International Conference on Information Reuse and Integration, pp. 351\u2013358 (2006)","DOI":"10.1109\/IRI.2006.252439"},{"issue":"4","key":"67_CR17","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/PL00010362","volume":"6","author":"E. Kavakli","year":"2002","unstructured":"Kavakli, E.: Goal-Oriented Requirements Engineering: A Unifying Framework. Journal of Requirements Engineering\u00a06(4), 237\u2013251 (2002)","journal-title":"Journal of Requirements Engineering"},{"key":"67_CR18","doi-asserted-by":"crossref","unstructured":"Jackson, D., Damon, C.A.: Elements of Style: Analyzing A Software Design Feature With A Counterexample Detector. IEEE Transactions on Software Engineering 22(7) (July 1996)","DOI":"10.1109\/32.538605"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2008 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88875-8_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T02:43:03Z","timestamp":1551667383000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88875-8_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888741","9783540888758"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88875-8_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}