{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T21:41:56Z","timestamp":1720302116456},"reference-count":42,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2013,12,1]],"date-time":"2013-12-01T00:00:00Z","timestamp":1385856000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"name":"InterLogGrid","award":["01IG09010E"]},{"name":"Korea Research Foundation, and Sogang University Research","award":["R31\u201320002"]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Decision Support Systems"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1016\/j.dss.2013.06.008","type":"journal-article","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T05:01:17Z","timestamp":1371704477000},"page":"288-299","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":9,"special_numbering":"C","title":["Formal correctness of supply chain design"],"prefix":"10.1016","volume":"56","author":[{"given":"Joerg","family":"Leukel","sequence":"first","affiliation":[]},{"given":"Vijayan","family":"Sugumaran","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.dss.2013.06.008_bb0005","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","article-title":"Formalization and verification of event-driven process chains","volume":"41","author":"van der Aalst","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/j.dss.2013.06.008_bb0010","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1177\/002224299405800401","article-title":"Dyadic business relationships within a business network context","volume":"58","author":"Anderson","year":"1994","journal-title":"Journal of Marketing"},{"key":"10.1016\/j.dss.2013.06.008_bb0015","series-title":"The Semantic Web \u2014 ISWC","first-page":"37","article-title":"Towards a formal verification of OWL-S process models","author":"Ankolekar","year":"2005"},{"key":"10.1016\/j.dss.2013.06.008_bb0020","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1057\/palgrave.jors.2601381","article-title":"Supply chain modelling and its analytical evaluation","volume":"53","author":"Arns","year":"2002","journal-title":"Journal of the Operational Research Society"},{"key":"10.1016\/j.dss.2013.06.008_bb0025","series-title":"Handbook of Knowledge Representation","first-page":"135","article-title":"Description logic","author":"Baader","year":"2007"},{"key":"10.1016\/j.dss.2013.06.008_bb0030","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0925-5273(98)00079-6","article-title":"Supply chain design and analysis: models and methods","volume":"55","author":"Beamon","year":"1998","journal-title":"International Journal of Production Economics"},{"key":"10.1016\/j.dss.2013.06.008_bb0035","series-title":"ECIS 2007 Proceedings, Paper 123","article-title":"Extending the supply chain operations reference model: potentials and their tool support","author":"Becker","year":"2007"},{"key":"10.1016\/j.dss.2013.06.008_bb0040","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1108\/01443570610672202","article-title":"Supply chain management: a structured literature review and implications for future research","volume":"26","author":"Burgess","year":"2006","journal-title":"International Journal of Operations & Production Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0045","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/j.jom.2003.12.007","article-title":"Towards a theory of supply chain management: the constructs and measurements","volume":"22","author":"Chen","year":"2004","journal-title":"Journal of Operations Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0050","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1108\/01443570610672194","article-title":"Supply chain management: theory and practice \u2014 the emergence of an academic discipline?","volume":"26","author":"Cousins","year":"2006","journal-title":"International Journal of Operations & Production Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0055","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/S0969-7012(99)00030-1","article-title":"Supply chain management: an analytical framework for critical literature review","volume":"6","author":"Croom","year":"2000","journal-title":"European Journal of Purchasing & Supply Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0060","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","article-title":"Semantics and analysis of business process models in BPMN","volume":"50","author":"Dijkman","year":"2008","journal-title":"Information and Software Technology"},{"key":"10.1016\/j.dss.2013.06.008_bb0065","first-page":"105","article-title":"What is the right supply chain for your product?","volume":"75","author":"Fisher","year":"1997","journal-title":"Harvard Business Review"},{"key":"10.1016\/j.dss.2013.06.008_bb0070","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1002\/j.2158-1592.2005.tb00203.x","article-title":"Supply chain management: the pursuit of a consensus definition","volume":"26","author":"Gibson","year":"2005","journal-title":"Journal of Business Logistics"},{"key":"10.1016\/j.dss.2013.06.008_bb0075","series-title":"Adaptive Technologies and Business Integration: Social, Managerial and Organizational Dimensions","first-page":"137","article-title":"SCOntology: a formal approach toward a unified and integrated view of the supply chain","author":"Gonnet","year":"2007"},{"key":"10.1016\/j.dss.2013.06.008_bb0080","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/j.jom.2004.10.005","article-title":"Build-to-order supply chain management: a literature review and framework for development","volume":"23","author":"Gunasekaran","year":"2005","journal-title":"Journal of Operations Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0085","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/25148625","article-title":"Design science in information systems research","volume":"28","author":"Hevner","year":"2004","journal-title":"MIS Quarterly"},{"key":"10.1016\/j.dss.2013.06.008_bb0090","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0925-5273(99)00026-2","article-title":"Supply chain management: a strategic issue in engineer to order manufacturing","volume":"65","author":"Hicks","year":"2000","journal-title":"International Journal of Production Economics"},{"key":"10.1016\/j.dss.2013.06.008_bb0095","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1108\/13598540410517557","article-title":"A review and analysis of supply chain operations reference (SCOR) model","volume":"9","author":"Huan","year":"2004","journal-title":"Supply Chain Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0100","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0019-8501(99)00113-3","article-title":"Issues in supply chain management","volume":"29","author":"Lambert","year":"2000","journal-title":"Industrial Marketing Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0105","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1023\/A:1018980024795","article-title":"A unified framework for pull control mechanisms in multi-stage manufacturing systems","volume":"93","author":"Liberopoulos","year":"2000","journal-title":"Annals of Operations Research"},{"key":"10.1016\/j.dss.2013.06.008_bb0110","doi-asserted-by":"crossref","first-page":"757","DOI":"10.2307\/25148871","article-title":"Process grammar as a tool for business process design","volume":"32","author":"Lee","year":"2008","journal-title":"MIS Quarterly"},{"key":"10.1016\/j.dss.2013.06.008_bb0115","doi-asserted-by":"crossref","first-page":"1192","DOI":"10.1108\/01443570410569010","article-title":"Linking SCOR planning practices to supply chain performance: an exploratory study","volume":"24","author":"Lockamy","year":"2004","journal-title":"International Journal of Operations & Production Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0120","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","article-title":"Detection and prediction of errors in EPCs of the SAP reference model","volume":"64","author":"Mendling","year":"2008","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/j.dss.2013.06.008_bb0125","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/j.2158-1592.2001.tb00001.x","article-title":"Defining supply chain management","volume":"22","author":"Mentzer","year":"2001","journal-title":"Journal of Business Logistics"},{"key":"10.1016\/j.dss.2013.06.008_bb0130","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1080\/17517570903030833","article-title":"The SCOR model for the alignment of business processes and information systems","volume":"3","author":"Millet","year":"2009","journal-title":"Enterprise Information Systems"},{"key":"10.1016\/j.dss.2013.06.008_bb0135","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1016\/j.dss.2010.07.013","article-title":"A supply chain as a network of auctions","volume":"50","author":"Moyaux","year":"2010","journal-title":"Decision Support Systems"},{"key":"10.1016\/j.dss.2013.06.008_bb0140","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/S0925-5273(03)00119-1","article-title":"Strategic positioning of the order penetration point","volume":"85","author":"Olhager","year":"2003","journal-title":"International Journal of Production Economics"},{"key":"10.1016\/j.dss.2013.06.008_bb0145","series-title":"Process Grammars: A Generative Approach to Process Redesign, Working Paper Series 178","author":"Pentland","year":"1994"},{"key":"10.1016\/j.dss.2013.06.008_bb0150","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1287\/orsc.6.5.541","article-title":"Grammatical models of organizational processes","volume":"6","author":"Pentland","year":"1995","journal-title":"Organization Science"},{"key":"10.1016\/j.dss.2013.06.008_bb0155","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1142\/S0218194010004876","article-title":"Defining software process model constraints with rules using OWL and SWRL","volume":"20","author":"Rodr\u00edguez","year":"2010","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/j.dss.2013.06.008_bb0160","doi-asserted-by":"crossref","first-page":"1010","DOI":"10.1016\/j.ejor.2005.02.006","article-title":"A methodology for modeling inter-company supply chains and for evaluating a method of integrated product and process documentation","volume":"169","author":"R\u00f6der","year":"2006","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/j.dss.2013.06.008_bb0165","doi-asserted-by":"crossref","first-page":"1022","DOI":"10.1080\/0951192X.2011.575798","article-title":"An ontological approach for strategic alignment: a supply chain operations reference case study","volume":"24","author":"Sakka","year":"2011","journal-title":"International Journal of Computer Integrated Manufacturing"},{"key":"10.1016\/j.dss.2013.06.008_bb0170","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1023\/A:1012881006783","article-title":"Supply chain operations reference model 5.0: a new tool to improve supply chain efficiency and achieve best practice","volume":"3","author":"Stephens","year":"2001","journal-title":"Information Systems Frontiers"},{"key":"10.1016\/j.dss.2013.06.008_bb0175","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1108\/09576059710815716","article-title":"Supply-chain operations reference model (SCOR): the first cross-industry framework for integrated supply chain management","volume":"10","author":"Steward","year":"1997","journal-title":"Logistics Information Management"},{"key":"10.1016\/j.dss.2013.06.008_bb0180","series-title":"Supply Chain Operations Reference Model (SCOR\u00ae), Version 9.0, Washington DC","author":"Supply-Chain Council","year":"2009"},{"key":"10.1016\/j.dss.2013.06.008_bb0185","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0377-2217(97)80080-X","article-title":"Strategic production\u2013distribution models: a critical review with emphasis on global supply chain models","volume":"98","author":"Vidal","year":"1997","journal-title":"European Journal of Operational Research"},{"key":"10.1016\/j.dss.2013.06.008_bb0190","author":"W3C"},{"key":"10.1016\/j.dss.2013.06.008_bb0195","author":"W3C"},{"key":"10.1016\/j.dss.2013.06.008_bb0200","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1287\/isre.13.4.363.69","article-title":"Information systems and conceptual modeling \u2014 a research agenda","volume":"13","author":"Wand","year":"2002","journal-title":"Information Systems Research"},{"key":"10.1016\/j.dss.2013.06.008_bb0205","doi-asserted-by":"crossref","first-page":"5647","DOI":"10.1080\/00207540903168090","article-title":"Aligning business process reengineering in implementing global supply chain systems by the SCOR model","volume":"48","author":"Wang","year":"2010","journal-title":"International Journal of Production Research"},{"key":"10.1016\/j.dss.2013.06.008_bb0210","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1080\/17517575.2011.593104","article-title":"An approach for formalising the supply chain operations","volume":"5","author":"Zdravkovi\u0107","year":"2011","journal-title":"Enterprise Information Systems"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923613001796?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923613001796?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T09:51:14Z","timestamp":1656237074000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167923613001796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":42,"alternative-id":["S0167923613001796"],"URL":"https:\/\/doi.org\/10.1016\/j.dss.2013.06.008","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[2013,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Formal correctness of supply chain design","name":"articletitle","label":"Article Title"},{"value":"Decision Support Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.dss.2013.06.008","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}