{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:51:09Z","timestamp":1725558669288},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408604"},{"type":"electronic","value":"9783540452423"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45242-3_7","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T01:40:27Z","timestamp":1277689227000},"page":"60-70","source":"Crossref","is-referenced-by-count":0,"title":["Stepwise and Rigorous Development of Evolving Concurrent Information Systems: From Semi-formal Objects to Sound Evolving Components"],"prefix":"10.1007","author":[{"given":"Nasreddine","family":"Aoumeur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-46466-2_5","volume-title":"Transactions and Database Dynamics","author":"N. Aoumeur","year":"2000","unstructured":"Aoumeur, N.: Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. In: Saake, G., Schwarz, K., T\u00fcrker, C. (eds.) FoMLaDO 1999. LNCS, vol.\u00a01773, pp. 91\u2013111. Springer, Heidelberg (2000)"},{"key":"7_CR2","volume-title":"Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach","author":"N. Aoumeur","year":"2002","unstructured":"Aoumeur, N.: Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach. Shaker-Verlag, Aachen (2002) ISBN 3-8265-9971-3"},{"issue":"2","key":"7_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0169-023X(02)00025-3","volume":"42","author":"N. Aoumeur","year":"2002","unstructured":"Aoumeur, N., Saake, G.: A Component-Based Petri Net Model for Specifying and Validating Cooperative Information Systems. Data and Knowledge Engineering\u00a042(2), 143\u2013187 (2002)","journal-title":"Data and Knowledge Engineering"},{"volume-title":"Unified Modeling Language, Notation Guide, Version 1.0","year":"1998","key":"7_CR4","unstructured":"Booch, G., Jacobson, I., Rumbaugh, J. (eds.): Unified Modeling Language, Notation Guide, Version 1.0. Addison-Wesley, Reading (1998)"},{"key":"7_CR5","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International (1992)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-47910-4_13","volume-title":"ECOOP \u201993 - Object-Oriented Programming","author":"J. Meseguer","year":"1993","unstructured":"Meseguer, J.: Solving the Inheritance Anomaly in Concurrent Object- Oriented Programming. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol.\u00a0707, pp. 220\u2013246. Springer, Heidelberg (1993)"},{"volume-title":"Cooperative Information Systems : Trends and Directions","year":"1998","key":"7_CR8","unstructured":"Papazoglou, M.P., Schlageter, G. (eds.): Cooperative Information Systems: Trends and Directions. Academic Press, Boston (1998)"},{"key":"7_CR9","unstructured":"Selic, B.: UML-RL: A Profile for Modeling Complex Real-time Architectures. Draft, ObjectTime Limited (December 1999)"},{"key":"7_CR10","volume-title":"Component Software : Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addision-Wesley, London (1998)"},{"key":"7_CR11","first-page":"87","volume-title":"Proc. 10h International Workshop on Software Specification and Design","author":"M. Wermelinger","year":"2000","unstructured":"Wermelinger, M., Lopes, A., Fiadeiro, J.: Superposing connectors. In: Proc. 10h International Workshop on Software Specification and Design, pp. 87\u201394. IEEE Computer Society Press, Los Alamitos (2000)"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45242-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T23:59:17Z","timestamp":1552607957000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45242-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408604","9783540452423"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45242-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}