{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:46:35Z","timestamp":1760586395755},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T00:00:00Z","timestamp":1154476800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2007,3,2]]},"DOI":"10.1007\/s10009-006-0020-z","type":"journal-article","created":{"date-parts":[[2006,8,2]],"date-time":"2006-08-02T12:31:24Z","timestamp":1154521884000},"page":"193-207","source":"Crossref","is-referenced-by-count":7,"title":["Model-driven development of reactive information systems: from graph transformation rules to JML contracts"],"prefix":"10.1007","volume":"9","author":[{"given":"Reiko","family":"Heckel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Lohmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,8,2]]},"reference":[{"key":"20_CR1","unstructured":"From UML to Java and Back Again: The Fujaba homepage. www.upb.de\/cs\/isileit"},{"issue":"1","key":"20_CR2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"Antoy S., Hamlet R.G. (2000). Automatically checking an implementation against its formal specification. Softw. Eng. 26(1):55\u201369","journal-title":"Softw. Eng."},{"key":"20_CR3","unstructured":"Binder, R. V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison Wesley, Reading (1999)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Briand, L., Labiche, Y.: A UML-based approach to system testing. In: Gogolla, M., Kobryn, C. (eds) UML 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools., 4th International Conference, Toronto, Canada, October 1\u20135, 2001, Proceedings, LNCS, pp. 194\u2013208. Springer, Berlin Heidelberg New York (2001)","DOI":"10.1007\/3-540-45441-1_15"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Burdy, L., Cheon, Y., Cok, D., Ernst, M. D., Kiniry, J., Leavens, G. T., Rustan, K., Leino, M., Poll, E.: An overview of JML tools and applications. Softw. Tools Technol. Transf. (2005)","DOI":"10.1007\/s10009-004-0167-4"},{"key":"20_CR6","unstructured":"Cheon, Y., Leavens, G. T.: A runtime assertion checker for the Java Modeling Language (JML). In: Software Engineering Research and Practice (SERP 2002), pp. 322\u2013328 (2002) 2002"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Cheon, Y., Leavens, G. T.: A simple and practical approach to unit testing: the jml and junit way. In: Proceedings of the 16th European Conference on Object-Oriented Programming, pp. 231\u2013255. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-47993-7_10"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J.M., Groenewegen, L., Heckel, R.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: Gruhn, V. (ed.) Proceedings of the European Software Engineering Conference (ESEC\/FSE 01), Vienna, Austria. Lecture Notes in Computer Science, vol. 1301, pp. 327\u2013343. Springer, Berlin Heidelberg New York (2001)","DOI":"10.1145\/503209.503235"},{"key":"20_CR9","unstructured":"Ermel, C., Rudolf, M., Taentzer, G.: The AGG approach: Language and tool environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages, and Tools. World Scientific, Singapore (1999), pp. 551\u2013601"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: a new graph rewrite language based on the unified modeling language. In: Engels, G., Rozenberg, G. (eds.) Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT), Paderborn, Germany. LNCS 1764, pp. 296\u2013309. Springer, Berlin Heidelberg New York (1998)","DOI":"10.1007\/978-3-540-46464-8_21"},{"key":"20_CR11","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, A.: Story diagrams: A new graph transformation language based on UML and Java. vol. 1764, pp. 112\u2013121. Springer, Berlin Heidelberg New York (2000)"},{"key":"20_CR12","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns \u2013 Elements of Reusable Object-Oriented Software. Addsion-Wesley, Reading (1994)"},{"issue":"7","key":"20_CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel D., Gery E. (1997). Executable object modeling with Statecharts. IEEE Comput. 30(7):31\u201342","journal-title":"IEEE Comput."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Heckel, R. Engels, G., Ehrig, H., Taentzer, G.: A view-based approach to system modelling based on open graph transformation systems. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds) Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages, and Tools. World Scientific, Singapore (1999)","DOI":"10.1142\/9789812815149_0016"},{"key":"20_CR15","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1017\/S0960129501003553","volume":"12","author":"R. Heckel","year":"2002","unstructured":"Heckel R., Llabr\u00e9s M., Ehrig H., Orejas F. (2002). Concurrency and loose semantics of open graph transformation systems Math. Struct. Comput. Sci. 12, 349\u2013376","journal-title":"Struct. Comput. Sci."},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Towards model-driven testing. Electr. Notes Theor. Comput. Sci. 82(6) (2003)","DOI":"10.1016\/S1571-0661(04)81023-5"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Heckel, R., Mariani, L.: Automatic conformance testing of web services. In: FASE, pp. 34\u201348, (2005)","DOI":"10.1007\/978-3-540-31984-9_4"},{"key":"20_CR18","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"20_CR19","unstructured":"Hoffmann, B., Minas, M.: A generic model for diagram syntax and semantics. In: Proceedings ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques, Geneva, Switzerland. Carleton Scientific, Waterloo (2000)"},{"key":"20_CR20","unstructured":"Huisman, M.: Reasoning about Java Programs in higher order logic with PVS and Isabelle. PhD Thesis, University of Nijmegen, Holland, February 2001"},{"key":"20_CR21","unstructured":"Jacobs, B.: Weakest precondition reasoning for Java programs with JML annotations. J. Logic Algebraic Program. (2003)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Jacobs, B., Poll, E.: A logic for the java modeling language jml. In: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering, pp. 284\u2013299. Springer, Berlin Heidelberg New York (2001)","DOI":"10.1007\/3-540-45314-8_21"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Jacobs, B., van den Berg, J., Huisman, M., van Berkum, M., Hensel, U., Tews, H.: Reasoning about java classes: preliminary report. In: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 329\u2013340. ACM Press, New York (1998)","DOI":"10.1145\/286936.286973"},{"key":"20_CR24","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, Reading (1999)"},{"key":"20_CR25","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06i, 2000"},{"issue":"9","key":"20_CR26","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/83880.84464","volume":"33","author":"B. Meyer","year":"1990","unstructured":"Meyer B. (1990). Lessons from the design of the eiffel libraries. Commun. ACM 33(9):68\u201388","journal-title":"Commun. ACM"},{"key":"20_CR27","unstructured":"Meyer, B.: Object-Oriented Software Construction 2nd edn. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"20_CR28","unstructured":"OMG; UML 2.0 Superstructure Specification, 2003"},{"issue":"3","key":"20_CR29","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D.K. Peters","year":"1998","unstructured":"Peters D.K., Parnas D.L. (1998). Using test oracles generated from program documentation. IEEE Trans. Softw. Eng. 24(3):161\u2013173","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR30","unstructured":"The Apache XML Project: Axis user\u2019s guide. http:\/\/xml.apache.org\/axis\/, 2002"},{"key":"20_CR31","unstructured":"Reddy, A.: Java coding style guide 2000. wwws.sun.com\/software\/sundev\/whitepapers\/java-style.pdf"},{"key":"20_CR32","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed) Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, Singapore (1997)","DOI":"10.1142\/9789812384720"},{"key":"20_CR33","unstructured":"Siegel, J.: Using omg\u2019s model driven architecture (MDA) to integrate web services, 2002. http:\/\/www.omg.org\/mda\/mdafiles\/MDA-WS-integrate-WP.pdf"},{"key":"20_CR34","unstructured":"Siegel, J.: OMG Staff Strategy Group: Model driven architecture, revision 2.6, 2001. ftp:\/\/ftp.omg.org\/pub\/docs\/omg\/01-12-01.pdf"},{"key":"20_CR35","unstructured":"Soley, R.: OMG Staff~Strategy Group: Model driven architecture, draft 3.2, 2000. ftp:\/\/ftp.omg.org\/pub\/docs\/omg\/00-11-05.pdf"},{"key":"20_CR36","unstructured":"Sun Microsystems Inc. Java(tm) servlet specification 2.3 2001. http::\/\/java.sun.com\/products\/servlet"},{"key":"20_CR37","unstructured":"W3C: Soap version 1.2 part 1: Messaging framework 2002. http:\/\/www.w3.org\/TR\/2002\/WD-soap12-part1-20020626\/"},{"key":"20_CR38","unstructured":"W3C: Xforms 1.0 W3C candidate recommendation 2002. http:\/\/www.w3.org\/TR\/2002\/CR-xforms-20021112\/"},{"key":"20_CR39","doi-asserted-by":"crossref","unstructured":"Z\u00fcndorf, A.: Graph pattern matching in progres. In: Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, pp. 454\u2013468. Springer, Berlin Heidelberg New York (1996)","DOI":"10.1007\/3-540-61228-9_105"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0020-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-006-0020-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0020-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:22Z","timestamp":1559114722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-006-0020-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,8,2]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,3,2]]}},"alternative-id":["20"],"URL":"https:\/\/doi.org\/10.1007\/s10009-006-0020-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,8,2]]}}}