[PDF][PDF] Towards FAIR protocols and workflows: the OpenPREDICT use case
It is essential for the advancement of science that researchers share, reuse and reproduce
each other's workflows and protocols. The FAIR principles are a set of guidelines that aim to …
each other's workflows and protocols. The FAIR principles are a set of guidelines that aim to …
Exploiting tractable fuzzy and crisp reasoning in ontology applications
The Semantic Web movement has led to the publication of thousands of ontologies online.
These ontologies present and mediate information and knowledge on the Semantic Web …
These ontologies present and mediate information and knowledge on the Semantic Web …
Towards FAIR protocols and workflows: The OpenPREDICT case study
It is essential for the advancement of science that scientists and researchers share, reuse
and reproduce workflows and protocols used by others. The FAIR principles are a set of …
and reproduce workflows and protocols used by others. The FAIR principles are a set of …
Model-Driven Software Development
FS Parreiras, G Gröner, T Walter, A Friesen… - Ontology-Driven …, 2013 - Springer
Since ontology-driven software development (ODSD) is an integration of ontology
technologies and model-driven software development (MDSD), it is necessary to identify …
technologies and model-driven software development (MDSD), it is necessary to identify …
[PDF][PDF] Metamodel Composition in Hybrid Modelling
MS Živković - 2016 - phaidra.univie.ac.at
It has been recognised that model-based engineering (MBE) approaches are beneficial for
the engineering of increasingly complex systems and software. MBE encourages the usage …
the engineering of increasingly complex systems and software. MBE encourages the usage …
[PDF][PDF] Classification of Refinement Mechanisms in Formal Methods
B Radau - 2015 - wwwiti.cs.uni-magdeburg.de
Formal methods are a promising way to create software-models in a mathematically rooted
way to keep them formal and analyzable. Stepwise refinement adds the possibility to …
way to keep them formal and analyzable. Stepwise refinement adds the possibility to …
Ontology Reasoning for Process Models
Y Ren, G Gröner, T Rahmani, J Lemcke… - Ontology-Driven …, 2013 - Springer
Processes in software development generally have two facets. They can be model objects,
as described in Sect. 4.2, and also workflows, as described in Sect. 4.3. In this chapter, we …
as described in Sect. 4.2, and also workflows, as described in Sect. 4.3. In this chapter, we …