000 05739nam a22006255i 4500
001 978-3-540-31539-1
003 DE-He213
005 20240730195853.0
007 cr nn 008mamaa
008 100714s2005 gw | s |||| 0|eng d
020 _a9783540315391
_9978-3-540-31539-1
024 7 _a10.1007/b137793
_2doi
050 4 _aTK7885-7895
050 4 _aTK5105.5-5105.9
072 7 _aUK
_2bicssc
072 7 _aCOM067000
_2bisacsh
072 7 _aUK
_2thema
082 0 4 _a621.39
_223
082 0 4 _a004.6
_223
245 1 0 _aSDL 2005: Model Driven
_h[electronic resource] :
_b12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /
_cedited by Andreas Prinz, Rick Reed, Jeanne Reed.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 364 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v3530
505 0 _aLanguage Issues -- ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems - Model-Driven Development and Verification -- Non-deterministic Constructs in OCL - What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL - The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps.
520 _aThis volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Description Language that was ?rst standardized in the 1976 Orange Book of the Inter- tional Telecommunication Union (ITU). Since then, many developments took place and the language has undergone several changes. However, the main underlying paradigm has survived, and it is the reason for the success of the Speci?cation and Description Language in many projects. This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend to be described using smaller parts that communicate with each other; State: the systems are described on the basis of an explicit notion of state; State change: the behavior of the system is described in terms of (local) changes of the state. The original language is not the only representative for this kind of paradigm, so the scope of the SDL Forum was extended quite soon after the ?rst few events to also include other ITU standardized languages of the same family, such as MSC, ASN.1 and TTCN. This led to the current scope of System Design Languages coveringallstagesofthedevelopmentprocessincludinginparticularSDL,MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the advantages to users, and how to get from these languages the same advantage given by the ITU Speci?cation and Description Language: code generation from high-level speci?cations.
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aElectronic data processing
_xManagement.
_9161543
650 1 4 _aComputer Engineering and Networks.
_9161544
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
700 1 _aPrinz, Andreas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161545
700 1 _aReed, Rick.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161546
700 1 _aReed, Jeanne.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161547
710 2 _aSpringerLink (Online service)
_9161548
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540266129
776 0 8 _iPrinted edition:
_z9783540812555
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v3530
_9161549
856 4 0 _uhttps://doi.org/10.1007/b137793
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95808
_d95808