{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,6]],"date-time":"2024-07-06T20:55:55Z","timestamp":1720299355394},"reference-count":52,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,6,15]],"date-time":"2023-06-15T00:00:00Z","timestamp":1686787200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computers in Industry"],"published-print":{"date-parts":[[2023,10]]},"DOI":"10.1016\/j.compind.2023.103974","type":"journal-article","created":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T09:30:07Z","timestamp":1689672607000},"page":"103974","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Leveraging the power of formal methods in the realm of enterprise modeling\u2014On the example of extending the (meta) model verification possibilities of ADOxx with Alloy"],"prefix":"10.1016","volume":"151","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-3756-4788","authenticated-orcid":false,"given":"Sybren","family":"de Kinderen","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0001-8520-8190","authenticated-orcid":false,"given":"Qin","family":"Ma","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-1621-2775","authenticated-orcid":false,"given":"Monika","family":"Kaczmarek-He\u00df","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.compind.2023.103974_b1","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","article-title":"The key tool","volume":"4","author":"Ahrendt","year":"2005","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b2","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","article-title":"On challenges of model transformation from UML to Alloy","volume":"9","author":"Anastasakis","year":"2010","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.compind.2023.103974_b3","series-title":"Evaluating the \u201cSmall Scope Hypothesis\u201d","author":"Andoni","year":"2003"},{"key":"10.1016\/j.compind.2023.103974_b4","series-title":"ECIS 2015 Completed Research Papers","article-title":"Analysis of federated enterprise architecture models","author":"Antunes","year":"2015"},{"key":"10.1016\/j.compind.2023.103974_b5","first-page":"673","article-title":"An open platform for modeling method conceptualization: The OMiLAB digital ecosystem","volume":"44","author":"Bork","year":"2019","journal-title":"Commun. Assoc. Inf. Syst."},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s11334-009-0120-5","article-title":"Transforming OntoUML into alloy: towards conceptual model validation using a lightweight formal method","volume":"6","author":"Braga","year":"2010","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"4","key":"10.1016\/j.compind.2023.103974_b7","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: State of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-013-0353-5","article-title":"Translating between alloy specifications and UML class diagrams annotated with OCL","volume":"14","author":"Cunha","year":"2015","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.compind.2023.103974_b9","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Giarrusso, P.G., Rendel, T., 2012. Language composition untangled. In: Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications. pp. 1\u20138.","DOI":"10.1145\/2427048.2427055"},{"key":"10.1016\/j.compind.2023.103974_b10","first-page":"24","article-title":"Evaluating and comparing language workbenches: Existing results and benchmarks for the future","volume":"44","author":"Erdweg","year":"2015","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b11","first-page":"4","article-title":"On the conceptualisation of modelling methods using the ADOxx meta modelling platform","volume":"8","author":"Fill","year":"2013","journal-title":"EMISA"},{"key":"10.1016\/j.compind.2023.103974_b12","series-title":"Enterprise Information Systems: 14th International Conference, ICEIS 2012, Wroclaw, Poland, June 28-July 1, 2012, Revised Selected Papers 14","first-page":"429","article-title":"Formalizing meta models with FDMM: the ADOxx case","author":"Fill","year":"2013"},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b13","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1186\/s40064-016-2032-9","article-title":"A catalog of automated analysis methods for enterprise models","volume":"5","author":"Florez","year":"2016","journal-title":"SpringerPlus"},{"key":"10.1016\/j.compind.2023.103974_b14","series-title":"The MEMO Meta modeling Language (MML) and Language Architecture","author":"Frank","year":"2011"},{"issue":"3","key":"10.1016\/j.compind.2023.103974_b15","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1007\/s10270-012-0273-9","article-title":"Multi-perspective enterprise modeling: Foundational concepts, prospects and future research challenges","volume":"13","author":"Frank","year":"2014","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.compind.2023.103974_b16","series-title":"Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2014)","first-page":"324","article-title":"Domain-specific visualization of Alloy instances","volume":"vol. 8477","author":"Gammaitoni","year":"2014"},{"key":"10.1016\/j.compind.2023.103974_b17","doi-asserted-by":"crossref","unstructured":"Gammaitoni, L., Kelsen, P., Glodt, C., 2015. Designing languages using lightning. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015). pp. 77\u201382.","DOI":"10.1145\/2814251.2814268"},{"key":"10.1016\/j.compind.2023.103974_b18","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.scico.2017.07.001","article-title":"Agile validation of model transformations using compound F-alloy specifications","volume":"162","author":"Gammaitoni","year":"2018","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","article-title":"USE: A UML-based specification environment for validating UML and OCL","volume":"69","author":"Gogolla","year":"2007","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.compind.2023.103974_b20","series-title":"Value-Based Requirements Engineering: Exploring Innovatie E-Commerce Ideas","author":"Gordijn","year":"2002"},{"key":"10.1016\/j.compind.2023.103974_b21","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/5254.941353","article-title":"e3-value: Design and evaluation of e-business models","author":"Gordijn","year":"2001","journal-title":"IEEE Intell. Syst."},{"issue":"9","key":"10.1016\/j.compind.2023.103974_b22","doi-asserted-by":"crossref","first-page":"1178","DOI":"10.1016\/j.epsr.2006.08.008","article-title":"Business models for distributed energy resources in a liberalized market environment","volume":"77","author":"Gordijn","year":"2005","journal-title":"Electr. Power Syst. Res. J."},{"key":"10.1016\/j.compind.2023.103974_b23","series-title":"Unternehmensmodell-Basiertes IT-Kostenmanagement Als Bestandteil Eines Integrativen IT-Controllings","author":"Heise","year":"2013"},{"issue":"5","key":"10.1016\/j.compind.2023.103974_b24","doi-asserted-by":"crossref","first-page":"4205","DOI":"10.1007\/s10664-020-09872-1","article-title":"Systematic mapping study on domain-specific language development tools","volume":"25","author":"Iung","year":"2020","journal-title":"Empir. Softw. Eng."},{"key":"10.1016\/j.compind.2023.103974_b25","series-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson","year":"2012"},{"key":"10.1016\/j.compind.2023.103974_b26","series-title":"Domain-Specific Conceptual Modeling: Concepts, Methods and Tools","first-page":"31","article-title":"SemCheck: Checking constraints for multi-perspective modeling languages","author":"Jeusfeld","year":"2016"},{"issue":"2\u20133","key":"10.1016\/j.compind.2023.103974_b27","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/s10796-007-9030-y","article-title":"Enterprise architecture analysis with extended influence diagrams","volume":"9","author":"Johnson","year":"2007","journal-title":"Inf. Syst. Front."},{"key":"10.1016\/j.compind.2023.103974_b28","doi-asserted-by":"crossref","unstructured":"Karagiannis, D., Buchmann, R.A., 2018. A proposal for deploying hybrid knowledge bases: the ADOxx-to-GraphDB interoperability case. In: Proceedings of the 51st HICSS.","DOI":"10.24251\/HICSS.2018.510"},{"key":"10.1016\/j.compind.2023.103974_b29","unstructured":"Karagiannis, D., Buchmann, R., Bork, D., 2016. Managing Consistency in Multi-View Enterprise Models: An Approach based on Semantic Queries. In: 24th European Conference on Information Systems (ECIS 2016)."},{"issue":"4","key":"10.1016\/j.compind.2023.103974_b30","doi-asserted-by":"crossref","first-page":"3291","DOI":"10.1109\/TSG.2016.2629470","article-title":"A fast technique for smart home management: ADP with temporal difference learning","volume":"9","author":"Keerthisinghe","year":"2018","journal-title":"IEEE Trans. Smart Grid"},{"key":"10.1016\/j.compind.2023.103974_b31","series-title":"Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008)","first-page":"690","article-title":"A lightweight approach for defining the formal semantics of a modeling language","volume":"vol. 5301","author":"Kelsen","year":"2008"},{"key":"10.1016\/j.compind.2023.103974_b32","series-title":"The Practice of Enterprise Modeling","first-page":"138","article-title":"Towards extending the validation possibilities of ADOxx with Alloy","author":"de Kinderen","year":"2020"},{"key":"10.1016\/j.compind.2023.103974_b33","series-title":"Objects, Models, Components, Patterns","first-page":"290","article-title":"Extensive validation of OCL models by integrating SAT solving into USE","author":"Kuhlmann","year":"2011"},{"key":"10.1016\/j.compind.2023.103974_b34","series-title":"Enterprise Architecture at Work: Modeling, Communication and Analysis","author":"Lankhorst","year":"2017"},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b35","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1146\/annurev.cs.01.060186.001351","article-title":"Knowledge representation and reasoning","volume":"1","author":"Levesque","year":"1986","journal-title":"Annu. Rev. Comput. Sci."},{"issue":"1","key":"10.1016\/j.compind.2023.103974_b36","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","article-title":"Expressiveness and tractability in knowledge representation and reasoning 1","volume":"3","author":"Levesque","year":"1987","journal-title":"Comput. Intell."},{"issue":"2","key":"10.1016\/j.compind.2023.103974_b37","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/s10270-022-01056-3","article-title":"Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view","volume":"22","author":"Ma","year":"2023","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"10.1016\/j.compind.2023.103974_b38","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1007\/s10270-013-0348-2","article-title":"A generic model decomposition technique and its application to the Eclipse modeling framework","volume":"14","author":"Ma","year":"2015","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.compind.2023.103974_b39","series-title":"14th International MODELS Conference, Wellington, New Zealand, October 16-21, 2011. Proceedings","first-page":"592","article-title":"CD2alloy: Class diagrams analysis using Alloy revisited","volume":"vol. 6981","author":"Maoz","year":"2011"},{"issue":"11","key":"10.1016\/j.compind.2023.103974_b40","article-title":"Survey on domain specific languages implementation aspects","volume":"10","author":"Negm","year":"2019","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"issue":"3","key":"10.1016\/j.compind.2023.103974_b41","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1057\/ejis.2012.26","article-title":"A method for taxonomy development and its application in information systems","volume":"22","author":"Nickerson","year":"2013","journal-title":"Eur. J. Inf. Syst."},{"key":"10.1016\/j.compind.2023.103974_b42","series-title":"From Enterprise Architecture to IT Governance, Vol. 1","author":"Niemann","year":"2006"},{"key":"10.1016\/j.compind.2023.103974_b43","unstructured":"OMG, 2014. Object Constraint Language (OCL), Version 2.4. Tech. Rep., URL https:\/\/www.omg.org\/spec\/OCL\/2.4\/PDF."},{"key":"10.1016\/j.compind.2023.103974_b44","article-title":"What do practitioners expect from the meta-modeling tools? A survey","volume":"63","author":"Ozkaya","year":"2021","journal-title":"J. Comput. Lang."},{"key":"10.1016\/j.compind.2023.103974_b45","unstructured":"Razo-Zapata, I.S., Chew, E., Ma, Q., Gammaitoni, L., Proper, H.A., 2018. Enabling Value Co-Creation in Customer Journeys with VIVA. In: Proceedings of Joint International Conference of Service Science and Innovation and Serviceology."},{"key":"10.1016\/j.compind.2023.103974_b46","series-title":"Enterprise Modeling: Tackling Business Challenges with the 4EM Method","author":"Sandkuhl","year":"2014"},{"issue":"2","key":"10.1016\/j.compind.2023.103974_b47","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s10270-015-0485-x","article-title":"Formal validation of domain-specific languages with derived features and well-formedness constraints","volume":"16","author":"Semer\u00e1th","year":"2017","journal-title":"Softw. Syst. Model."},{"issue":"15","key":"10.1016\/j.compind.2023.103974_b48","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1002\/spe.936","article-title":"An approach for the systematic development of domain-specific languages","volume":"39","author":"Strembeck","year":"2009","journal-title":"Softw. Pract. Exper."},{"key":"10.1016\/j.compind.2023.103974_b49","series-title":"Proceedings of the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages and Applications","first-page":"819","article-title":"MetaEdit+: Defining and using integrated domain-specific modeling languages","author":"Tolvanen","year":"2009"},{"key":"10.1016\/j.compind.2023.103974_b50","series-title":"Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)","first-page":"632","article-title":"Kodkod: A relational model finder","author":"Torlak","year":"2007"},{"issue":"3","key":"10.1016\/j.compind.2023.103974_b51","doi-asserted-by":"crossref","first-page":"3125","DOI":"10.1109\/TSG.2018.2818167","article-title":"Review of smart meter data analytics: Applications, methodologies, and challenges","volume":"10","author":"Wang","year":"2019","journal-title":"IEEE Trans. Smart Grid"},{"key":"10.1016\/j.compind.2023.103974_b52","series-title":"Tolerance in model-driven engineering: A systematic literature review with model-driven tool support","author":"Weidmann","year":"2021"}],"container-title":["Computers in Industry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166361523001240?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0166361523001240?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T15:01:36Z","timestamp":1695999696000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0166361523001240"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10]]},"references-count":52,"alternative-id":["S0166361523001240"],"URL":"https:\/\/doi.org\/10.1016\/j.compind.2023.103974","relation":{},"ISSN":["0166-3615"],"issn-type":[{"value":"0166-3615","type":"print"}],"subject":[],"published":{"date-parts":[[2023,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Leveraging the power of formal methods in the realm of enterprise modeling\u2014On the example of extending the (meta) model verification possibilities of ADOxx with Alloy","name":"articletitle","label":"Article Title"},{"value":"Computers in Industry","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.compind.2023.103974","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103974"}}