scholarly journals Specification Mining for Machine Improvisation with Formal Specifications

2016 ◽  
Vol 14 (3) ◽  
pp. 1-20 ◽  
Author(s):  
Rafael Valle ◽  
Alexandre Donzé ◽  
Daniel J. Fremont ◽  
Ilge Akkaya ◽  
Sanjit A. Seshia ◽  
...  
Keyword(s):  
Formal Specifications ◽  
Specification Mining ◽  
Machine Improvisation

Formalization and Semantic Integration of Heterogeneous Omics Annotations for Exploratory Searches

2020 ◽  
Vol 15 ◽  
Author(s):  
Omer Irshad ◽  
Muhammad Usman Ghani Khan
Keyword(s):  
Data Integration ◽  
Semantic Integration ◽  
Biological Data ◽  
Cellular System ◽  
Formal Specifications ◽  
Integration Model ◽  
Geographically Dispersed ◽  
Proposed Model ◽  
Data Heterogeneity ◽  
Biological Entities

Aim: To facilitate researchers and practitioners for unveiling the mysterious functional aspects of human cellular system through performing exploratory searching on semantically integrated heterogeneous and geographically dispersed omics annotations. Background: Improving health standards of life is one of the motives which continuously instigates researchers and practitioners to strive for uncovering the mysterious aspects of human cellular system. Inferring new knowledge from known facts always requires reasonably large amount of data in well-structured, integrated and unified form. Due to the advent of especially high throughput and sensor technologies, biological data is growing heterogeneously and geographically at astronomical rate. Several data integration systems have been deployed to cope with the issues of data heterogeneity and global dispersion. Systems based on semantic data integration models are more flexible and expandable than syntax-based ones but still lack aspect-based data integration, persistence and querying. Furthermore, these systems do not fully support to warehouse biological entities in the form of semantic associations as naturally possessed by the human cell. Objective: To develop aspect-oriented formal data integration model for semantically integrating heterogeneous and geographically dispersed omics annotations for providing exploratory querying on integrated data. Method: We propose an aspect-oriented formal data integration model which uses web semantics standards to formally specify its each construct. Proposed model supports aspect-oriented representation of biological entities while addressing the issues of data heterogeneity and global dispersion. It associates and warehouses biological entities in the way they relate with Result: To show the significance of proposed model, we developed a data warehouse and information retrieval system based on proposed model compliant multi-layered and multi-modular software architecture. Results show that our model supports well for gathering, associating, integrating, persisting and querying each entity with respect to its all possible aspects within or across the various associated omics layers. Conclusion: Formal specifications better facilitate for addressing data integration issues by providing formal means for understanding omics data based on meaning instead of syntax

scholarly journals Adversarial Specification Mining

2021 ◽  
Vol 30 (2) ◽  
pp. 1-40
Author(s):  
Hong Jin Kang ◽  
David Lo
Keyword(s):  
Specification Mining

Structuring formal specifications—a lesson relearned

1994 ◽  
Vol 18 (10) ◽  
pp. 593-599 ◽  
Author(s):  
Richard Mitchell ◽  
Martin Loomes ◽  
John Howse
Keyword(s):  
Formal Specifications

Formal Metamodeling for Secure Model-Driven Engineering

2021 ◽  
Vol 12 (2) ◽  
pp. 46-67
Author(s):  
Liliana Maria Favre
Keyword(s):  
Cloud Computing ◽  
Formal Specifications ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Transformation Rules ◽  
Systematic Development ◽  
Definition Of ◽  
Context Specific ◽  
Theoretical Foundations

Systems and applications aligned with new paradigms such as cloud computing and internet of the things are becoming more complex and interconnected, expanding the areas in which they are susceptible to attacks. Their security can be addressed by using model-driven engineering (MDE). In this context, specific IoT or cloud computing metamodels emerged to support the systematic development of software. In general, they are specified through semiformal metamodels in MOF style. This article shows the theoretical foundations of a method for automatically constructing secure metamodels in the context of realizations of MDE such as MDA. The formal metamodeling language Nereus and systems of transformation rules to bridge the gap between formal specifications and MOF are described. The main contribution of this article is the definition of a system of transformation rules called NEREUStoMOF for transforming automatically formal metamodeling specifications in Nereus to semiformal-MOF metamodels annotated in OCL.

Sign in / Sign up

Export Citation Format

Share Document