We describe our work on the prototype AutoJML tool which automatically derives JML (Java Modelling Language) specifications from UML state diagrams. UML is widely used for modelling Object-Oriented systems on an abstract level. It should be possible to test whether concrete program code actually implements a UML model. The generated JML specifications can be used for this. There exist tools to ...

Banks need to document their business processes for multiple purposes. Hence, efficiently documenting and automatically analyzing business process models becomes increasingly important in order to achieve additional value from modeling efforts. However, recent research indicates that banks are not very satisfied with general purpose business process modeling languages. Our research indicates th...

In this articles we focus on the system behavioral modeling. We discuss systematic modeling approach for the system modeling. For the proposed modeling approach, the system engineering techniques are adopted. The role of the SysML basic principles and diagrams is discussed. Keywords—System engineering, system modeling, behavioral modeling, sysml, uml

The Unified Modeling Language (UML) is used to describe a system that needed to interface with many external systems, at various levels of detail appropriate for a variety of user, developer, and tester audiences. Rational’s Rose CASE tool was used to produce a variety of UML-based products for these audiences.

It is common to find that the definition or common usage of a data modelling language causes there to be restrictions placed on the evolution of data values that are associated with schemas expressed in that modelling language. This paper terms these restrictions temporal constraints, and defines three types of temporal constraint which are argued to be useful modelling concepts, capturing impo...

modeling is one of the most interesting areas in various fields of science. unfortunately data quality, which has an important role in the modeling, is not considered. in fact, most often processes encounter disturbances which results in the collection of abnormal data and may lead to a model different from the real behavior of the process. on the other hand, most of real industrial processes a...

the critical properties of a solute are required for modeling of the solubility by the equation of state. for many compounds, the critical properties are not available. so, group contribution method is utilized as a common method to estimate these properties. but, it leads to the consecutive errors in calculations of the solubility modeling. in this study, soave-redlish-kowang (srk) and peng-ro...

A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed “constraint diagrams”, which can be used to precisely characterise a range of sophisticated, static constraints on OO models. Other notations, such as those found in UML, can be viewed as projections of constraint diagrams. Work on using constraint diagra...

In this paper we present the research objectives and methodology for a running project of distributed web processing geo-services for spatio-temporal analysis of geo-data, the case of Lloyd’s lists. We introduce the current problems and discuss the solutions in means of theoretical and practical perspectives. Initial results from geo-data modeling using Unified Modeling Language (UML) is presen...