scholarly journals A Translation of UML Components into Formal Specifications

2003 ◽  
pp. 60-75
Author(s):  
Liang Peng ◽  
Annya Romanczuk ◽  
Jean-Claude Royer
Keyword(s):  
Formal Specifications

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

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.

Experience with Formal Specifications Using an Extended State Transition Model

1982 ◽  
Vol 30 (12) ◽  
pp. 2506-2513 ◽  
Author(s):  
G. Bochmann ◽  
E. Cerny ◽  
M. Gagne ◽  
C. Jard ◽  
A. Leveille ◽  
...  
Keyword(s):  
State Transition ◽  
Transition Model ◽  
Formal Specifications ◽  
Extended State ◽  
State Transition Model

TEMPORAL GENERALIZATION WITH DOMAIN GENERALIZATION GRAPHS

1999 ◽  
Vol 13 (02) ◽  
pp. 195-217 ◽  
Author(s):  
D. J. RANDALL ◽  
H. J. HAMILTON ◽  
R. J. HILDERMAN
Keyword(s):  
Partial Order ◽  
Relational Databases ◽  
Formal Specifications ◽  
Temporal Data ◽  
Calendar Date ◽  
Temporal Generalization ◽  
Domain Generalization Graphs

This paper addresses the problem of using domain generalization graphs to generalize temporal data extracted from relational databases. A domain generalization graph associated with an attribute defines a partial order which represents a set of generalization relations for the attribute. We propose formal specifications for domain generalization graphs associated with calendar (date and time) attributes. These graphs are reusable (i.e. can be used to generalize any calendar attributes), adaptable (i.e. can be extended or restricted as appropriate for particular applications), and transportable (i.e. can be used with any database containing a calendar attribute).

Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

2002 ◽  
pp. 57-76 ◽  
Author(s):  
Juan C. Burguillo-Rial ◽  
Manuel J. Fernández-Iglesias ◽  
Francisco J. González-Castaño ◽  
Martín Llamas-Nistal
Keyword(s):  
Test Case ◽  
Formal Specifications ◽  
Test Case Selection ◽  
Case Selection
Sign in / Sign up

Export Citation Format

Share Document