Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...
Otto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo...
Existingautomatedmodellingsystemseitherrely on large, complexlibrariesor requirecompleteaccessto the modelledsystem'sbehaviour,neitherof whichis desirable,To addresstheseprob...
This paper considers a basic model for a spread of two diseases in a population. The equilibria of the model are found, and their stability is investigated. In particular, we prov...
We discuss the use of models for run-time error detection to improve user-perceived reliability of consumer electronics products. The aim is to apply the approach in industrial pro...
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...