The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Along with the research and application of UML in depth, people in software development have cognized that the semantics of UML mainly described in nature language have some drawbacks such as ambiguity and scarcity of accuracy etc. In this paper, we first summarize the necessary of a kind of formalized semantics and previous studies, then provide some semantics of static modeling elements in UML on...
B is a formal method (and a specification language) which enables the automatic generation of an executable code through a succession of refinements stemming from an abstract specification. The industrial tools provide support for all the development process (type-checking facilities, automatic and interactive proof support,...). A B specification requires a certain knowledge of mathematical notations...
The Unified Modeling Language (UML) has been developed as a standard language for object-oriented designs. Through its graphical and intuitive diagrams, software analysis and design process become easy. However, this graphical notation lacks precisely defined semantics. It is difficult to determine whether the design is consistent, unambiguous and complete. This paper provides a method of formalizing...
The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The models to produce for an object-oriented requirement analysis are a conceptual class model and a use-case model. This paper...
A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages are...
The design of distributed systems is a highly complicated and non-trivial task. Introduction of multiple types of media into distributed systems causes a dramatic increase in the complexity of design. To deal with the inherent complexity of systems, two approaches have received considerable attention; ODP and UML. Open Distributed Processing (ODP) is a joint ITU/ISO standardisation framework for constructing...
This paper describes a formal framework for expressing the semantics of UML augmented with real-time constructs. The approach is based on a two-dimensional temporal logic to independently capture control-flow as well as time-flow. The goal is to provide a simple, intuitive, and validatable semantics that can be used for further formal analysis.
A new approach of domain analysis—ontology-oriented MIS domain analysis is presented in this paper. It deals with how to apply the new knowledge representative method —ontologies with objects to describe domain model, to store the existing domain knowledge and to facilitate the reuse of domain knowledge. The key technology is to define the domain model and the domain ontologies knowledge base(DOKB).
On the basis of set theory and graph theory, this paper defines some conceptions of business flows, and proposes a requirements description model based on conditional directed graphs (CDGRD). The model focuses on business flows that are described by means of conditional directed graphs. A business flow can be described by some rectangles (activities) and some lines with arrowheads (conditions), the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.