Hidden algebra
Encyclopedia
Hidden algebra provides a formal semantics for use in the field of software engineering
, especially for concurrent distributed object systems. It supports correctness proofs.
Hidden algebra was studied by Joseph Goguen
. It handles features of large software-based systems, including concurrency
, distribution, nondeterminism
, and local states. It also handled object-oriented features like classes, subclasses (inheritance
), attributes
, and methods
. Hidden algebra generalizes process algebra and transition system approaches.
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
, especially for concurrent distributed object systems. It supports correctness proofs.
Hidden algebra was studied by Joseph Goguen
Joseph Goguen
Joseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He was author of A Categorical Manifesto and founder and Editor-in-Chief of the...
. It handles features of large software-based systems, including concurrency
Concurrency
Concurrency, concurrent, or concurrence may refer to:* Concurrence, a legal term referring to the need to prove both actus reus and mens rea...
, distribution, nondeterminism
Nondeterminism
Nondeterminism may refer to:* Nondeterministic programming * Nondeterministic algorithm * Non-deterministic Turing machine * Indeterminacy in computation * Indeterminism...
, and local states. It also handled object-oriented features like classes, subclasses (inheritance
Inheritance (object-oriented programming)
In object-oriented programming , inheritance is a way to reuse code of existing objects, establish a subtype from an existing object, or both, depending upon programming language support...
), attributes
Attribute (computing)
In computing, an attribute is a specification that defines a property of an object, element, or file. It may also refer to or set the specific value for a given instance of such....
, and methods
Method (computer programming)
In object-oriented programming, a method is a subroutine associated with a class. Methods define the behavior to be exhibited by instances of the associated class at program run time...
. Hidden algebra generalizes process algebra and transition system approaches.