Using the she method for UML-based performance modeling

被引：0

作者：

Theelen, BD ^{[1
]}

van der Putten, PHA ^{[1
]}

Voeten, JPM ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Fac Elect Engn, Informat & Commun Syst Grp, NL-5600 MB Eindhoven, Netherlands

来源：

SYSTEM SPECIFICATION AND DESIGN LANGUAGES: BEST OF FDL '02 | 2003年

关键词：

formal semantics; performance Modeling; parallel object-oriented specification language (POOSL); system-level design; unified modeling language (UML);

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The design of complex real-time distributed hardware/software systems commonly involves evaluating the performance of several design alternatives. Early in the design process, it is therefore desirable that design methods support constructing abstract models for the purpose of analysis. Recent extensions to the Unified Modeling Language (UML) that enable specifying schedulability, performance and time provide a means to start developing such models directly after defining the concepts and requirements of a system. However, UML hampers the evaluation of performance properties because this requires constructing executable models with a modeling language that supports application of mathematical analysis techniques. In this paper, we present how the Software/Hardware Engineering (SHE) method can be used for the performance modeling of real-time distributed hardware/software systems. Starting from a UML specification, SHE enables constructing formal executable models based on the expressive modeling language POOSL (Parallel Object-Oriented Specification Language).

引用

页码：143 / 160

页数：18

共 21 条

[1]

[Anonymous], 1994, SPECIFICATION DESIGN

[2] Object-oriented modelling and specification using SHE [J].

Geilen, MCW ;

Voeten, JPM ;

van der Putten, PHA ;

van Bokhoven, LJ ;

Stevens, MPJ .

COMPUTER LANGUAGES, 2001, 27 (1-3) :19-38

[3]

KAHKIPURO P, 1999, LNCS, V2047, P167

[4]

King P., 1999, P 15 UK PERF ENG WOR, P45

[5]

LEUE S, 1997, PROTOCOL SPECIFICATI, V15, P19

[6]

Milner R., 1989, Communication and concurrency

[7]

Mirandola R, 2000, LECT NOTES COMPUT SC, V1939, P178

[8]

*OBJ MAN GROUP, 2002, PTC020302 OMG

[9] On credibility of simulation studies of telecommunication networks [J].

Pawlikowski, K ;

Jeong, HDJ ;

Lee, JSR .

IEEE COMMUNICATIONS MAGAZINE, 2002, 40 (01) :132-139

[10]

Pooley R., 1999, IEE Proceedings-Software, V146, P2, DOI 10.1049/ip-sen:19990151

← 1 2 3 →