Formal ontology driven model refactoring
Formal Ontology Driven Model Refactoring
... Our main contributions are: 1 to develop a refactoring technique related to the correct by construction approach; 2 to use the domain specific knowledge in a system model explicitly; 3 to[r] ...
11
Formal Ontology Driven Model Refactoring
... Our main contributions are: 1 to develop a refactoring technique related to the correct by construction approach; 2 to use the domain specific knowledge in a system model explicitly; 3 t[r] ...
11
Formal Ontology Driven Model Refactoring
... Our main contributions are: to develop a refactoring technique related to the correct by construction approach; to use the domain specific knowledge in a system model explicitly; to define[r] ...
12
A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces
... Fig. 14. Behavior "choœeR.efferingTo" béng structured as a Java method. Check Boxes, Links or Calendars, the concrete in stance of any of these elements are searched on the Presentation layer. The Presentation ...
28
A Formal Ontology for Describing Interactive Behaviors and Supporting Automated Testing on User Interfaces
... formai ontology that is aimed at supporting test automation using ...an ontology and an ontology-based approach for automating the test of functional requirements of interactive ...
29
An iterative approach to build relevant ontology-aware data-driven models
... the ontology is also a factor to be taken into consideration to distinguish between ...the ontology is a simple ...predictive model design) and the ontology ...the ontology, by refining ...
37
Formal representation of SysML/KAOS domain model
... the formal specification of systems whose requirements are captured with SysML/KAOS goal ...the formal validation steps because it involves simple mathematical concepts and has a powerful refinement logic ...
54
Implementing a formal model of inflectional morphology
... implement formal analyses in a typologically sound framework that benefits from the data processing power available through computational approaches ...for formal approaches to rely on computational ...
22
Model-Driven Constraint Programming
... a model-driven ...efficient model management (defini- tion and ...A model- driven architecture is introduced to map solving-independent con- straint models to solving-dependent decision ...
12
Ludo: An Ontology to Create Linked Data Driven Serious Games
... an ontology that enables the description and representation of Serious Games with such ...this ontology is demonstrated through the prototype of a serious, Web-based and question-based board game, which ...
13
PHIS, a plant science ontology-driven Phenotyping Hybrid Information System
... science ontology-driven Phenotyping Hybrid Information System Pascal Neveu 1 , Anne Tireau 1 , Nadine Hilgert 1 , Vincent Negre 2 , Jonathan Mineau-Cesari 1,2 , Nicolas Brichet 2 , Romain Chapuis 3 , ...
2
Adapting OCL Constraints After a Refactoring of their Model Using an MDE Process
... constraints, refactoring, model transformation 1. Introduction Refactoring is an important activity within the domain of software maintenance [1, ...[3]. Refactoring is defined as change to ...
13
Ontology-based interoperation model of collaborative product development
... [26] Y. Zhang and S. Li, Research on Formal Categorical Ontologies, Computer Science, China.vol. 33(9), 1-3. [27] F. Donini，M. Lenzerini，D. Ndari and A. Sehaerf，Reasoning in description logics，In G. Brewka editor， ...
27
Feature Model Composition Assisted by Formal Concept Analysis
... 3.1 Overview of merge operations Several design situations may require FM composi- tion, for example when several experts work on de- signing variability and independently develop their FMs with different concerns, or ...
12
A formal model for plastic human computer interfaces
... domain ontology of interaction techniques and devices has been proposed to provide the relation which links labels of the lts representing task models at interaction ...with formal tools if a task ...
26
Towards a formal semantics for AADL execution model
... is to capture the semantics of mode change; verifications should be possible once we have refined this initial description by concrete implementation of mode switching. Currently, we have begun to sketch Giotto and AADL ...
11
Converting Alzheimer's disease map into a heavyweight ontology: a formal network to integrate data
... the ontology editor Protégé, the content of the structured table was im- ported into ADMO using the Protégé Cellfie ...upper model process classes depending on their formal definition (see ...
10
A formal model for plastic human computer interfaces
... whole formal model for verifying plastic user interfaces and the plasticity property is presented in Section 7 where the different steps leading to analyze formally plastic user inter- faces are composed ...
27
Model-Driven Web Service Development
... that model driven de- velopment of applications is a well established practice ...early formal analysis and consistency checking of system functionalities, refinement and code ...the model ...
17
MODEL-FREE DATA-DRIVEN INELASTICITY
... Goal-oriented self-consistent data acquisition. An issue of critical impor- tance concerns the acquisition of material data sets with appropriate cov- erage of phase space for specific applications. For general ...
28