{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:37:21Z","timestamp":1725856641331},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319336923"},{"type":"electronic","value":"9783319336930"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33693-0_17","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T01:35:47Z","timestamp":1464053747000},"page":"260-274","source":"Crossref","is-referenced-by-count":0,"title":["Property Preservation for Extension Patterns of State Transition Diagrams"],"prefix":"10.1007","author":[{"given":"Christian","family":"Prehofer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Djoko, S.D., Douence, R., Fradet, P.: Aspects preserving properties. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2008, pp. 135\u2013145. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1328408.1328429"},{"key":"17_CR2","unstructured":"Klein, C., Prehofer, C., Rumpe, B.: Feature specification and refinement with state transition diagrams. In: Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems, pp. 284\u2013297. IOS Press (1997)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Rumpe, B., Klein, C.: Automata describing object behavior. In: Specification of Behavioral Semantics in Object-Oriented Information Modeling, pp. 265\u2013286. Kluwer Academic Publishers, Berlin (1996)","DOI":"10.1007\/978-0-585-27524-6_16"},{"issue":"1","key":"17_CR4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/S0167-6423(00)00026-5","volume":"40","author":"P Scholz","year":"2001","unstructured":"Scholz, P.: Incremental design of statechart specifications. Sci. Comput. Program. 40(1), 119\u2013145 (2001). doi: 10.1016\/S0167-6423(00)00026-5","journal-title":"Sci. Comput. Program."},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-642-11623-0_22","volume-title":"Fundamentals of Software Engineering","author":"J Sch\u00f6nborn","year":"2010","unstructured":"Sch\u00f6nborn, J., Kyas, M.: Refinement patterns for hierarchical UML state machines. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 371\u2013386. Springer, Heidelberg (2010)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Frappier, M., Gervais, F., Laleau, R., Milhau, J.: Refinement patterns for ASTDs. In: Formal Aspects of Computing, pp. 1\u201323 (2013)","DOI":"10.1007\/s00165-013-0286-3"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-642-38613-8_3","volume-title":"Integrated Formal Methods","author":"C Prehofer","year":"2013","unstructured":"Prehofer, C.: Assume-guarantee specifications of state transition diagrams for behavioral refinement. In: Johnsen, E.B., Petre, L. (eds.) IFM 2013. LNCS, vol. 7940, pp. 31\u201345. Springer, Heidelberg (2013)"},{"key":"17_CR8","unstructured":"Reeve, G., Reeves, S.: Logic and refinement for charts. In: Proceedings of the 29th Australasian Computer Science Conference, ACSC 2006, vol. 48, pp. 13\u201323. Australian Computer Society Inc., Darlinghurst, Australia (2006)"},{"issue":"12","key":"17_CR9","doi-asserted-by":"crossref","first-page":"1193","DOI":"10.1016\/j.scico.2010.06.007","volume":"75","author":"M Broy","year":"2010","unstructured":"Broy, M.: Multifunctional software systems: structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12), 1193\u20131214 (2010)","journal-title":"Sci. Comput. Program."},{"key":"17_CR10","series-title":"NATO Science Series","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L Alfaro","year":"2005","unstructured":"Alfaro, L., Henzinger, T.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NATO Science Series, vol. 195, pp. 83\u2013104. Springer, Heidelberg (2005)"},{"key":"17_CR11","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P., et al.: Principles of Model Checking, vol. 26202649. MIT press, Cambridge (2008)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer, M., Avrunin, G., Corbett, J.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Prehofer, C., Scholz, P.: Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination. In: Proceedings of the 17th International Software Product Line Conference Co-located Workshops, pp. 26\u201333. ACM, New York (2013)","DOI":"10.1145\/2499777.2500724"},{"issue":"1","key":"17_CR14","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11(1), 92\u2013148 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"17_CR15","unstructured":"Simons, A.J.H., Stannett, M.P., Bogdanov, K.E., Holcombe, W.M.L.: Plug and play safely: rules for behavioural compatibility. In: IProceedings of 6th IASTED International Conference on Software Engineering and Applications, pp. 263\u2013268 (2002)"},{"issue":"2","key":"17_CR16","first-page":"1","volume":"26","author":"S Schneider","year":"2012","unstructured":"Schneider, S., Treharne, H., Wehrheim, H.: The behavioural semantics of event-b refinement. Formal Aspects Comput. 26(2), 1\u201330 (2012)","journal-title":"Formal Aspects Comput."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Harbird, L., Galloway, A., Paige, R.F.: Towards a model-based refinement process for contractual state machines. In: 13th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), pp. 108\u2013115. IEEE (2010)","DOI":"10.1109\/ISORCW.2010.25"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33693-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T14:33:16Z","timestamp":1567953196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33693-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319336923","9783319336930"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33693-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}