{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:47Z","timestamp":1750307747992,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,16]],"date-time":"2008-03-16T00:00:00Z","timestamp":1205625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["NAG2-1440"],"award-info":[{"award-number":["NAG2-1440"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000171","name":"Division of Human Resource Development","doi-asserted-by":"publisher","award":["HRD-0317692"],"award-info":[{"award-number":["HRD-0317692"]}],"id":[{"id":"10.13039\/100000171","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,16]]},"DOI":"10.1145\/1363686.1363869","type":"proceedings-article","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T13:04:11Z","timestamp":1209474251000},"page":"797-803","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["An approach for specification construction using property-preserving refinement patterns"],"prefix":"10.1145","author":[{"given":"Junhua","family":"Ding","sequence":"first","affiliation":[{"name":"East Carolina University, Greenville, NC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lian","family":"Mo","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xudong","family":"He","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00291051"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01214918"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Applications and Theory of Petri Nets. Advances in Petri Nets","author":"Brauer W.","year":"1990","unstructured":"W. Brauer , R. Gold , and W. Vogler . A survey of behaviour and equivalence preserving refinments of petri nets . In Applications and Theory of Petri Nets. Advances in Petri Nets 1990 , volume 483 of Lecture Notes in Computer Science , pages 1 -- 46 . Springer-Verlag , 1991. W. Brauer, R. Gold, and W. Vogler. A survey of behaviour and equivalence preserving refinments of petri nets. In Applications and Theory of Petri Nets. Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 1--46. Springer-Verlag, 1991."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243607"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","volume-title":"Equivalence transformation of prT-nets","author":"Genrich H. J.","year":"1989","unstructured":"H. J. Genrich . Equivalence transformation of prT-nets . Lecture Notes in Computer Science ; Advances in Petri Nets 1989 , 424: 179--208, 1990. H. J. Genrich. Equivalence transformation of prT-nets. Lecture Notes in Computer Science; Advances in Petri Nets 1989, 424:179--208, 1990."},{"key":"e_1_3_2_1_6_1","first-page":"164","volume-title":"Proc. of the 22nd International Computer Software and Applicaton Conference(COMPSAC'98)","author":"He X.","year":"1998","unstructured":"X. He . Transformations on hierarchical predicate transition nets: Refinements and abstractions . In Proc. of the 22nd International Computer Software and Applicaton Conference(COMPSAC'98) , pages 164 -- 169 , Vienna, Austria , 1998 . X. He. Transformations on hierarchical predicate transition nets: Refinements and abstractions. In Proc. of the 22nd International Computer Software and Applicaton Conference(COMPSAC'98), pages 164--169, Vienna, Austria, 1998."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194000000201"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.1.111"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385972"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of the Third International Conference on Foundation Aspects of Software Engineering - 2000","author":"Padberg J.","year":"2000","unstructured":"J. Padberg , K. Hoffmann , and M. Gajewsky . Stepwise introduction and preservation of safty properties in algebraic high-level net systems . In Proc. of the Third International Conference on Foundation Aspects of Software Engineering - 2000 , Berlin, Germany , 2000 . J. Padberg, K. Hoffmann, and M. Gajewsky. Stepwise introduction and preservation of safty properties in algebraic high-level net systems. In Proc. of the Third International Conference on Foundation Aspects of Software Engineering - 2000, Berlin, Germany, 2000."},{"key":"e_1_3_2_1_11_1","volume-title":"Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems","author":"Padberg J.","year":"2002","unstructured":"J. Padberg and M. Urbasek . Rule-based refinement of petri nets: A survey . In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems , Springer LNCS. Springer , 2002 . J. Padberg and M. Urbasek. Rule-based refinement of petri nets: A survey. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems, Springer LNCS. Springer, 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of Sixth World Conference on Integrated Design and Process Technology (IDPT'02)","author":"Urbasek M.","year":"2002","unstructured":"M. Urbasek and J. Padberg . Preserving liveness with rule-based refinement of place\/transition systems . In Proc. of Sixth World Conference on Integrated Design and Process Technology (IDPT'02) , Pasadensa, USA , 2002 . M. Urbasek and J. Padberg. Preserving liveness with rule-based refinement of place\/transition systems. In Proc. of Sixth World Conference on Integrated Design and Process Technology (IDPT'02), Pasadensa, USA, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00009-9"}],"event":{"name":"SAC '08: The 2008 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Fortaleza, Ceara Brazil","acronym":"SAC '08"},"container-title":["Proceedings of the 2008 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1363869","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1363686.1363869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:39:10Z","timestamp":1750253950000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1363869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,16]]},"references-count":13,"alternative-id":["10.1145\/1363686.1363869","10.1145\/1363686"],"URL":"https:\/\/doi.org\/10.1145\/1363686.1363869","relation":{},"subject":[],"published":{"date-parts":[[2008,3,16]]},"assertion":[{"value":"2008-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}