Titlebook: SDL 2003: System Design; 11th International S Rick Reed,Jeanne Reed Conference proceedings 2003 Springer-Verlag Berlin Heidelberg 2003 SDL.

necrosis

書目名稱SDL 2003: System Design影響因子(影響力)




書目名稱SDL 2003: System Design影響因子(影響力)學(xué)科排名




書目名稱SDL 2003: System Design網(wǎng)絡(luò)公開度




書目名稱SDL 2003: System Design網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱SDL 2003: System Design被引頻次




書目名稱SDL 2003: System Design被引頻次學(xué)科排名




書目名稱SDL 2003: System Design年度引用




書目名稱SDL 2003: System Design年度引用學(xué)科排名




書目名稱SDL 2003: System Design讀者反饋




書目名稱SDL 2003: System Design讀者反饋學(xué)科排名

membrane

SDL 2003: System Design978-3-540-45075-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

膽小懦夫

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/860143.jpg

聯(lián)想

https://doi.org/10.1007/3-540-45075-0SDL; Session; System; UML; architecture; description languages; distributed systems; formal language; formal

無法取消

A Real-Time Profile for UML and How to Adapt It to SDLt OMG. In contrast to this OMG profile, we put emphasis on semantics and on its use in the context of timed analysis of real-time embedded systems. The defined profile is compatible with the time concepts existing in SDL, and we show how we can also adapt these notations to SDL and MSC, which do not yet have a notation for this purpose.

BORE

Scenario-Based Performance Engineering with UCMNAVper describes the process, and the information that must be supplied in the way of scenario annotations. It illustrates the tool-supported process with a substantial example related to electronic commerce, which demonstrates the impact of provisioning the software architecture for concurrency.

注意到

Using SDL for Modeling Behavior Composition concept newly introduced in SDL-2000 is used in an original and innovative way to model roles and their composition. Simple SDL extensions are also discussed that facilitate composition. These extensions do not require changes to be made to the SDL semantics.

發(fā)電機(jī)

Refining Timed MSCsng them further, while preserving the properties of the high-level specification during the refinement process. We introduce conformance relations between MSCs and algorithms for checking these relations.

Resign

Applying Mutation Analysis to SDL Specifications of conformance test generation and selection for telecommunications protocols. We present two algorithms for automatic test generation and selection. These provide the basis of the Test Selector tool developed at the Budapest University of Technology and Economics. We present the results of an empirical study using the tool.

hypertension

Automatic Formal Model Generation and Analysis of SDLa lot of time and greatly reduces the human mistakes in creating the model. The design process is also considerably more efficient because it is possible to check that the system is correct at a very early stage. Methods to reduce the complexity of the analysis both at the modeling and at the analysis level are discussed.