{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:52Z","timestamp":1725611452660},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634027"},{"type":"electronic","value":"9783642608896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-642-60889-6_16","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T23:25:54Z","timestamp":1316474754000},"page":"135-139","source":"Crossref","is-referenced-by-count":4,"title":["Formal Semantics of Enterprise Models"],"prefix":"10.1007","author":[{"given":"M.","family":"Petit","sequence":"first","affiliation":[]},{"given":"J.","family":"Goossenaerts","sequence":"additional","affiliation":[]},{"given":"M.","family":"Gruninger","sequence":"additional","affiliation":[]},{"given":"J. G.","family":"Nell","sequence":"additional","affiliation":[]},{"given":"F. B.","family":"Vernadat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"CENENV 12 204: Computer-Integrated Manufacturing - Systems Architecture. - Constructs for Enterprise Modelling. CEN\/CENELEC, Brussels, December 1995."},{"key":"16_CR2","volume-title":"Enterprise modelling languages, These Proceedings","author":"F Vemadat","year":"1997","unstructured":"F. Vemadat, Enterprise modelling languages, These Proceedings, 1997."},{"key":"16_CR3","first-page":"82","volume-title":"Proc. of the 2nd Int. Conf. on Cooperative Information Systems (CoopIS\u201994)","author":"MS Fox","year":"1994","unstructured":"Mark S. Fox and Michael Gruninger, Ontologies for Enterprise Integration, in Proc. of the 2nd Int. Conf. on Cooperative Information Systems (CoopIS\u201994), pp. 82\u201389, Michael Brodie and Mathias Jarke and Michael Papazoglou, Eds, University of Toronto, 1994."},{"key":"16_CR4","first-page":"9","volume-title":"Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW\u201996)","author":"I Laresgoiti","year":"1996","unstructured":"Laresgoiti I., Anjewierden A., Bernaras A., Corera J., Schreiber A.Th. and Wielinga B.J., Ontologies as Vehicles for Reuse: a mini-experiment, in Proceedings of Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW\u201996), Banff, Alberta, Canada, November 9\u201314, 1996."},{"key":"16_CR5","first-page":"12","volume-title":"Proc. of the European Workshop on integrated manufacturing systems engineering (IMSE\u201994), Grenoble, December","author":"G Bruno","year":"1994","unstructured":"Giorgio Bruno and Rakesh Agarwal, Making CIMOSA operational, in Proc. of the European Workshop on integrated manufacturing systems engineering (IMSE\u201994), Grenoble, December 12\u201314, 1994."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"S.P. Reid and S.K. Banerjee, A supporting Enterprise Infrastructure Using STEP Technologies, In Information Infrastructure Systems for Manufacturing, Goosenaerts, Kimura and Wortmann, Eds, Chapman & Hall, 1997.","DOI":"10.1007\/978-0-387-35063-9_8"},{"key":"16_CR7","volume-title":"Distributed Systems: Architecture Driven Specification using Extended LOTOS, PhD thesis, Technical Report CSM-120","author":"A McClenaghan","year":"1993","unstructured":"Ashley McClenaghan, Distributed Systems: Architecture Driven Specification using Extended LOTOS, PhD thesis, Technical Report CSM-120, Dep. of CS and Mathematics, University of Stirling, December 1993."},{"key":"16_CR8","first-page":"12","volume-title":"Proc. of the European Workshop on integrated manufacturing systems engineering (IMSE\u201994), Grenoble, December","author":"E Dubois","year":"1994","unstructured":"Eric Dubois and Michael Petit, Using a Formal Declarative Language for Specifying Requirements Modelled in CIMOSA, in Proc. of the European Workshop on integrated manufacturing systems engineering (IMSE\u201994), Grenoble, December 12\u201314, 1994."}],"container-title":["Enterprise Engineering and Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60889-6_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:46:36Z","timestamp":1606254396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60889-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634027","9783642608896"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60889-6_16","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}