Adding temporal modeling to the UML to support systems design

Colin Neill, Jon D. Holt

Research output: Contribution to journalArticle

8 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)213-222
Number of pages10
JournalSystems Engineering
Volume5
Issue number3
DOIs
StatePublished - Jun 1 2002

Fingerprint

Formal methods
Systems analysis
Systems engineering
Modeling languages

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture
  • Computer Networks and Communications

Cite this

@article{51c950c37e15478caedbe92707e9e151,
title = "Adding temporal modeling to the UML to support systems design",
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.",
author = "Colin Neill and Holt, {Jon D.}",
year = "2002",
month = "6",
day = "1",
doi = "10.1002/sys.10024",
language = "English (US)",
volume = "5",
pages = "213--222",
journal = "Systems Engineering",
issn = "1098-1241",
publisher = "John Wiley and Sons Inc.",
number = "3",

}

Adding temporal modeling to the UML to support systems design. / Neill, Colin; Holt, Jon D.

In: Systems Engineering, Vol. 5, No. 3, 01.06.2002, p. 213-222.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Adding temporal modeling to the UML to support systems design

AU - Neill, Colin

AU - Holt, Jon D.

PY - 2002/6/1

Y1 - 2002/6/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0038403239&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0038403239&partnerID=8YFLogxK

U2 - 10.1002/sys.10024

DO - 10.1002/sys.10024

M3 - Article

AN - SCOPUS:0038403239

VL - 5

SP - 213

EP - 222

JO - Systems Engineering

JF - Systems Engineering

SN - 1098-1241

IS - 3

ER -