{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:16:43Z","timestamp":1746159403396,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642543692"},{"type":"electronic","value":"9783642543708"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54370-8_19","type":"book-chapter","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T06:19:20Z","timestamp":1393309160000},"page":"228-238","source":"Crossref","is-referenced-by-count":2,"title":["Modelling Web Service Personalization with Rule Nets"],"prefix":"10.1007","author":[{"given":"Wei","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheng","family":"Zong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sira","family":"Yongchareon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Han, J., Han, Y., Jin, Y., Yu, J.: Personalized active service spaces for end-user service composition. In: IEEE International Conference on Services Computing SCC, pp. 198\u2013205 (2006)","DOI":"10.1109\/SCC.2006.80"},{"key":"19_CR2","unstructured":"Yu, J., Wang, J., Han, Y., Yang, S., Zhang, L.: Developing End-User Programmable Service-Oriented Applications with VINCA. In: Workshop on Web Logistics (2004)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/978-3-540-47919-2_9","volume-title":"Advances in Petri Nets 1987","author":"H.J. Genrich","year":"1987","unstructured":"Genrich, H.J.: Predicate\/Transition Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1987. LNCS, vol.\u00a0254, pp. 207\u2013247. Springer, Heidelberg (1987)"},{"key":"19_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. van der Aalst","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"issue":"1","key":"19_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/TSE.2003.1166587","volume":"29","author":"D. Xu","year":"2003","unstructured":"Xu, D., Yin, J., Deng, Y., Ding, J.: A Formal Architecture Model for Logical Agent Mobility. IEEE Trans. on Software Engineering.\u00a029(1), 31\u201345 (2003)","journal-title":"IEEE Trans. on Software Engineering."},{"key":"19_CR6","unstructured":"The Business Rules Group: Defining Business Rules, What Are They Really? http:\/\/www.businessrulesgroup.org"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Charfi, A., Mezini, M.: Hybrid Web Service Composition: Business Processes Meet Business Rules. In: 1st International Conference on Service Oriented Computing ICSOC, pp. 30\u201338 (2004)","DOI":"10.1145\/1035167.1035173"},{"key":"19_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. van der Aalst","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"key":"19_CR9","unstructured":"von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley (2001)"},{"issue":"4","key":"19_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1109\/TSE.2006.40","volume":"32","author":"D. Xu","year":"2006","unstructured":"Xu, D., Nygard, K.E.: Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets. IEEE Trans. on Software Engineering\u00a032(4), 265\u2013278 (2006)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"19_CR11","unstructured":"PROD: An Advanced Tool for Efficient Reachability Analysis, http:\/\/www.tcs.hut.fi\/Software\/prod\/"},{"key":"19_CR12","unstructured":"Ding, J., Dai, Z., Wang, J., He, X.: Formally Modeling and Analyzing a Secure Mobile Agent Finder. In: 2005 IEEE International Conference on Systems, Man and Cybernetics, pp. 47\u201352 (2005)"},{"key":"19_CR13","unstructured":"SEA: The System Engineering and Animation Environment, http:\/\/jerry.c-lab.de\/sea\/"},{"key":"19_CR14","unstructured":"Petri Net Kernel, version 2.2, http:\/\/www.informatik.hu-berlin.de\/top\/pnk\/index.html"},{"key":"19_CR15","unstructured":"R\u00f6ck, A., Kresman, R.: On Petri Nets and Predicate-Transition Nets. In: 2006 International Conference on Software Engineering Research and Practice, pp. 903\u2013909 (2006)"}],"container-title":["Lecture Notes in Computer Science","Web Information Systems Engineering \u2013 WISE 2013 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54370-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T22:46:14Z","timestamp":1746139574000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-54370-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642543692","9783642543708"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54370-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}