Model execution tracing: a systematic mapping study
Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …
code as primary development artifacts. In this paper, we focus on executable models, which …
A generative approach to define rich domain-specific trace metamodels
Abstract Executable Domain-Specific Modeling Languages (xDSMLs) open many
possibilities for performing early verification and validation (V&V) of systems. Dynamic V&V …
possibilities for performing early verification and validation (V&V) of systems. Dynamic V&V …
Replaying execution trace models for dynamic modeling languages
Back-end analysis tools aiming to carry out model-based verification and validation of
dynamic behavioral models frequently produce sequences of simulation steps (called …
dynamic behavioral models frequently produce sequences of simulation steps (called …
A Study on the Use of Runtime Files in Handling Crash Reports in a Large Telecom Company
K Panchal, F Ait-Mahammed… - 2022 IEEE Future …, 2022 - ieeexplore.ieee.org
To minimize service downtime and ensure high system availability, Telecom companies
must react quickly to failures and crashes of network services and applications. In this study …
must react quickly to failures and crashes of network services and applications. In this study …
Survey of state-of-the-art distributed tracing technology
杨勇， 李影， 吴中海 - Journal of software, 2020 - jos.org.cn
随着分布式软件系统在各个行业的广泛应用了学术界与工业界的关注. 分布式软件系统其规模
庞大分布式软件系统的运维任务带来了严峻的挑战. 传统的以组件以支持分布式软件的故障诊断 …
庞大分布式软件系统的运维任务带来了严峻的挑战. 传统的以组件以支持分布式软件的故障诊断 …
Lossless compaction of model execution traces
Dynamic verification and validation (V&V) techniques are used to verify and validate the
behavior of software systems early in the development process. In the context of model …
behavior of software systems early in the development process. In the context of model …
Towards scalable multidimensional execution traces for xDSMLs
Executable Domain Specific Modeling Languages (xDSML) opens many possibilities in
terms of early verification and validation (V&V) of systems, including the use of dynamic V&V …
terms of early verification and validation (V&V) of systems, including the use of dynamic V&V …
[PDF][PDF] Back-annotation framework for simulation traces of discrete event-based languages
Back-end analysis tools aiming to carry out model-based verification and validation of
dynamic behavioral models frequently retrieve sequences of simulation steps (called …
dynamic behavioral models frequently retrieve sequences of simulation steps (called …
Uma arquitetura de referência para projetar ferramentas de modernização baseadas em ADM
BM Santos - 2023 - repositorio.ufscar.br
Software systems are constantly changing and this process generally makes it increasingly
difficult for organizations to maintain. To help in this context, Object Management Group …
difficult for organizations to maintain. To help in this context, Object Management Group …