{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:18Z","timestamp":1750308018478,"version":"3.41.0"},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2007,7]]},"abstract":"<jats:p>Requirements elicitation involves gathering requirements from different stakeholders. Different stakeholders often hold different views of how a system should behave, resulting in inconsistencies between their descriptions. Rigorous consistency checking methods can be effectively applied if the different views are formally specified. This is possible because of the unambiguous and precise nature of formal specification languages. However, ensuring that each formal view is self-consistent is critical before checking that the different views are inter-consistent. In this paper, an algorithm is proposed to check the self-consistency of the classes of an Object-Z specification. The proposed approach combines specification testing, model abstraction, and model checking to perform the verification.<\/jats:p>","DOI":"10.1145\/1281421.1281433","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T13:44:55Z","timestamp":1189777495000},"page":"11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On checking the consistency of Object-Z classes"],"prefix":"10.1145","volume":"32","author":[{"given":"Fathi","family":"Taibi","sequence":"first","affiliation":[{"name":"University of Tun Abdul Razak, Selangor, Malaysia"}]},{"given":"Jacob K.","family":"Daniel","sequence":"additional","affiliation":[{"name":"Multimedia University, Selangor, Malaysia"}]},{"given":"Fouad Mohammed","family":"Abbou","sequence":"additional","affiliation":[{"name":"Multimedia University, Selangor, Malaysia"}]}],"member":"320","published-online":{"date-parts":[[2007,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081183"},{"volume-title":"Formal Object-Oriented Specification Using Object-Z","year":"2000","author":"Duke R.","key":"e_1_2_1_2_1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/368058.368121"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.566430"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/990010.990012"},{"key":"e_1_2_1_7_1","first-page":"205","volume-title":"Model-Checking CSP-Z. In Proceedings of the European Join Conference on Theory and Practice of Software","volume":"1382","author":"Mota A.","year":"1998"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"Smith G.","year":"2000"},{"key":"e_1_2_1_9_1","volume-title":"The Z Notation -- A Reference Manual","author":"Spivey J. M.","year":"1992","edition":"2"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1992.0027"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1281421.1281433","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1281421.1281433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:13:46Z","timestamp":1750259626000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1281421.1281433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["10.1145\/1281421.1281433"],"URL":"https:\/\/doi.org\/10.1145\/1281421.1281433","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2007,7]]},"assertion":[{"value":"2007-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}