A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Nivel: a metamodelling language with a formal semantics
2008
Journal of Software and Systems Modeling
Preserved Fulltext
A formal semantics is given for Nivel by translation to weight constraint rule language (WCRL), which enables decidable, automated reasoning about Nivel. ...
In this paper, we strive to add semantic rigour and conceptual clarity to metamodelling through the introduction of Nivel, a novel metamodelling language capable of expressing models spanning an arbitrary ...
Finally, it is particularly useful to give a formal semantics to a metamodelling language: a metamodel, when viewed as a modelling language, expressed in the metamodelling language is given at least a ...
doi:10.1007/s10270-008-0103-2
fatcat:gpta355sgnhsfnamulif6qnmui
Editorial to the theme issue on metamodelling
2009
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Acknowledgments I thank Colin Atkinson with whom I had the pleasure to start venturing into metamodelling land. I am grateful to the Editors-in-Chief for suggesting a theme issue on Metamodelling. ...
In Nivel: A Metamodelling Language with a Formal Semantics, Timo Asikainen and Tomi Männistö propose such a language and define its semantics by mapping it to the Weight Constraint Rule Language. ...
To date no single language with a formal semantics has combined all these extensions. ...
doi:10.1007/s10270-009-0124-5
fatcat:meslw2dojjc3zpua3va7lzmmr4
Semantic Equations for Formal Models in the Model-Driven Architecture
[chapter]
2010
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In a previous work, we have extended the Model-Driven Architecture (MDA) four-layer proposal of architecture in order to incorporate formal semantics to its artifacts. ...
As a result, we automatically generate semantic models from the syntactic models involved in the MDA transformations. ...
using Petri nets models), funded by FCT -Fundação para a Ciência e a Tecnologia (Portugal) and CAPES -Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Brazil) (http://www.uninova.pt/~mda-veritas ...
doi:10.1007/978-3-642-11628-5_27
fatcat:yoa3tzmgm5gsplvpqs7hhovgyu
Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471)
2019
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In particular, some open questions will be touched upon,which will be dealt with before a follow-up seminar. ...
In addition, the report contains abstracts of thenumerous talks presented during the seminar as well as a summary of the discussions held inworking groups during the seminar. ...
Finally, we try to align our work with the overall Dagstuhl-theme of languages for conceptual modeling. ...
doi:10.4230/dagrep.8.11.63
dblp:journals/dagstuhl-reports/MayrRRS18
fatcat:kx4ejadbmvcsthqhgjv3vbqv44
Enterprise Engineering - A New Organizational Discipline (2)
2006
Informatică economică
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
As a consequence, a new discipline has evolved, enterprise engineering, to deal with enterprise architectures. ...
This paper continues a series of articles that will provide an overview of frameworks, metamodels and technologies available today for enterprise engineering. ...
Modeling Language proceselor economice. ...
doaj:8d66e0e46af94be1b6275877ca7b36b2
fatcat:zvhlbnl4unatnldtcojuzzwo4y
Towards the Adoption of OMG Standards in the Development of SOA-Based IoT Systems
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Aiming to deal with such a degree of heterogeneity, several frameworks have applied the Model-Driven Development (MDD) to build IoT applications. ...
Furthermore, although existing MDD frameworks provide modeling languages comprising well-defined syntax, they lack execution semantics, thus, are not suitable for model execution and analysis. ...
Acknowledgments This study was partially supported by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior -Brasil ...
arXiv:2007.01713v1
fatcat:ygz7zedfeffhtekppr7cozspqm
Towards a Domain-Specific Language to Design Adaptive Software: the DMLAS Approach
2016
Ingeniería y Universidad
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
First, there is a lack of languages to specify, unambiguously, the elements related to the design phase. ...
To address the above issues, this paper proposes DMLAS, a Domain-Specific Language (DSL) to design adaptive systems. ...
Figure 4 depicts the first part or the process metamodel. The main concept in this metamodel is the ComputationNode, which is analogous to a function in traditional programming languages. ...
doi:10.11144/javeriana.iyu20-2.tdsl
fatcat:zgcdying5bfnfkflg7gagivl6y
Ontologia Probabilística para Auxiliar na Recuperação de Modelos Biológicos
2012
Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The Cell Component Ontology (CelO), an ontology expressed in OWL-DL that describes semantically biological models associated with the context of electrophysiology, has no support for dealing with uncertainty ...
em XML (eXtensible Markup Language) [Bray et al. 2000 ] criada especificamente com o propósito de descrever variáveis, equações e componentes de modelos biológicos de maneira formal, sem ambiguidades, ...
A ideia é que a RB gerada após estas etapas represente o conhecimento probabilístico codificado por uma ontologia tanto em nível de conceito como em nível de instância e, quando associado à ontologia CelO ...
dblp:conf/ontobras/PereiraR12
fatcat:2tt3h2o7xngbzon7d7jx52jupy
Neurosymbolic Systems of Perception Cognition: The Role of Attention
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The more varied the environment of a learning agent is, the more general and flexible must be these mechanisms to handle a wider variety of relevant patterns, tasks, and goal structures. ...
A binary processing architecture (often referred to as System-1 and System-2) has been proposed as a model of cognitive processing for low- and high-level information, respectively. ...
The symbolic piece of the metamodel can be thought of as a knowledge graph with some additional structure that includes both a formalized means of handling anti-symmetric and symmetric relations, as well ...
arXiv:2112.01603v1
fatcat:g5iphl7vvnhihfebgrtppqv4cu
Uma Ontologia de Engine de Jogos Educativos para Crianças com Necessidades Visuais: Fase de Preparação
2011
Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper presents preliminary results of a end of course work from a computer engineering's student (EComp), which aims to develop an ontology engine for educational games for children with visual needs ...
A Ontology Web Language (OWL) apresenta como principais elementos para a construção de uma ontologia: (1) Namespaces: são declarações que permitem que os identificadores que estão presentes na ontologia ...
Escolhas metodológicas para o desenvolvimento da ontologia Para o desenvolvimento da ontologia de engine de jogos eletrônicos educativos para pessoas cegas, utilizaram-se a Ontology Web Language (OWL) ...
dblp:conf/ontobras/RodriguesPSLB11
fatcat:yo26aqkz5rdtjpqdi2tsnh7qr4
Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic
2016
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Syntax and semantics of DDM are formalized and implemented in F-Logic, supporting the modeler with integrity checks and rich query facilities. Communicated by Prof. ...
Examples are presented using a UML-style notation for DDM together with UML class and object diagrams for the representation of two-level user views derived from the multi-level model. ...
Appendix: Complete formalization of DDM in F-Logic The formalization of DDM in F-Logic, which was developed and tested with version 0.99.5 of Flora-2, together with examples, is available at http://multilevelmodeling.net ...
doi:10.1007/s10270-016-0519-z
pmid:29449797
pmcid:PMC5807479
fatcat:iaqkwrcepngz5opsklmuj3l5pe
Neurosymbolic Systems of Perception and Cognition: The Role of Attention
2022
Frontiers in Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The more varied the environment of a learning agent is, the more general and flexible must be these mechanisms to handle a wider variety of relevant patterns, tasks, and goal structures. ...
A dual processing architecture (often referred to as System-1 and System-2) has been proposed as a model of cognitive processing, and they are often considered as responsible for low- and high-level information ...
The symbolic piece of the metamodel can be thought of as a knowledge graph with some additional structure that includes both a formalized means of handling anti-symmetric and symmetric relations, as well ...
doi:10.3389/fpsyg.2022.806397
pmid:35668960
pmcid:PMC9163389
fatcat:2we6o4nahvholg2yh3uolcw5ku
Clafer: unifying class and feature modeling
2014
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We provide the language with a formal semantics built in a structurally-explicit way. ...
We present Clafer (class, feature, reference), a class modeling language with first-class support for feature modeling. ...
Nivel is a meta-modeling language, which was applied to define feature and class modeling languages [5] . ...
doi:10.1007/s10270-014-0441-1
fatcat:ayra3g73mjggbdcux4s7n4esmy
Um Modelo de Notações Customizáveis para Representação de Ontologias(A Customizable Notations Model for Representing Ontologies)
2019
Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The present work is developed in partnership with Embrapa Meio Ambiente. ...
The objective of this work is the improvement of the visual interfaces of ontology editors, suggesting a model of customizable notations. ...
Introduc ¸ão [Gruber 1993 ] afirma que a ontologia é uma especificac ¸ão formal e explícita de uma conceitualizac ¸ão compartilhada. ...
dblp:conf/ontobras/LimeiraM19
fatcat:kvephllsvvflflugb2lb4pwjse
Dual Deep Instantiation and Its ConceptBase Implementation
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Deep instantiation still demands a clear separation of instantiation levels: the source and target objects of a relationship must be at the same instantiation level. ...
In this paper, we present and implement set-theoretic predicates and axioms for the representation of conceptual models with DDI. ...
The modeling language Nivel [2] provides a formal semantics for deep instantiation. ...
doi:10.1007/978-3-319-07881-6_34
fatcat:izjl2ggfcradret5s7vczlmjk4
« Previous
Showing results 1 — 15 out of 54 results