Is blockchain a silver bullet for supply chain management? Technical challenges and research opportunities
Blockchain technology is based on the idea of a distributed, replicated, and immutable
digital ledger that enables parties to conduct business in a trustful and transparent way …
digital ledger that enables parties to conduct business in a trustful and transparent way …
Formal verification of static software models in MDE: A systematic review
CA González, J Cabot - Information and Software Technology, 2014 - Elsevier
Abstract Context Model-driven Engineering (MDE) promotes the utilization of models as
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …
primary artifacts in all software engineering activities. Therefore, mechanisms to ensure …
Object constraint language (OCL): a definitive guide
Abstract The Object Constraint Language (OCL) started as a complement of the UML
notation with the goal to overcome the limitations of UML (and in general, any graphical …
notation with the goal to overcome the limitations of UML (and in general, any graphical …
Web assessment-a model for the evaluation and the assessment of successful electronic commerce applications
D Selz, P Schubert - Proceedings of the Thirty-First Hawaii …, 1998 - ieeexplore.ieee.org
Today many a Website features fancy graphics, well organized content, but rarely induces
the visitor to come back on a regular basis (with exceptions of course). The electronic …
the visitor to come back on a regular basis (with exceptions of course). The electronic …
Using models to enable compliance checking against the GDPR: an experience report
The General Data Protection Regulation (GDPR) harmonizes data privacy laws and
regulations across Europe. Through the GDPR, individuals are able to better control their …
regulations across Europe. Through the GDPR, individuals are able to better control their …
EMFtoCSP: A tool for the lightweight verification of EMF models
The increasing popularity of MDE results in the creation of larger models and model
transformations, hence converting the specification of MDE artefacts in an error-prone task …
transformations, hence converting the specification of MDE artefacts in an error-prone task …
A graph solver for the automated generation of consistent domain-specific models
Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …
the systematic generation of graph models. For instance, tool qualification necessitated by …
Modeling data protection and privacy: application and experience with GDPR
In Europe and indeed worldwide, the General Data Protection Regulation (GDPR) provides
protection to individuals regarding their personal data in the face of new technological …
protection to individuals regarding their personal data in the face of new technological …
CD2Alloy: Class diagrams analysis using Alloy revisited
We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy.
Unlike existing translations, which are based on a shallow embedding strategy, and are thus …
Unlike existing translations, which are based on a shallow embedding strategy, and are thus …
Verification of ATL transformations using transformation models and model finders
In model-driven engineering, models constitute pivotal elements of the software to be built. If
models are specified well, transformations can be employed for different purposes, eg, to …
models are specified well, transformations can be employed for different purposes, eg, to …