• GROOVE

  • Referenced in 50 articles [sw09480]
  • object-oriented systems, and graph transformations as a basis for model transformation and operational semantics...
  • OMT-G

  • Referenced in 9 articles [sw02654]
  • model for geographic applications. Semantic and object-oriented data models, such ... applications. Despite their semantic expressiveness, such models present limitations to adequately model those applications, since ... data. This paper presents OMT-G, an object oriented data model for geographic applications...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • especially designed for querying and transforming RDF models. TRIPLE can be viewed as a successor ... TRIPLE does not have a fixed semantics for object-oriented features like classes and inheritance ... easily defined for different object-oriented and other data models like UML, Topic Maps ... rule language. This paper sketches syntax and semantics of TRIPLE...
  • ABS

  • Referenced in 26 articles [sw21211]
  • feature combination results in a concurrent object-oriented model which is inherently compositional. We discuss ... formalize the type system and semantics of Core ABS, a calculus with the main features...
  • LOGLAN

  • Referenced in 4 articles [sw26939]
  • distributed model. par Procedure and functions can be treated as objects and therefore LOGLAN admits ... dynamic adjustable arrays. They are treated as objects, so they are dynamically generated and their ... defined in terms of objects. par The LOGLAN semantic model provides multi-level inheritance ... have different semantic models, each of them creating completely different semantic consequences. The multi-level...
  • SpiCO

  • Referenced in 9 articles [sw10691]
  • level modeling via multi-profile concurrent objects with static inheritance. We present a semantics...
  • AGG

  • Referenced in 49 articles [sw04449]
  • equipped with arbitrary computations on these Java objects described by a Java expression ... modeling of software, validation of system properties by assigning a graph transformation based semantics...
  • Creol

  • Referenced in 25 articles [sw09421]
  • even deadlock. The Creol model targets distributed objects by a looser coupling of method calls ... network instability. Object variables are typed by interfaces, so communication with remote objects is independent ... This paper presents the Creol syntax, operational semantics, and type system. It is shown that...
  • CSPsim

  • Referenced in 4 articles [sw13312]
  • model of Eiffel’s SCOOP. The current informal semantics of the Simple Concurrent Object-Oriented ... described. We construct and discuss a model using ... process algebra CSP. This model gives a more formal semantics for SCOOP than existed previously...
  • Java Jr

  • Referenced in 14 articles [sw19083]
  • character of the semantic model. We also show that our semantic trace equivalence is fully ... natural notion of testing equivalence for object systems. This is the first such result...
  • MJ

  • Referenced in 12 articles [sw24342]
  • Java. Whilst compact, MJ models features such as object identity, field assignment, constructor methods ... define the syntax, type system and operational semantics of MJ, and give a proof...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • this representation allowed us to study the semantics of real-time primitives for asynchronous systems ... language (such as compilers, static analysers and model-checkers) as well as front-ends ... dynamic systems. More exactly, primitive operations like object (or thread) creation and destruction, which...
  • Kermeta

  • Referenced in 8 articles [sw10062]
  • powerful metaprogramming environment based on an object-oriented DSL (Domain Specific Language) optimized for metamodel ... static semantics (OCL) and dynamic semantics with connection to the concrete syntax; model and meta...
  • DIEGO

  • Referenced in 13 articles [sw02178]
  • programming with Encapsulated Graph Objects. Their operational semantics definition follows the lines of distributed graph ... objects. Adapting previously made proposals for a graph grammar module concept and for graph models...
  • WebGL

  • Referenced in 9 articles [sw12333]
  • HTML5 Canvas element as Document Object Model interfaces. Developers familiar with OpenGL ES 2.0 will ... using GLSL, with constructs that are semantically similar to those of the underlying OpenGL...
  • ObjectCheck

  • Referenced in 2 articles [sw00645]
  • model checkers are not directly applicable to executable object-oriented software system designs ... semantic and syntactic gaps between executable object-oriented modeling languages and input languages of these...
  • CP-logic

  • Referenced in 17 articles [sw06947]
  • convenient logical representation for his semantical objects. Second, this language also has relevance ... particular, we prove that the formal semantics of a theory in our language ... probability distribution over the well-founded models of certain logic programs, rendering it formally quite...
  • Isabelle/UTP

  • Referenced in 10 articles [sw21184]
  • contributions are, firstly, a deep semantic model of UTP’s alphabetised predicates, supporting meta-logical ... need for typing proof obligations in the object-language. Thirdly, proof tactics that transfer results...
  • ICOT

  • Referenced in 3 articles [sw00432]
  • unit of inference. An object-oriented model is a powerful alternative to complement the drawback ... these alone cannot capture all the semantics of knowledge, particularly in complex engineering domains ... based approach to be effective, both the object-oriented paradigm and the rule-based mechanism ... support manipulation of fuzzy knowledge to model the real world as close as possible. Three...
  • LBS

  • Referenced in 14 articles [sw12372]
  • which combines rule-based approaches to modelling with modularity. It is based on the Calculus ... semantics which is parametric on a structure pertaining to the specific choice of target semantical ... objects. Examples of such structures for the specific cases of Petri nets, coloured Petri nets...