Concept
Operational semantics
Related publications (93)
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP
Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...
Elsevier2015Towards A Unified Language for RDF Stream Query Processing
In recent years, several RDF Stream Processing (RSP) systems have emerged, which allow querying RDF streams using extensions of SPARQL that include operators to take into account the velocity of this data. These systems are heterogeneous in terms of syntax ...
2015Semantic Data Layers in Air Quality Monitoring for Smarter Cities
Karl Aberer, Julien Eberle, Jean Paul Calbimonte Perez
Air pollution is one of the key indicators for quality of life in urban environments, and is also the subject of global health concern, given the number of mortal diseases associated to exposure to pollutants. Assessing and monitoring air quality is an imp ...
2015A Theory Agenda for Component-Based Design
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open problems and discuss further research directions. The focus is on proposing a sem ...
Springer International Publishing2015An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
We discuss the challenges of building a simulation framework for hybrid systems, in particular the well-known Zeno effect and correct composition of models idealised by abstracting irrelevant behavioural details (e.g. the bounce dynamics of a bouncing ball ...
Linköping University Electronic Press, Linköpings universitet2014RSP-QL Semantics: a Unifying Query Model to Explain Heterogeneity of RDF Stream Processing Systems
RDF and SPARQL are established standards for data interchange and querying on the Web. While they have been shown to be useful and applicable in many scenarios, they are not sufficiently adequate for dealing with streams of data and their intrinsic continu ...
2014Offer Semantics: Achieving Compositionality, Flattening and Full Expressiveness for the Glue Operators in BIP
Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...
2014Reusable Concurrent Data Types
Rachid Guerraoui, Vincent Gramoli
This paper contributes to address the fundamental challenge of building Concurrent Data Types (CDT) that are reusable and scalable at the same time. We do so by proposing the abstraction of Polymorphic Transactions (PT): a new programming abstraction that ...
2014Reversible Sesqui-Pushout Rewriting, Graph Transformation
The paper proposes a variant of sesqui-pushout rewriting (SqPO) that allows one to develop the theory of nested application conditions (NACs) for arbitrary rule spans; this is a considerable generalisation compared with existing results for NACs, which onl ...
Springer2014Architectures: Design patterns for component-based systems
Architectures depict design principles, paradigms that can be understood by all, allow thinking on a higher plane and avoiding low-level mistakes. They provide means for ensuring correctness by construction by enforcing global properties characterizing the ...
2014