{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:43:50Z","timestamp":1648943030592},"reference-count":37,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1016\/s0164-1212(03)00011-6","type":"journal-article","created":{"date-parts":[[2003,10,11]],"date-time":"2003-10-11T07:27:44Z","timestamp":1065857264000},"page":"129-142","source":"Crossref","is-referenced-by-count":0,"title":["Formally based modeling and inheritance of behaviour in object-oriented systems"],"prefix":"10.1016","volume":"70","author":[{"given":"Stephan","family":"Philippi","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(03)00011-6_BIB1","series-title":"Concurrent Object-Oriented Programming and Petri-Nets, LNCS 2001","year":"2001"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB2","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0019440","article-title":"Designing an Object-Oriented Programming Language with Behavioural Subtyping","author":"America","year":"1991"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB3","unstructured":"Basten, T., van der Aalst, W., 1999. Inheritance of Behavior. Report 99\/17, Eindhoven University of Technology, The Netherlands"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB4","doi-asserted-by":"crossref","unstructured":"Dhara, K., Leavens, G., 1996. Forcing behavioral subtyping through specification inheritance. In: Proceedings of the International Conference on Software Engineering, Berlin, Germany","DOI":"10.1109\/ICSE.1996.493421"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB5","unstructured":"Ebert, J., Engels, G., 1995. Specialization of Object Life Cycle Definitions. Technical Report 19-95, Koblenz University"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB6","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053037","article-title":"Inheritance of synchronization constraints in concurrent object-oriented programming languages","author":"Frolund","year":"1992"},{"issue":"3","key":"10.1016\/S0164-1212(03)00011-6_BIB7","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46037-3_30","article-title":"Describing the syntax and semantics of UML statecharts in a heterogeneous modelling environment","author":"Jin","year":"2002"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB9","article-title":"Inheritance of object behavior-consistent extensions of object life cycles","author":"Kappel","year":"1994"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB10","unstructured":"Kuno, Y., 1997. Solving inheritance anomaly problems by state abstraction-based synchronization. In: Proceedings of the France\u2013Japan Workshop on Object-Based Parallel and Distributed Computing. University of Tsukuba, Tokyo, Japan"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-47919-2_7","article-title":"Linear algebraic techniques for place\/transition nets","author":"Lautenbach","year":"1987"},{"issue":"6","key":"10.1016\/S0164-1212(03)00011-6_BIB12","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","article-title":"A behavioral notion of subtyping","volume":"16","author":"Liskov","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB13","series-title":"Research Directions in Concurrent Object-Oriented Programming","article-title":"Analysis of inheritance anomaly in object-oriented concurrent programming languages","author":"Matsuoka","year":"1993"},{"issue":"4","key":"10.1016\/S0164-1212(03)00011-6_BIB14","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/163626.163635","article-title":"A note on inheritance and state machines","volume":"18","author":"McGregor","year":"1993","journal-title":"ACM Software Engineering Notes"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47910-4_13","article-title":"Solving the inheritance anomaly in concurrent object-oriented programming","author":"Meseguer","year":"1993"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB16","series-title":"Object-oriented Software Construction","author":"Meyer","year":"1997"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB17","series-title":"Object-oriented Software Composition","article-title":"Regular types for active objects","author":"Nierstrasz","year":"1995"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB18","unstructured":"Object Management Group, 2001. UML 1.4. www.omg.org\/uml"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB19","unstructured":"Object Management Group, 2002. UML 1.4 with Action Semantics. www.omg.org\/uml"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58555-9_94","article-title":"A new concept of refinement used for behaviour modelling with automata","author":"Paech","year":"1994"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB21","series-title":"Petri-Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB22","unstructured":"Philippi, S., 2000. Seamless object-oriented software development on a formal base. In: Workshop on Software Engineering and Petri-Nets\u2019, held at the 21st International Conference on Theory and Applications of Petri-Nets 2000, Aarhus, Denmark"},{"issue":"2","key":"10.1016\/S0164-1212(03)00011-6_BIB23","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1006\/jvlc.2000.0192","article-title":"Visual programming of concurrent object-oriented systems","volume":"12","author":"Philippi","year":"2001","journal-title":"Journal of Visual Languages and Computing"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB24","first-page":"9","article-title":"A CASE-Tool for the development of concurrent object-oriented systems based on Petri-Nets","volume":"63","author":"Philippi","year":"2002","journal-title":"Petri-Net Newsletter"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB25","unstructured":"Philippi, S., 2002b. Life cycle inheritance in concurrent object-oriented systems. In: Workshop on Software Engineering and Formal Methods, held at the 23st International Conference on Theory and Applications of Petri-Nets 2002, Adelaide, Australia"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB26","doi-asserted-by":"crossref","unstructured":"Precise UML Group, 2002. www.puml.org\/","DOI":"10.1145\/504689.504690"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB27","series-title":"Object-oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB28","doi-asserted-by":"crossref","unstructured":"Saake, G., Hartel, P., Jungclaus, R., Wieringa, R., Feenstra, R., 1994. Inheritance conditions for object life cycles diagrams. In: Workshop Formale Grundlagen f\u00fcr den Entwurf von Informationssystemen\u2019. Technical Report 3\/94, University of Hannover, Germany","DOI":"10.1007\/978-3-642-51136-3_5"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB29","doi-asserted-by":"crossref","unstructured":"Sajeev, A., Schmidt, H., 1996. Integrating concurrency and object-orientation using boolean, access and path guards. In: Proceedings of the International Conference on High Performance Computing, Trivandrum, India","DOI":"10.1109\/HIPC.1996.565799"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB30","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0020527","article-title":"Behavior consistent extension of object life cycles","author":"Schrefl","year":"1995"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB31","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-63699-4_13","article-title":"Behavior consistent refinement of object life cycles","author":"Schrefl","year":"1997"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB32","series-title":"Object Life Cycles: Modeling the World in States","author":"Shlaer","year":"1992"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB33","unstructured":"Soundarajan, N., 1996. Covariance, Contravariance, and Synchronization Constraints. Technical Report, Ohio State University"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB34","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45393-8_38","article-title":"Behavior consistent inheritance in UML","author":"Stumptner","year":"2000"},{"issue":"3","key":"10.1016\/S0164-1212(03)00011-6_BIB35","doi-asserted-by":"crossref","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"van Glabbeek","year":"1996","journal-title":"Journal of the ACM"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB36","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45441-1_30","article-title":"Formalization of UML-statecharts","author":"von der Beeck","year":"2001"},{"key":"10.1016\/S0164-1212(03)00011-6_BIB37","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45910-3_4","article-title":"Inheritance as an incremental modification mechanism or what like is and isn\u2019t like","author":"Wegner","year":"1988"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000116?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000116?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T01:10:49Z","timestamp":1585185049000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203000116"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":37,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["S0164121203000116"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00011-6","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}