Foundation for Model Integration: Semantic Backplane

2012 ◽  
Author(s):  
Gabor Simko ◽  
Tihamer Levendovszky ◽  
Sandeep Neema ◽  
Ethan Jackson ◽  
Ted Bapty ◽  
...  
Keyword(s):  
Design Flow ◽  
Model Transformations ◽  
Model Integration ◽  
Mathematical Framework ◽  
Modeling Languages ◽  
Tool Chain ◽  
Model Based ◽  
Essential Properties ◽  
The Individual ◽  
Term Algebra

One of the primary goals of the Adaptive Vehicle Make (AVM) program of DARPA is the construction of a model-based design flow and tool chain, META, that will provide significant productivity increase in the development of complex cyber-physical systems. In model-based design, modeling languages and their underlying semantics play fundamental role in achieving compositionality. A significant challenge in the META design flow is the heterogeneity of the design space. This challenge is compounded by the need for rapidly evolving the design flow and the suite of modeling languages supporting it. Heterogeneity of models and modeling languages is addressed by the development of a model integration language – CyPhy – supporting constructs needed for modeling the interactions among different modeling domains. CyPhy targets simplicity: only those abstractions are imported from the individual modeling domains to CyPhy that are required for expressing relationships across sub-domains. This “semantic interface” between CyPhy and the modeling domains is formally defined, evolved as needed and verified for essential properties (such as well-formedness and invariance). Due to the need for rapid evolvability, defining semantics for CyPhy is not a “one-shot” activity; updates, revisions and extensions are ongoing and their correctness has significant implications on the overall consistency of the META tool chain. The focus of this paper is the methods and tools used for this purpose: the META Semantic Backplane. The Semantic Backplane is based on a mathematical framework provided by term algebra and logics, incorporates a tool suite for specifying, validating and using formal structural and behavioral semantics of modeling languages, and includes a library of metamodels and specifications of model transformations.

scholarly journals Category-Theoretic Formulation of the Model-Based Systems Architecting Cognitive-Computational Cycle

2021 ◽  
Vol 11 (4) ◽  
pp. 1945
Author(s):  
Yaniv Mordecai ◽  
James P. Fairbanks ◽  
Edward F. Crawley
Keyword(s):  
Programming Languages ◽  
Systems Engineering ◽  
System Architecture ◽  
Mathematical Framework ◽  
Conceptual System ◽  
Modeling Languages ◽  
Architecture Model ◽  
Concept Model ◽  
Model Based ◽  
Systems Architecting

We introduce the Concept→Model→Graph→View Cycle (CMGVC). The CMGVC facilitates coherent architecture analysis, reasoning, insight, and decision making based on conceptual models that are transformed into a generic, robust graph data structure (GDS). The GDS is then transformed into multiple views of the model, which inform stakeholders in various ways. This GDS-based approach decouples the view from the model and constitutes a powerful enhancement of model-based systems engineering (MBSE). The CMGVC applies the rigorous foundations of Category Theory, a mathematical framework of representations and transformations. We show that modeling languages are categories, drawing an analogy to programming languages. The CMGVC architecture is superior to direct transformations and language-coupled common representations. We demonstrate the CMGVC to transform a conceptual system architecture model built with the Object Process Modeling Language (OPM) into dual graphs and a stakeholder-informing matrix that stimulates system architecture insight.

scholarly journals Material Geometry of Binary Composites

Symmetry ◽  
2021 ◽  
Vol 13 (5) ◽  
pp. 892
Author(s):  
Marcelo Epstein
Keyword(s):  
Continuum Mechanics ◽  
Mathematical Framework ◽  
Double Groupoid ◽  
The Individual ◽  
Elastic Composites

The constitutive characterization of the uniformity and homogeneity of binary elastic composites is presented in terms of a combination of the material groupoids of the individual constituents. The incorporation of these two groupoids within a single double groupoid is proposed as a viable mathematical framework for a unified formulation of this and similar kinds of problems in continuum mechanics.

Teacher’s Corner: Toward a Coherent View of Reliability in Test Theory

1997 ◽  
Vol 22 (4) ◽  
pp. 478-484
Author(s):  
Heng Li ◽  
Howard Wainer
Keyword(s):  
Internal Consistency ◽  
Test Scores ◽  
General Framework ◽  
Test Theory ◽  
Mathematical Framework ◽  
Individual Character ◽  
The Individual ◽  
Reliability Coefficients

Reliability of test scores, as estimated through measures of internal consistency, has been characterized mathematically in many ways that appear, on the surface at least, to be very dissimilar to one another. In this essay we provide a general mathematical framework that specializes to four different reliability coefficients. Through consideration of this general framework it becomes easier to convey to students both the individual character of the different formulations of reliability and the extent of their underlying similarity. In addition to providing a coherent view of reliability, the unified formula is also found to be a convenient vehicle for introducing more specialized topics, such as the Kaiser-Guttman rule.

scholarly journals Examination of Future Psychologists Empathy Level

2019 ◽  
Vol 39 (1) ◽  
pp. 13-17
Author(s):  
S. Dmitrieva ◽  
O. Machushnyk
Keyword(s):  
Moral Development ◽  
Interpersonal Relations ◽  
Value Orientations ◽  
Successful Implementation ◽  
Prosocial Behaviour ◽  
Essential Properties ◽  
The Individual ◽  
Further Development ◽  
Different Levels

In current conditions, the priority of young people's preparation for life and work is especially important. Consequently, the requirements for the training of a future psychologist are also changing. One of the essential properties of a psychologist, necessary for the successful implementation of their activities, is empathy. The problem of empathy is one of the most difficult psychological sciences. The implacability of this phenomenon for researchers confirms the diversity in the definitions of its essence, mechanisms, functions, the role of empathy in the personality moral development, prosocial behaviour, altruism, and others like that. The presence of the appropriate level of empathic properties of students-psychologists acts as a condition for the formation of their professional compliance. Subjective factors of empathy formation: value sphere of personality, type of interpersonal relations, level of self-centeredness, type of accentuation of character, types of attitudes to different spheres of life, level of subjective control. Therefore, in the article, empathy development is studied in students who get a psychologist's degree. It is determined that in general subjects have average empathy level. By dividing students into groups, according to their level of empathy, it has been established that different value orientations characterize boys with different levels of empathy. It is determined that the overwhelming majority of respondents have a mean self-centeredness level. It was found that the obtained data provide an opportunity for further development of empathy among students. As a result of our research, we are convinced that the objective factors for the formation of empathy are: the perception of other people, the maturity of the individual. Our research is not exhaustive; our further development will concern the deepening of the ideas about the empathy component of the personality of the future psychologist and the methods of its development.  

Values, Constraints, and Maneuvers

2021 ◽  
pp. 170-191
Author(s):  
Tehila Kalagy
Keyword(s):  
Higher Education ◽  
Case Studies ◽  
Flow Model ◽  
Traditional Values ◽  
Academic Institutions ◽  
Female Model ◽  
Model Based ◽  
Education Academic ◽  
The Individual ◽  
High Degree

For about a decade, ultra-Orthodox and Bedouin women have been applying to higher education academic institutions in Israel in order to study despite bans from their conservative communities. Academic studies instill learning and culture, create an encounter with knowledge for the individual and thus carry a high degree of threat to the rigid conservative enclave. This article examines how conservative societies cope with the wheels of change as the process of higher education for women expands. The case studies in this article are 60 educated women from Jewish ultra-Orthodox society and from Negev Bedouin groups in Israel. As shown by the findings, a theoretical flow model based on three parameters emerges: value-constraint-maneuver. In summary, it appears that this model reflects the development of a new conservative female model that combines traditional values with contemporary indicators.

scholarly journals A Bayesian model integration for mutation calling through data partitioning

2019 ◽  
Vol 35 (21) ◽  
pp. 4247-4254 ◽  
Author(s):  
Takuya Moriyama ◽  
Seiya Imoto ◽  
Shuto Hayashi ◽  
Yuichi Shiraishi ◽  
Satoru Miyano ◽  
...  
Keyword(s):  
Hierarchical Model ◽  
Bayesian Model ◽  
Information Sources ◽  
Tumor Model ◽  
Bayesian Hierarchical Model ◽  
Generative Models ◽  
Error Model ◽  
Model Integration ◽  
Bayesian Hierarchical ◽  
Model Based

Abstract Motivation Detection of somatic mutations from tumor and matched normal sequencing data has become among the most important analysis methods in cancer research. Some existing mutation callers have focused on additional information, e.g. heterozygous single-nucleotide polymorphisms (SNPs) nearby mutation candidates or overlapping paired-end read information. However, existing methods cannot take multiple information sources into account simultaneously. Existing Bayesian hierarchical model-based methods construct two generative models, the tumor model and error model, and limited information sources have been modeled. Results We proposed a Bayesian model integration framework named as partitioning-based model integration. In this framework, through introducing partitions for paired-end reads based on given information sources, we integrate existing generative models and utilize multiple information sources. Based on that, we constructed a novel Bayesian hierarchical model-based method named as OHVarfinDer. In both the tumor model and error model, we introduced partitions for a set of paired-end reads that cover a mutation candidate position, and applied a different generative model for each category of paired-end reads. We demonstrated that our method can utilize both heterozygous SNP information and overlapping paired-end read information effectively in simulation datasets and real datasets. Availability and implementation https://github.com/takumorizo/OHVarfinDer. Supplementary information Supplementary data are available at Bioinformatics online.

On Developing Hybrid Modeling Methods using Metamodeling Platforms

2015 ◽  
Vol 6 (1) ◽  
pp. 47-66
Author(s):  
Srdjan Zivkovic ◽  
Krzystof Miksa ◽  
Harald Kühn
Keyword(s):  
Complex Systems ◽  
Hybrid Modeling ◽  
Modeling Languages ◽  
Modeling Tools ◽  
Analysis And Design ◽  
Domain Specific ◽  
Modeling Methods ◽  
Model Based ◽  
Domain Specific Modeling ◽  
Specific Modeling

It has been acknowledged that model-based approaches and domain-specific modeling (DSM) languages, methods and tools are beneficial for the engineering of increasingly complex systems and software. Instead of general-purpose one-size-fits-all modeling languages, DSM methods facilitate model-based analysis and design of complex systems by providing modeling concepts tailored to the specific problem domain. Furthermore, hybrid DSM methods combine single DSM methods into integrated modeling methods, to allow for multi-perspective modeling. Metamodeling platforms provide flexible means for design and implementation of such hybrid modeling methods and appropriate domain-specific modeling tools. In this paper, we report on the conceptualization of a hybrid DSM method in the domain of network physical devices management, and its implementation based on the ADOxx metamodeling platform. The method introduces a hybrid modeling approach. A dedicated DSM language (DSML) is used to model the structure of physical devices and their configurations, whereas the formal language for knowledge representation OWL2 is used to specify configuration-related constraints. The outcome of the work is a hybrid, semantic technology-enabled DSM tool that allows for efficient and consistency-preserving model-based configuration of network equipment.

Sign in / Sign up

Export Citation Format

Share Document