UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. However, there are some aspects that UML does not fully discuss. For example, UML has no mechanism to prevent the specification, for semantic reasons, of undesirable relationships. With the fast evolution of the requirements of our nowadays applications we cannot simply rely on omitting what w...

In this paper we describe our findings after integrating several tools based upon the Java Modeling Language (JML) [1], a specification language used to annotate Java programs. The tools we consider are Daikon [2], ESC/Java [3], JML runtime assertion checker [1], and Loop/PVS tool [4]. The first one generates specifications; the others are used to verify them. We find that for the first three i...

An example of an object model is given in full in three languages: Alloy, a new notation; Z, a formal specification language; and UML, a modelling notation popular in industry. Basic features of Alloy are explained informally, and briefly justified by comparison of the Alloy version to the UML and Z versions.

We present a taxonomy of the variability mechanisms offered by modeling languages. The definition of a formal language encompasses a syntax and a semantic domain as well as the mapping that relates them, thus language variabilities are classified according to which of those three pillars they address. This work furthermore proposes a framework to explicitly document and manage the variation poi...

In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze and formalize the specification. The specification and implementation validation can be performed systematically by introducing UML. We applied our method to a Mobile Media Processors SoC. We improved the quality of てthe specifi...

An extension of process modeling languages is designed which allows representing the semantics of model element labels which are formulated in natural language by using concepts of a formal ontology. This combination of semiformal models with formal ontologies will be characterized as semantic process modeling. The approach is exemplarily applied to the languages EPC (Event-driven Process Chain...

In this paper we discuss methods of using the language of actions, formal languages, and grammars for qualitative conceptual linguistic modeling of companies as technological and human institutions. The main problem following the discussion is the problem to find and describe a language structure for external and internal flow of information of companies. We anticipate that the language structu...

In the paper by Grando et al. [1], the authors use formal methods to prove whether a computer-interpretable guideline modeling language satisfies a set of control-flow workflow patterns [2]. They contrast the formal proof with an earlier informal analysis [3] in which we had compared different guideline modeling languages according to workflow patterns that they supported. Grando et al. find di...

In this work we construct a software model for the multilayer perceptron neural network. The whole process is carried out in the Unified Modeling Language (UML), which provides a formal framework for the modeling of software systems. The final implementation, called Flood, has been written in the C++ Programming Language and placed under the GNU Lesser General Public License.