Hidden algebra provides a
formal semantics for use in the field of
software engineering, especially for concurrent distributed
object system
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of pro ...
s.
It supports
correctness proofs.
Hidden algebra was studied by
Joseph Goguen.
It handles features of large software-based systems, including
concurrency
Concurrent means happening at the same time. Concurrency, concurrent, or concurrence may refer to:
Law
* Concurrence, in jurisprudence, the need to prove both ''actus reus'' and ''mens rea''
* Concurring opinion (also called a "concurrence"), a ...
,
distribution Distribution may refer to:
Mathematics
*Distribution (mathematics), generalized functions used to formulate solutions of partial differential equations
* Probability distribution, the probability of a particular value or value range of a vari ...
,
nondeterminism, and
local state
In computer science, a local variable is a variable that is given ''local scope''. A local variable reference in the function or block in which it is declared overrides the same variable name in the larger scope. In programming languages with onl ...
s. It also handled
object-oriented features like
classes,
subclasses
Subclass may refer to:
* Subclass (taxonomy), a taxonomic rank below "class"
* Subclass (computer science)
* Subclass (set theory)
See also
* Superclass
{{disambiguation ...
(
inheritance),
attributes, and
methods
Method ( grc, μέθοδος, methodos) literally means a pursuit of knowledge, investigation, mode of prosecuting such inquiry, or system. In recent centuries it more often means a prescribed process for completing a task. It may refer to:
*Scien ...
. Hidden algebra generalizes
process algebra
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...
and
transition system
In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of discrete systems. It consists of states and transitions between states, which may be labeled wi ...
approaches.
References
External links
Hidden Algebra Tutorial
Abstract algebra
Universal algebra
Logical calculi
Concurrent computing
Distributed computing
{{software-eng-stub