[HTML][HTML] Leveraging the power of formal methods in the realm of enterprise modeling—On the example of extending the (meta) model verification possibilities of …
Verification in the realm of enterprise modeling (EM) ensures both the consistency of EM
language specifications (ie, meta models and additional well-formedness constraints), as …
language specifications (ie, meta models and additional well-formedness constraints), as …
Behavioral consistency in multi-modeling
Multiple heterogeneous interacting systems are needed to realize the requirements of
complex domains. Describing the interactions between these systems and checking their …
complex domains. Describing the interactions between these systems and checking their …
[PDF][PDF] Fault-Tolerant Consistency Management in Model-Driven Engineering
N Weidmann - 2021 - d-nb.info
Abstract Models play an important role in nowadays' software engineering processes,
providing stakeholders with a suitable level of abstraction for specifying software systems …
providing stakeholders with a suitable level of abstraction for specifying software systems …