{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:18:11Z","timestamp":1730258291584,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2005.1571543","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:42:54Z","timestamp":1137609774000},"page":"2614-2619","source":"Crossref","is-referenced-by-count":1,"title":["A Goal-Oriented Modeling and Implementing Approach for Collaborative Product Commerce"],"prefix":"10.1109","volume":"3","author":[{"family":"Zhi Liu","sequence":"first","affiliation":[]},{"family":"Tianzhou Wang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref10"},{"journal-title":"Jadex User Guide","year":"0","key":"ref11"},{"journal-title":"Non-Functional Requirements in Software Engineering","year":"2000","author":"lawrence","key":"ref12"},{"key":"ref13","first-page":"1","article-title":"The Virtual Enterprise Concept","author":"luis","year":"1999","journal-title":"Infrastructures for Virtual Enterprises Networking Industrial Enterprises"},{"key":"ref14","article-title":"Virtual Enterprise Modeling and Support Infrastructures: Apply Multi-agent System Approaches","author":"luis","year":"2001","journal-title":"Multi-Agent Systems and Applications"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-2217(00)00292-7"},{"journal-title":"Formal analysis of early requirements specifications","year":"2001","author":"fuxman","key":"ref4"},{"key":"ref3","first-page":"76","article-title":"Jadex: Implementing a BDI-Infrastructure for JADE Agents","volume":"3","author":"pokahr","year":"2003","journal-title":"EXP In Search of Innovation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948567"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0191-7"},{"journal-title":"Modeling Strategic Relationships for Process Reengineering","year":"1995","author":"yu","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01277643"},{"journal-title":"AberdeenGrouplnc","article-title":"CollaborativeProductCommerce: DeliveringProductlnnovationsatlnternetSpeed, MarketView point","year":"1999","key":"ref2"},{"key":"ref1","first-page":"359","article-title":"NuSMV 2: An OpenSource Tool for Symbolic Model Checking","author":"cimatti","year":"2002","journal-title":"Proceedings of Computer Aided Verification conference number 2404 in Lecture Notes in Computer Science"},{"key":"ref9","first-page":"97","article-title":"JADE- A FIPA-compliant agent framework","author":"bellifemine","year":"1999","journal-title":"4th International Conference Practical Applications of Agents and Multi-Agent Systems (PAAM-99)"}],"event":{"name":"2005 IEEE International Conference on Systems, Man and Cybernetics","location":"Waikoloa, HI, USA"},"container-title":["2005 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10498\/33256\/01571543.pdf?arnumber=1571543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T13:05:25Z","timestamp":1489496725000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1571543\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2005.1571543","relation":{},"subject":[]}}