Eclipse modeling Plugin for context-driven meta-modeling (CDMM-Meta-Modeler)

The novel and crucial point of this paper is the illustration of the application of close ontology based meta-modeling to defining the open ontology based construction of modeling languages (meta-models). This approach is a generalization of Object Management Group (OMG) standards related to Model Driven Architecture (MDA). The existing modeling tools supporting the traditional approach can be reused when open ontology based meta-modeling tools are implemented. This paper describes Context-Driven Meta-Modeling Meta-Modeler (CDMM-Meta-Modeler) ‒ the Eclipse Plugin that constitutes such an open ontology based meta-modeling tool. The tool constitutes an implementation of the diagramming aspect for the Context-Driven Meta-Modeling Framework (CDMM-F), which is one of several possible implementations of the Context-Driven Meta-Modeling Paradigm (CDMM-P)

Context-Driven Meta-Modeling framework (CDMM-F) ‒ context role

This paper introduces an implementation of the Context-Driven Meta-Modeling Paradigm (CDMM-P). This implementation is the proof of concept for the CDMM-P as it shows that the idea of the CDMM-P is feasible. The software system presented here takes the form of the Context-Driven Meta-Modeling Framework (CDMM-F). This framework plays the key role in the Context-Driven Meta-Modeling Technology (CDMM-T) dedicated to generating software system artifacts in a model-driven manner. In contrast to all contemporary approaches to meta-modeling, the meta-model is dynamically loaded from the application context file. In result, the framework has a self-organizing structure and the modeling language does not have a fixed hardcoded predefined structure. This structure, as well as the set of meta-model elements, plays the role of the parameter for the general modeling tool, a part of which is presented in this paper

The smashHitCore Ontology for GDPR-Compliant Sensor Data Sharing in Smart Cities

The adoption of the General Data Protection Regulation (GDPR) has resulted in a significant shift in how the data of European Union citizens is handled. A variety of data sharing challenges in scenarios such as smart cities have arisen, especially when attempting to semantically represent GDPR legal bases, such as consent, contracts and the data types and specific sources related to them. Most of the existing ontologies that model GDPR focus mainly on consent. In order to represent other GDPR bases, such as contracts, multiple ontologies need to be simultaneously reused and combined, which can result in inconsistent and conflicting knowledge representation. To address this challenge, we present the smashHitCore ontology. smashHitCore provides a unified and coherent model for both consent and contracts, as well as the sensor data and data processing associated with them. The ontology was developed in response to real-world sensor data sharing use cases in the insurance and smart city domains. The ontology has been successfully utilised to enable GDPR-complaint data sharing in a connected car for insurance use cases and in a city feedback system as part of a smart city use case

A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Almost every programming language's syntax includes a notion of binder and corresponding bound occurrences, along with the accompanying notions of alpha-equivalence, capture-avoiding substitution, typing contexts, runtime environments, and so on. In the past, implementing and reasoning about programming languages required careful handling to maintain the correct behaviour of bound variables. Modern programming languages include features that enable constraints like scope safety to be expressed in types. Nevertheless, the programmer is still forced to write the same boilerplate over again for each new implementation of a scope safe operation (e.g., renaming, substitution, desugaring, printing, etc.), and then again for correctness proofs. We present an expressive universe of syntaxes with binding and demonstrate how to (1) implement scope safe traversals once and for all by generic programming; and (2) how to derive properties of these traversals by generic proving. Our universe description, generic traversals and proofs, and our examples have all been formalised in Agda and are available in the accompanying material available online at https://github.com/gallais/generic-syntax

A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs

Almost every programming language’s syntax includes a notion of binder and corresponding bound occurrences, along with the accompanying notions of α-equivalence, capture avoiding substitution, typing contexts, runtime environments, and so on. In the past, implementing and reasoning about programming languages required careful handling to maintain the correct behaviour of bound variables. Modern programming languages include features that enable constraints like scope safety to be expressed in types. Nevertheless, the programmer is still forced to write the same boilerplate over again for each new implementation of a scope safe operation (e.g., renaming, substitution, desugaring, printing, etc.), and then again for correctness proofs. We present an expressive universe of syntaxes with binding and demonstrate how to (1) implement scope safe traversals once and for all by generic programming; and (2) how to derive properties of these traversals by generic proving. Our universe description, generic traversals and proofs, and our examples have all been formalised in Agda and are available in the accompanying material

OPPO: An Ontology for Describing Fine-Grained Data Practices in Privacy Policies of Online Social Networks

Privacy policies outline the data practices of Online Social Networks (OSN) to comply with privacy regulations such as the EU-GDPR and CCPA. Several ontologies for modeling privacy regulations, policies, and compliance have emerged in recent years. However, they are limited in various ways: (1) they specifically model what is required of privacy policies according to one specific privacy regulation such as GDPR; (2) they provide taxonomies of concepts but are not sufficiently axiomatized to afford automated reasoning with them; and (3) they do not model data practices of privacy policies in sufficient detail to allow assessing the transparency of policies. This paper presents an OWL Ontology for Privacy Policies of OSNs, OPPO, that aims to fill these gaps by formalizing detailed data practices from OSNS' privacy policies. OPPO is grounded in BFO, IAO, OMRSE, and OBI, and its design is guided by the use case of representing and reasoning over the content of OSNs' privacy policies and evaluating policies' transparency in greater detail.Comment: 14 Pages, 6 figures, Ontology Showcase and Demonstrations Track, 9th Joint Ontology Workshops (JOWO 2023), co-located with FOIS 2023, 19-20 July, 2023, Sherbrooke, Quebec, Canad

Law and Language in the Middle Ages

Law and Language in the Middle Ages investigates the relationship between law and legal practice from the linguistic perspective, exploring not only how legal language expresses and advances power relations but also how the language of law legitimates power.; Readership: With its disciplinary approach, and chronological and geographical range, this volume will be of interest to scholars and students of law, history, medieval languages, translation studies and digital humanities