Adding temporal modeling to the UML to support systems design

Colin J. Neill and Jon D. Holt

Systems Engineering, 2002, vol. 5, issue 3, 213-222

Abstract: The UML has been proposed as a suitable modeling language for systems engineering. There are questions, however, regarding the language's suitability. For example, the interfaces between heterogeneous systems must be precisely defined during design, and the completeness and precision of that definition is heavily dependent on the modelling language used. This article contends that the UML in its current form is insufficient for this purpose because it has no provision for the analysis of complex time‐based interactions typical of such an interface. The solution proposed here is to translate the UML models that define those interfaces into a formal method. This translation can be automated, therefore “hiding” the formalism from the user, but still providing the analytical benefits. The formal method used is the Q‐model. This is a mathematically based computational model used primarily in the design of time‐critical systems and includes support for sophisticated temporal analysis. © 2002 Wiley Periodicals, Inc. Syst Eng 5, 213–222, 2002

Date: 2002
References: View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
https://doi.org/10.1002/sys.10024

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wly:syseng:v:5:y:2002:i:3:p:213-222

Access Statistics for this article

More articles in Systems Engineering from John Wiley & Sons
Bibliographic data for series maintained by Wiley Content Delivery ().