{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:11:44Z","timestamp":1725491504694},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752080"},{"type":"electronic","value":"9783540752097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_13","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T03:42:37Z","timestamp":1189482157000},"page":"181-195","source":"Crossref","is-referenced-by-count":0,"title":["Piecewise Modelling with State Subtypes"],"prefix":"10.1007","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"K\u00fchne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Beugnard, A.: Is MDA achievable without a proper definition of late binding? In: UML Workshop in Software Model Engineering (WiSME) (2002)"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Castagna, G.: Covariance and contravariance: conflict without a cause. ACM TOPLAS\u00a017(3), 431\u2013447 (1995)","journal-title":"ACM TOPLAS"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-47910-4_15","volume-title":"ECOOP \u201993 - Object-Oriented Programming","author":"C. Chambers","year":"1993","unstructured":"Chambers, C.: Predicate Classes. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 268\u2013296. Springer, Heidelberg (1993)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/978-3-540-24851-4_21","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"R. DeLine","year":"2004","unstructured":"DeLine, R., F\u00e4hnrich, M.: Typestates for Objects. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 465\u2013490. Springer, Heidelberg (2004)"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/514952.514955","volume":"24","author":"S. Drossopoulou","year":"2002","unstructured":"Drossopoulou, S., Damiani, F., Dezani-Ciancaglini, M., Giannini, P.: More dynamic object reclassification: FickleII. ACM Trans. Program. Lang. Syst.\u00a024(2), 153\u2013191 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0054092","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"M. Ernst","year":"1998","unstructured":"Ernst, M., Kaplan, C., Chambers, C.: Predicate Dispatching: A Unified Theory of Dispatch. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 186\u2013211. Springer, Heidelberg (1998)"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/1029894.1029921","volume-title":"Proc. of the 12th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering","author":"J. Edwards","year":"2004","unstructured":"Edwards, J., Jackson, D., Torlak, E.: A type system for object models. In: Proc. of the 12th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pp. 189\u2013199. ACM Press, New York (2004)"},{"key":"13_CR8","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(84)90056-2","volume":"34","author":"M. Gogolla","year":"1984","unstructured":"Gogolla, M., Drosten, K., Lipeck, U.W., Ehrich, H.D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. Theor. Comput. Sci.\u00a034, 289\u2013313 (1984)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"J.A. Goguen","year":"1994","unstructured":"Goguen, J.A., Diaconescu, R.: An Oxford Survey of Order Sorted Algebra. Mathematical Structures in Computer Science\u00a04(3), 363\u2013392 (1994)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1006\/inco.1993.1016","volume":"103","author":"J. Meseguer","year":"1993","unstructured":"Meseguer, J., Goguen, J.A.: Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems. Information and Computation\u00a0103(1), 114\u2013158 (1993)","journal-title":"Information and Computation"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Milstein, T.: Practical Predicate Dispatch. In: OOPSLA. Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 345\u2013364 (2004)","DOI":"10.1145\/1028976.1029006"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: The Use of Sorts in Algebraic Specifications. In: COMPASS\/ADT, pp. 66\u201392 (1991)","DOI":"10.1007\/3-540-56379-2_35"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O.: Regular types for active objects. In: OOPSLA. Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 1\u201315 (1993)","DOI":"10.1145\/165854.167976"},{"key":"13_CR15","unstructured":"OMG Unified Modeling Language: Superstructure Version 2.0 (2005)"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/3-540-58555-9_94","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"B. Paech","year":"1994","unstructured":"Paech, B., Rumpe, B.: A new concept of refinement used for behaviour modelling with automata. In: Naftalin, M., Bertran, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 154\u2013174. Springer, Heidelberg (1994)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Salzman, L., Aldrich, J.: Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. In: ECOOP, pp. 312\u2013336 (2005)","DOI":"10.1007\/11531142_14"},{"issue":"5","key":"13_CR18","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/201937.201941","volume":"30","author":"D.L. Shang","year":"1995","unstructured":"Shang, D.L.: Covariant deep subtyping reconsidered. SIGPLAN Notices\u00a030(5), 21\u201328 (1995)","journal-title":"SIGPLAN Notices"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/3-540-40011-7_14","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"F. Steimann","year":"2000","unstructured":"Steimann, F.: A radical revision of UML\u2019s role concept. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 194\u2013209. Springer, Heidelberg (2000)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-45800-X_4","volume-title":"UML 2002","author":"F. Steimann","year":"2002","unstructured":"Steimann, F., K\u00fchne, T.: A radical reduction of UML\u2019s core semantics. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 34\u201348. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:55:53Z","timestamp":1619506553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}