Results 11  20
of
61
Behavioral institutions and refinements in generalized hidden logics
 J. Univers. Comput. Sci
, 2006
"... Abstract: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden klogics) to the algebraic specifica ..."
Abstract

Cited by 8 (6 self)
 Add to MetaCart
Abstract: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract algebraic logic theory of hidden heterogeneous deductive systems (called hidden klogics) to the algebraic specification of object oriented programs. This is achieved through the Leibniz congruence relation and its combinatorial properties. We reformulate the notion of hidden klogic as well as the behavioral logic of a hidden klogic as institutions. We define refinements as hidden signature morphisms having the extra property of preserving logical consequence. A stricter class of refinements, the ones that preserve behavioral consequence, is studied. We establish sufficient conditions for an ordinary signature morphism to be a behavioral refinement.
Musical Qualia, Context, Time, and Emotion
 Journal of Consciousness Studies
, 2004
"... Nearly all listeners consider the subjective aspects of music, such as its emotional tone, to have primary importance. But contemporary philosophers often downplay, ignore, or even deny such aspects of experience. Moreover, traditional philosophies of music try to decontextualize it. Using music ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
Nearly all listeners consider the subjective aspects of music, such as its emotional tone, to have primary importance. But contemporary philosophers often downplay, ignore, or even deny such aspects of experience. Moreover, traditional philosophies of music try to decontextualize it. Using music as an example, this paper explores the structure of qualitative experience, demonstrating that it is multilayer emergent, noncompositional, enacted, and situation dependent, among other nonCartesian properties.
Distributed Cooperative Formal Methods Tools
 In Proc. Automated Software Engineering. IEEE
, 1997
"... : This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor /assistant, servers for remote proof execution, a distributed truth protocol, an edito ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
(Show Context)
: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor /assistant, servers for remote proof execution, a distributed truth protocol, an editor generator, and a new method for interface design called algebraic semiotics, which combines semiotics with algebraic specification. Some examples are given. 1. Introduction Formal methods have been used to prove correctness of software, but this task is known to be difficult, for various reasons [5, 13]. New technologies  the internet, the web, multimedia, applets, etc.  offer exciting opportunities to reduce this difficulty that have not yet been much explored. We seek to build industrial strength formal method tools for distributed work by ordinary software engineers over the web, especially for concurrent systems. This involves several challenging subtasks, including a practical ...
Hybridization of Institutions
"... Abstract. Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for nami ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
(Show Context)
Abstract. Modal logics are successfully used as specification logics for reactive systems. However, they are not expressive enough to refer to individual states and reason about the local behaviour of such systems. This limitation is overcome in hybrid logics which introduce special symbols for naming states in models. Actually, hybrid logics have recently regained interest, resulting in a number of new results and techniques as well as applications to software specification. In this context, the first contribution of this paper is an attempt to ‘universalize ’ the hybridization idea. Following the lines of [16], where a method to modalize arbitrary institutions is presented, the paper introduces a method to hybridize logics at the same institutionindependent level. The method extends arbitrary institutions with Kripke semantics (for multimodalities with arbitrary arities) and hybrid features. This paves the ground for a general result: any encoding (expressed as comorphism) from an arbitrary institution to first order logic (FOL) determines a comorphism from its hybridization to FOL. This second contribution opens the possibility of effective tool support to specification languages based upon logics with hybrid features. 1
The distributed ontology, modeling and specification language  DOL
, 2013
"... There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common Logic, and Flogic. Related languages such as UML class diagrams, entityrelationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and datab ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
There is a diversity of ontology languages in use, among them OWL, RDF, OBO, Common Logic, and Flogic. Related languages such as UML class diagrams, entityrelationship diagrams and object role modelling provide bridges from ontology modelling to applications, e.g. in software engineering and databases. Another diversity appears at the level of ontology modularity and relations among ontologies. There is ontology matching and alignment, module extraction, interpolation, ontologies linked by bridges, interpretation and refinement, and combination of ontologies. The Distributed Ontology, Modelling and Specification Language (DOL) aims at providing a unified meta language for handling this diversity. In particular, DOL provides constructs for (1) “asis ” use of ontologies formulated in a specific ontology language, (2) ontologies formalised in heterogeneous logics, (3) modular ontologies, and (4) links between ontologies. This paper sketches the design of the DOL language. DOL will be submitted as a proposal within the OntoIOp (Ontology Integration and Interoperability) standardisation activity of the Object Management Group (OMG).
An encoding of partial algebras as total algebras
 Information Processing Letters
"... We introduce a semantic encoding of partial algebras as total algebras through a Horn axiomatization of the existence equality relation interpreted as an algebraic operation. We show that this novel encoding enjoys several important properties that make it a good tool for the execution of partial al ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
(Show Context)
We introduce a semantic encoding of partial algebras as total algebras through a Horn axiomatization of the existence equality relation interpreted as an algebraic operation. We show that this novel encoding enjoys several important properties that make it a good tool for the execution of partial algebraic specifications through means specific to ordinary algebraic reasoning, such as term rewriting.
Heterogeneous Logical Environments for distributed specifications
"... We use the theory of institutions to capture the concept of a heterogeneous logical environment as a number of institutions linked by institution morphisms and comorphisms. We discuss heterogeneous specifications built in such environments, with interinstitutional specification morphisms based on ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
We use the theory of institutions to capture the concept of a heterogeneous logical environment as a number of institutions linked by institution morphisms and comorphisms. We discuss heterogeneous specifications built in such environments, with interinstitutional specification morphisms based on both institution morphisms and comorphisms. We distinguish three kinds of heterogeneity: (1) specifications in logical environments with universal logic (2) heterogeneous specifications focused at a particular logic, and (3) heterogeneous specifications distributed over a number of logics.
CafeOBJ: Logical Foundations and Methodologies
 Computing and Informatics
, 2003
"... CafeOBJ is an executable industrial strength multilogic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms. ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
CafeOBJ is an executable industrial strength multilogic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms.
Mathematical models of cognitive space and time
 In Mitsu Okada and Daniel Andler, editors, Reasoning and Cognition. To appear
, 2006
"... Abstract. This paper explores reasoning about space and time, e.g., in metaphors of time as space; an important method is to find minimal assumptions needed to reach the same conclusions that humans reach. Some mathematical language, including the notion of triad, is introduced for this purpose, for ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Abstract. This paper explores reasoning about space and time, e.g., in metaphors of time as space; an important method is to find minimal assumptions needed to reach the same conclusions that humans reach. Some mathematical language, including the notion of triad, is introduced for this purpose, formalizing and generalizing the cognitive semantics approaches to conceptual spaces (in the senses of both Fauconnier & Turner and of Gärdenfors), blending, and metaphor; in particular, continuous mathematics is used to model space and time. A new explanation of emergent structure in blend spaces is also discussed, and proposed as a source of creativity. Four main examples illustrate the approach, and an appendix encapsulates the most difficult mathematics. 1
Quantum institutions
 Algebra, Meaning, and Computation – Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, volume 4060 of Lecture Notes in Computer Science
, 2006
"... The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capturing the precise relationships between the logics that are obtained, and, furthermore, helps in analyzing some of the k ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
(Show Context)
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capturing the precise relationships between the logics that are obtained, and, furthermore, helps in analyzing some of the key design decisions and opens the way to make the approach more useful and, at the same time, more abstract. 1