{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:45:19Z","timestamp":1725543919533},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341994"},{"type":"electronic","value":"9783540342014"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754305_22","type":"book-chapter","created":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T08:12:47Z","timestamp":1153469567000},"page":"195-203","source":"Crossref","is-referenced-by-count":0,"title":["Building Business Process Description and Reasoning Meta-model M bp in A-Prolog"],"prefix":"10.1007","author":[{"given":"Hai","family":"Wan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunxiang","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/ICSE.2002.1007959","volume-title":"Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002","author":"A. Silva","year":"2002","unstructured":"Silva, A.: Requirements, domain and specifications: a viewpoint-based approach to requirements engineering. In: Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, Orlando, USA, pp. 94\u2013104. ACM, New York (2002)"},{"key":"22_CR2","unstructured":"Erdem, E.: Theory and Applications of Answer Set Programming. Ph.D Dissertation, the University of Texas at Austin (August 2002)"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering. In: Proceedings of 12th International ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-12), Newport Beach, Califonia, USA, October 31-November 5, pp. 53\u201362 (2004)","DOI":"10.1145\/1029894.1029905"},{"issue":"1-2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic Programming and Knowledge Representation \u2013 An A-Prolog perspective. In Artificial Intelligence\u00a0138(1-2), 3\u201338 (2002)","journal-title":"In Artificial Intelligence"},{"key":"22_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45632-5_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M.: Representing Knowledge in A-Prolog. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02408, pp. 413\u2013451. Springer, Heidelberg (2002)"},{"issue":"11","key":"22_CR6","first-page":"1289","volume":"36","author":"L.. Mei","year":"1999","unstructured":"Mei, L., Shu, L.M.: Review of Methods and Tools of Software Requirements Engineering (in Chinese with English abstract). Computer Research & Development\u00a036(11), 1289\u20131300 (1999)","journal-title":"Computer Research & Development"},{"key":"22_CR7","unstructured":"WfMC(Workflow Management Coalition). Workflow Process Definition Interface - XML Process Definition Language(Ver1.0).Document Number WFMC-TC-1025, October 25 (2002)"},{"key":"22_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Database","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, Tanca, L.: Logic Programming and Database. Springer, Heidelberg (1990)"},{"key":"22_CR9","unstructured":"Zheng, Y., Wan, H., Li, L.: A New Software Requirement Method Based on Subject- Predicate-Object Logic. In: Software Process Workshop 2005, Beijing, China, May 25-27 (2005)"}],"container-title":["Lecture Notes in Computer Science","Software Process Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754305_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T02:56:47Z","timestamp":1552359407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754305_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341994","9783540342014"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11754305_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}