Research Commentary: Information Systems and Conceptual Modeling--A Research Agenda
Information Systems Research
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
A supply chain as a network of auctions
Decision Support Systems
Design science in information systems research
MIS Quarterly
Process grammar as a tool for business process design
MIS Quarterly
An approach for formalising the supply chain operations
Enterprise Information Systems
An ontological approach for strategic alignment: a supply chain operations reference case study
International Journal of Computer Integrated Manufacturing - Special Issue: Enterprise Engineering and Alignment
Towards a formal verification of OWL-S process models
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Hi-index | 0.00 |
Many companies use supply chain models for designing the flow of goods and services from their suppliers all the way up to the final customers. Over the past 15years, the Supply Chain Operations Reference Model (SCOR) has become a widespread modeling technique for designing such supply chains and sharing design information with supply chain stakeholders. However, neither the syntax nor the semantics of SCOR are well defined. This limitation has important consequences for its usage: Supply chain models may be ambiguous and their correctness cannot be verified. We address this problem by mapping SCOR supply chains onto graphs and formalize the semantics of SCOR. The mapping is driven by constructs from the supply chain management literature. The proposed artifact is a supply chain grammar, which we apply to a set of SCOR models taken from industry sources. We show the grammar's usefulness by verifying the correctness of these models using analytical techniques.