Concepts inA formal foundation for process modeling
Model theory
In mathematics, model theory is the study of (classes of) mathematical structures using tools from mathematical logic. It has close ties to abstract algebra, particularly universal algebra. Objects of study in model theory are models for formal languages which are structures that give meaning to the sentences of these formal languages.
more from Wikipedia
Axiom
An axiom is a premise or starting point of reasoning. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy. The word comes from the Greek ἀξίωμα 'that which is thought worthy or fit,' or 'that which commends itself as evident. ' As used in modern logic, an axiom is simply a premise or starting point for reasoning, and equivalent to what Aristotle calls a definition. Axioms define and delimit the realm of analysis.
more from Wikipedia
Specification language
A specification language is a formal language used in computer science. Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design. Specification languages are generally not directly executed. They describe the system at a much higher level than a programming language.
more from Wikipedia
Semantics
Semantics (from Greek: sēmantiká, neuter plural of sēmantikós) is the study of meaning. It focuses on the relation between signifiers, such as words, phrases, signs and symbols, and what they stand for, their denotata. Linguistic semantics is the study of meaning that is used to understand human expression through language. Other forms of semantics include the semantics of programming languages, formal logics, and semiotics.
more from Wikipedia
Process modeling
The term process model is used in various contexts. For example, in business process modeling the enterprise process model is often referred to as the business process model. Process models are core concepts in the discipline of process engineering.
more from Wikipedia
Mathematical model
A mathematical model is a description of a system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modelling. Mathematical models are used not only in the natural sciences and engineering disciplines, but also in the social sciences; physicists, engineers, statisticians, operations research analysts and economists use mathematical models most extensively.
more from Wikipedia
Reality
In philosophy, reality is the state of things as they actually exist, rather than as they may appear or might be imagined. In a wider definition, reality includes everything that is and has been, whether or not it is observable or comprehensible. A still more broad definition includes everything that has existed, exists, or will exist. Philosophers, mathematicians, and others ancient and modern such as Aristotle, Plato, Frege, Wittgenstein, Russell etc.
more from Wikipedia
Set (mathematics)
A set is a collection of well defined and distinct objects, considered as an object in its own right. Sets are one of the most fundamental concepts in mathematics. Developed at the end of the 19th century, set theory is now a ubiquitous part of mathematics, and can be used as a foundation from which nearly all of mathematics can be derived.
more from Wikipedia