To achieve trust and continuity in the smart contracts-based business process execution, the
verification of such smart contracts is mandatory. A blockchain-based smart contract should …

Abstract Domain-specific languages (DSL) are programming or modeling languages
devoted to a given application domain. There are many tools used to support the …

The adoption of blockchain-based distributed computation platforms is growing fast. Some of
these platforms, such as Ethereum, provide support for implementing smart contracts, which …

Blockchain and distributed ledger technologies have received significant interest in various
areas beyond the financial sector, with profound applications in the Internet of Things (IoT) …

The adoption of blockchain based distributed ledgers is growing fast due to their ability to
provide reliability, integrity, and auditability without trusted entities. One of the key …

Blended modeling aims to improve the user experience of modeling activities by prioritizing
the seamless interaction with models through multiple notations over the consistency of the …

Context: Collaborative Model-Driven Software Engineering (MDSE) consists of methods and
techniques where multiple stakeholders manage, collaborate, and are aware of each others' …

Blockchain-based distributed computing platforms enable the trusted execution of
computation—defined in the form of smart contracts—without trusted agents. Smart contracts …

The engineering of modern software-intensive systems is carried out in collaboration among
stakeholders with specialized expertise. The complexity of such systems often also …

Increasing complexity in the power system and the transformation towards a smart grid lead
to the necessity of new tools and methods for the development and testing of new …