{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:27:53Z","timestamp":1742398073589},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2000,12]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>\n            Our approach is based on UML models. They are edited with the rational Rose\n            <jats:sup>\u2122<\/jats:sup>\n            tool [Rat96] and complemented with annotations that state several constraints. The class diagram is the starting point of a translation process that produces formal specifications in Z [Spi92] and Lustre [CHP87]. The RoZ tool is used to translate the class diagram into Z automatically. The Z and Lustre specifications are used to validate the UML models by means of a prover and a testing environment.\n          <\/jats:p>","DOI":"10.1007\/s001650070018","type":"journal-article","created":{"date-parts":[[2002,10,6]],"date-time":"2002-10-06T17:25:48Z","timestamp":1033925148000},"page":"228-230","source":"Crossref","is-referenced-by-count":4,"title":["A Multi-formalism Approach for the Validation of UML Models"],"prefix":"10.1145","volume":"12","author":[{"given":"Sophie","family":"Dupuy","sequence":"first","affiliation":[{"name":"Laboratoire LSR-IMAG, Saint Martin d'H\u00e8res, France, , , , , , FR"}]},{"given":"Lydie","family":"du Bousquet","sequence":"additional","affiliation":[{"name":"Laboratoire LSR-IMAG, Saint Martin d'H\u00e8res, France, , , , , , FR"}]}],"member":"320","reference":[{"key":"p_1","volume-title":"The Unified Modelling Language: User Guide","author":"Booch G.","year":"1998"},{"key":"p_2","first-page":"178","volume-title":"14th Symposium on Principles of Programming Languages","author":"Caspi N.","year":"1987"},{"key":"p_3","volume-title":"21st International Conference on Software Engineering. ACM","author":"du Bousquet L.","year":"1999"},{"key":"p_5","volume-title":"Proc. 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS). Chapman and Hall","author":"France R.","year":"1997"},{"key":"p_6","volume-title":"Automated Software Engineering (ASE)","author":"Ho W.-M.","year":"1999"},{"key":"p_7","volume-title":"Proc. 13th Int. Conf. on Automated Software Engineering. IEEE","author":"Led","year":"1998"},{"key":"p_8","volume-title":"Rational Rose: Using Rational Rose 4.0","author":"[Rat96] Rational Software Corporation","year":"1996"},{"key":"p_9","series-title":"LNCS","first-page":"72","volume-title":"Proc. 10th Int. Conf. on the Z Formal Method (ZUM)","author":"Saa","year":"1997"},{"key":"p_10","volume-title":": The Z notation","author":"Spi","year":"1992"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650070018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650070018\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650070018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:41:27Z","timestamp":1641483687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650070018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["10.1007\/s001650070018"],"URL":"https:\/\/doi.org\/10.1007\/s001650070018","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}