Filters








10,648 Hits in 4.7 sec

Handling behavioral semantics in persistent meta-modeling systems

Youness Bazhar
2012 2012 Sixth International Conference on Research Challenges in Information Science (RCIS)  
We use this example as a case study to show the need of handling behavioral semantics in PMMSs.  ...  Thus, we first enrich the meta-schema to handle (a) class dependencies, and (b) operations expressing behavioral semantics of non canonical concepts.  ...  Keywords : metamodeling, model management, structural and descriptive semantics, behavioral semantics, model repository, model persistence. 157 Handling Behavioral Semantics in Persistent Metamodeling  ... 
doi:10.1109/rcis.2012.6240459 dblp:conf/rcis/Bazhar12 fatcat:pr6uewtluraajn2fzs3higda2i

Persistent Meta-Modeling Systems as Heterogeneous Model Repositories [chapter]

Youness Bazhar, Yassine Ouhammou, Yamine Aït-Ameur, Emmanuel Grolleau, Stéphane Jean
2013 Lecture Notes in Computer Science  
In this context, Persistent Meta-Modeling Systems (PMMS) have been proposed as database environments dedicated to meta-modeling and model management.  ...  Model persistence has always been one of the major interests of the model-driven development community.  ...  Extending Persistent Meta-Modeling Systems with Behavioral Semantics In order to handle behavioral semantics in PMMS, we have extended the meta meta-model supported by the OntoDB/OntoQL PMMS with the concepts  ... 
doi:10.1007/978-3-642-41366-7_3 fatcat:xuadgwc2ffaotmf6h4nqpzcqcq

MetaJava — A Platform for Adaptable Operating-System Mechanisms [chapter]

Jürgen Kleinöder, Michael Golm
1998 Lecture Notes in Computer Science  
Structuring a system in base level and meta level opens the implementation of operating-system services.  ...  Operating-system and run-time services are implemented by meta objects which can be replaced by other meta objects if the application requires this.  ...  In our reflective model the system consists of a meta system and the application program (the base system). The program may not be aware of the meta system.  ... 
doi:10.1007/3-540-69687-3_91 fatcat:oh6lakzghrck5p25pkclhe3hue

TIGUKAT: A uniform behavioral objectbase management system

M. Tamer �zsu, Randal Peters, Duane Szafron, Boman Irani, Anna Lipka, Adriana Mu�oz
1995 The VLDB journal  
Everything in the system, including types, classes, collections, behaviors, functions as well as meta-information, is a rst-class object with well-de ned behavior.  ...  Everything in the system, including types, classes, collections, behaviors, functions and meta-information, is a rst-class object with well-de ned behavior.  ...  The reason is that the query model incorporates the behavioral paradigm of the object model and since the meta-system is uniformly represented by objects with well-de ned behaviors, the meta-objects can  ... 
doi:10.1007/bf01231644 fatcat:mjzkthpxnnfcda4n3lvy4nu7d4

An Implementation of the Behavior Annex in the AADL-Toolset Osate2

Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage
2011 2011 16th IEEE International Conference on Engineering of Complex Computer Systems  
The same technologies used to define the AADL and the AADL-BA meta-models ease the navigation across both meta-models and the production of a unique persistent XMI representation (AADL model+behavior elements  ...  In the following we give the main rules: R1: Behavior concepts with strong semantics and concrete textual representation (e.g, a BNF) are mapped to meta-model EClass (e.g, a java class).  ... 
doi:10.1109/iceccs.2011.39 dblp:conf/iceccs/LasnierPHW11 fatcat:45vzd5dh7vf2lm2566ptd7b6am

On agents and grids: Creating the fabric for a new generation of distributed intelligent systems

Y GIL
2006 Journal of Web Semantics  
The semantic grid is the result of semantic web and grid researchers building bridges in recognition of the shared vision and research agenda of both fields.  ...  Because semantic grids represent and reason about knowledge declaratively, additional capabilities typical of agents are then possible including learning, planning, self-repair, memory organization, meta-reasoning  ...  This research was supported in part by the National Science Foundation's Shared Cyberinfrastructure program under grant SCI-0455361, and in part by an internal grant from USC's Information Sciences Institute  ... 
doi:10.1016/j.websem.2006.03.002 fatcat:n2seqse7inff5c7nr2vd6kpxhi

Extending Ontology-Based Databases with Behavioral Semantics [chapter]

Youness Bazhar, Chedlia Chakroun, Yamine Aït-Ameur, Ladjel Bellatreche, Stéphane Jean
2012 Lecture Notes in Computer Science  
Indeed, these solutions are internal to the OBDB and specific to the ontology model (formalism) supported.  ...  These operators can be implemented in different ways (e.g. with external programs or with web services).  ...  As perspectives, we expect to use this approach to perform model transformations and derivations in a persistent environment and to address scalability issues.  ... 
doi:10.1007/978-3-642-33615-7_31 fatcat:xdttxql72jhqlb6xhg4yczbocy

On Agents and Grids: Creating the Fabric for a New Generation of Distributed Intelligent Systems

Yolanda Gil
2006 Social Science Research Network  
The semantic grid is the result of semantic web and grid researchers building bridges in recognition of the shared vision and research agenda of both fields.  ...  Because semantic grids represent and reason about knowledge declaratively, additional capabilities typical of agents are then possible including learning, planning, self-repair, memory organization, meta-reasoning  ...  This research was supported in part by the National Science Foundation's Shared Cyberinfrastructure program under grant SCI-0455361, and in part by an internal grant from USC's Information Sciences Institute  ... 
doi:10.2139/ssrn.3199331 fatcat:6uwn2cofu5bobbogv73d4ft2be

Domain Globalization: Using Languages to Support Technical and Social Coordination [chapter]

Julien Deantoni, Cédric Brun, Benoit Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
2015 Lecture Notes in Computer Science  
When a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system.  ...  Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system.  ...  In this case a directly associated challenge would be to understand what kind of meta-languages can describe the behavioral semantics of one language.  ... 
doi:10.1007/978-3-319-26172-0_5 fatcat:rrm4sockgfcizdfenrq4swagfi

Development of a Meta-language and its Qualifiable Implementation for the Use in Safety-critical Software [article]

Vanessa Tietz
2021 arXiv   pre-print
However, no existing (meta-)modeling framework can be used with reasonable effort in certified software so far, neither for the development of systems nor for the execution of system functions.  ...  The framework components considered in this PhD-Thesis include: (1) an essential meta-language, (2) a qualifiable runtime environment, and (3) a suitable persistence.  ...  (Meta-)modeling frameworks can be used in the development of (cyberphysical) systems as well as in software for the execution of system functions handling complex data structures.  ... 
arXiv:2111.04322v1 fatcat:w7b62pndnnhcjjapb2mxi2amby

Semantic data markets

Roberto De Virgilio, Giorgio Orsi, Letizia Tanca, Riccardo Torlone
2011 Proceedings of the 20th ACM international conference on Information and knowledge management - CIKM '11  
Nyaya is easily extensible and robust to updates of both data and meta-data in the kiosk and can readily adapt to different logical organization of the persistent storage.  ...  Nyaya uniformly exposes the native meta-data of each kiosk using the Datalog ± language, a powerful rulebased modelling language for ontological databases.  ...  In [10] we reported in detail performance evaluation of each query. We omit the results for LUBM because the systems present a similar behavior.  ... 
doi:10.1145/2063576.2063800 dblp:conf/cikm/VirgilioOTT11 fatcat:w2b43ihepfeovijpqa3qjzpo4e

Reective Authorization Systems [chapter]

Massimo Ancona, Walter Cazzola, Eduardo B. Fernandez
1998 Lecture Notes in Computer Science  
A reflective approach for modeling and implementing authorization systems is presented.  ...  To this respect, it is useful to consider also reflection granularity [1] , that is, the minimal entity in a software system for which a reflective model defines a different meta-behavior.  ...  In most systems authorization is defined with respect to persistent data and enforced by the DBMS and/or operating system.  ... 
doi:10.1007/3-540-49255-0_62 fatcat:3wkhvnrtszbafjilkscdntvkhy

Logic Programming with Defaults and Argumentation Theories [chapter]

Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009 Lecture Notes in Computer Science  
We present a model-theoretic semantics and study its reducibility and well-behavior properties.  ...  The framework and its Courteous family instantiation were implemented as an extension to the FLORA-2 system.  ...  , and modality; knowledge provenance and navigational meta-data; and Semantic Web data models.  ... 
doi:10.1007/978-3-642-02846-5_35 fatcat:nljjvi3p6zhxxp47gnyzkt6pky

A Model–Based Design Methodology with Contracts to Enhance the Development Process of Safety–Critical Systems [chapter]

Andreas Baumgart, Philipp Reinkemeier, Achim Rettberg, Ingo Stierand, Eike Thaden, Raphael Weber
2010 Lecture Notes in Computer Science  
The meta-model of Heterogeneous Rich Component (HRC) is extended to a Common System Meta-Model (CSM) that benefits from the semantic foundation of HRC and provides analysis techniques such as compatibility  ...  In this paper a new methodology to support the development process of safety-critical systems with contracts is described.  ...  Especially the realize and allocate relations deserve more in-depth research in the future since they hold the key to a persistent system design process. Fig. 1 . 1 HRC meta-model cut-out.  ... 
doi:10.1007/978-3-642-16256-5_8 fatcat:7jk7vzsxkzeflciu4uol3wbybe

A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models

Mark Allison, Peter J. Clarke, Xudong He
2015 Procedia Computer Science  
An alternative is to realize behavior directly by executing the models using a specialized interpreter.  ...  Existing interpreters for i-DSMLs exhibit tight coupling between the implicit model of execution (MoE) and the semantics of the domain.  ...  Similar contemporary approaches do not allow for the execution semantics to be defined in relation to the meta-model in a reusable manner even though the semantic domain is an extension of the abstract  ... 
doi:10.1016/j.procs.2015.08.521 fatcat:uiottmlxzjf5ljfjy3h7s5dkwu
« Previous Showing results 1 — 15 out of 10,648 results