Validation and Verification in Domain-Specific Modeling Method Engineering

Autor: Qin Ma, Monika Kaczmarek-Heß, Sybren de Kinderen

Publikováno v: Software and Systems Modeling, 22(2), 647-666. Springer

Enterprise models have the potential to constitute a valuable asset for organizations, e.g., in terms of enabling a variety of analyses or by fostering cross-organizational communication. Therefore, while designing an enterprise modeling method one n

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20015551427b7e5eae651f6a82799496
http://www.scopus.com/inward/record.url?scp=85140592402&partnerID=8YFLogxK

Enterprise Design, Operations, and Computing. EDOC 2023 Workshops : IDAMS, IRESEARCH, MIDas4CS, SoEA4EE, EDOC Forum, Demonstrations Track and Doctoral Consortium, Groningen, The Netherlands, October 30–November 3, 2023, Revised Selected Papers

Autor: Tiago Prince Sales, Sybren de Kinderen, Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen

This volume constitutes revised selected papers of several workshops, the EDOC Forum and the Demonstrations and Doctoral Consortium track, which were held in conjunction with the 27th International Conference on Enterprise Design, Operations, and

Making a Case for Multi-level Reference Modeling – A Comparison of Conventional and Multi-level Language Architectures for Reference Modeling Challenges

Autor: Sybren de Kinderen, Monika Kaczmarek-Heß

Publikováno v: Lecture Notes in Information Systems and Organisation ISBN: 9783030867997

As a continuation of our earlier work, in this paper we focus on the suitability of multi-level modeling for the creation and use of reference models. Specifically, we first discuss known challenges of reference modeling. Then, using the UML (for con

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b2bf0e803363276a45476fc5e35ae96
https://doi.org/10.1007/978-3-030-86800-0_24

Towards Extending the Validation Possibilities of ADOxx with Alloy

Autor: Monika Kaczmarek-Heß, Qin Ma, Sybren de Kinderen

Publikováno v: Lecture Notes in Business Information Processing ISBN: 9783030634780
PoEM
Lecture Notes in Business Information Processing
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020)
13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.138-152, ⟨10.1007/978-3-030-63479-7_10⟩

Part 3:Formal Aspects of Enterprise Modelling; International audience; While ADOxx is a popular platform for the creation and use of enterprise modeling languages, it provides only limited support for a well-formedness check of created enterprise mod

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c53feb1def13d3a9be3e371f3cc92d6c
https://doi.org/10.1007/978-3-030-63479-7_10

Multi-level modeling as a language architecture for reference models: On the example of the smart grid domain

Autor: Sybren de Kinderen, Monika Kaczmarek-HeB

Publikováno v: CBI (1)

In this paper, we propose the use of multi-level modeling as an underlying language architecture for the creation and use of reference models. We focus on the added flexibility and expressiveness offered by multi-level modeling, such as, among others

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::614083df106b358c911d5d417700905e
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=85072047179