Semantic Validation of Product and Process Models

摘要: This paper describes the use of equational specifications and process algebras in developing product models. These formal approaches enable an abstract precise description products, where both syntactic semantic checks are used for validation. In addition, refinement methodologies provided that relate to implementations data modeling languages such as EXPRESS. We show how these approaches, initially designed specifying software hardware modules, current standards research modeling. Our approach is illustrated with examples The general architecture engineering construction reference model (GARM) modeled style using Larch family specification languages. partitioned flow (PANDA), a graphical describing models facility engineering, algebraic system calculus communicating systems (CCS). Both validated by proving they satisfy certain properties.