Filters








54 Hits in 5.8 sec

Nivel: a metamodelling language with a formal semantics

Timo Asikainen, Tomi Männistö
2008 Journal of Software and Systems Modeling  
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

Thomas Kühne
2009 Journal of Software and Systems Modeling  
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]

Paulo Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antônio Junior
2010 IFIP Advances in Information and Communication Technology  
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)

Heinrich C. Mayr, Sudha Ram, Wolfgang Reisig, Markus Stumptner, Michael Wagner
2019 Dagstuhl Reports  
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)

Liviu Gabriel CRETU
2006 Informatică economică  
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]

Bruno Costa, Paulo F. Pires, Flavia C. Delicato
2020 arXiv   pre-print
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

José Joaquín Bocanegra García, Jaime Andrés Pavlich Mariscal, Angela Cristina Carrillo Ramos
2016 Ingeniería y Universidad  
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

Wladimir Pereira, Kate Revoredo
2012 Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies  
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]

Hugo Latapie, Ozkan Kilic, Kristinn R. Thorisson, Pei Wang, Patrick Hammer
2021 arXiv   pre-print
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

Romário P. Rodrigues, Gabriela R. P. R. Pinto, Cláudia P. P. Sena, Expedito Carlos Lopes, Teresinha F. Burnham
2011 Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies  
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

Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, Michael Schrefl
2016 Journal of Software and Systems Modeling  
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

Hugo Latapie, Ozkan Kilic, Kristinn R. Thórisson, Pei Wang, Patrick Hammer
2022 Frontiers in Psychology  
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

Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, Andrzej Wąsowski
2014 Journal of Software and Systems Modeling  
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)

Wander Limeira, Dilvan Abreu Moreira
2019 Joint Seminar on Ontology Research in Brazil / International Workshop on Metamodels, Ontologies and Semantic Technologies  
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]

Bernd Neumayr, Manfred A. Jeusfeld, Michael Schrefl, Christoph Schütz
2014 Lecture Notes in Computer Science  
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