{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:51:44Z","timestamp":1725562304456},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220008"},{"type":"electronic","value":"9783540247692"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24769-2_9","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T04:24:20Z","timestamp":1280895860000},"page":"115-134","source":"Crossref","is-referenced-by-count":0,"title":["Constraints of Behavioural Inheritance"],"prefix":"10.1007","author":[{"given":"Ella E.","family":"Roubtsova","sequence":"first","affiliation":[]},{"given":"Serguei A.","family":"Roubtsov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transaction on Software Engineering 26 (2000)","DOI":"10.1109\/32.825767"},{"key":"9_CR2","volume-title":"Objects, Components and Frameworks with UML. The CATALYSIS Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components and Frameworks with UML. The CATALYSIS Approach. Addison-Wesley, Reading (1999)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Jonkers, H.B.M.: Interface-Centric Architecture Descriptions. In: Proceedings of WICSA, The Working IEEE\/IFIP Conference on Software Architecture, pp. 113\u2013124 (2001)","DOI":"10.1109\/WICSA.2001.948418"},{"issue":"3","key":"9_CR4","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.825699","volume":"11","author":"R. Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. IEEE Computer\u00a011(3), 78\u201385 (2000)","journal-title":"IEEE Computer"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"46","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behaviour. The Journal of Logic and Algebraic Programming\u00a046, 47\u2013145 (2001)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"9_CR6","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking, Cambridge (1999)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/TSE.2002.1033228","volume":"28","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kupferman, O.: On Object Systems and Behavioural Inheritance. IEEE Transactions On Software Engireering\u00a028, 889\u2013903 (2002)","journal-title":"IEEE Transactions On Software Engireering"},{"key":"9_CR8","unstructured":"OMG: Unified Modeling Language Specification v.1.5 (2003), \n                    \n                      http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"9_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511608841","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-Checking in Dense Real-Time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"9_CR11","unstructured":"Clark, T., Evans, A., Kent, S., Brodsky, S., Cock, S.: A Feasibility Study in Rearchitechtoring UML as a Family of Languages using a Precise OO Meta-Modeling Approach (2000)"},{"key":"9_CR12","unstructured":"OMG: Requirements for UML profiles, OMG document ad99-12-32. (1999)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Roubtsova, E.E., Roubtsov, S.A.: Behavioural Inheritance in the UML to Model Software Product Lines. In: Bosch, J. (ed.) Accepted for Elsevier journal \u201cScience of Computer Programming\u201d (2004)","DOI":"10.1016\/j.scico.2003.04.008"},{"key":"9_CR14","unstructured":"OMG: UML2 (2003), \n                    \n                      http:\/\/www.omg.org\/uml\/"},{"key":"9_CR15","unstructured":"Roubtsov, S.A., Roubtsova, E.E., Abrahamsson, P.: Evolutionary product line modelling. In: Proc. International Workshop on Evolution of Large-scale Industrial Software Applications (ELISA), Amsterdam, The Netherlands, pp. 13\u201324 (2003)"},{"key":"9_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems. V.1. Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. V.1. Specification. Springer, Heidelberg (1992)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Roubtsova, E.E., Roubtsov, S.A.: UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance. In: Erts, T., Fokkink, W. (eds.) ENTCS, vol.\u00a080 (2003)","DOI":"10.1016\/S1571-0661(04)80815-6"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24769-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:09:07Z","timestamp":1620011347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24769-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220008","9783540247692"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24769-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}