Formal Ontology Driven Model Refactoring

Here we report on the usage of patterns applied to two biomedical ontolo- gies: firstly a novel ontology for karyotypes which has been built ground- up using a pattern based

At the software side, we intend to develop an Eclipse plugin implementing a fully- automated sub-process for applying refactoring actions, based on model differencing, that will

Most previous logit assignment models have used Dial's second definition of efficient paths, according to which "a path is efficient (reasonable) if every link in it

To be able to specify these refactoring operations on a higher abstraction level as proposed in the Java Refactoring Case at the Transformation Tool Contest (TTC) 2015, we propose

To solve this, SDMLib provides a recursive descent parser that analyzes java source code files and create an abstract graph model.. Using the parser is really easy due to the fact

Since more than a decade, Performance Antipatterns [5,6] revealed to be strong support for performance-driven software model refactoring, since they have been used to: (i) “codify”

However, if the devel- oped model is rather complex, covers multiple domains, the computation-independent model (describing real-world objects rather than particular sets of

Keywords: Business Information System, Business Knowledge Model, Domain Model, Model Driven Design, Innovation, Information Engine.. 1 IT based Information Systems