Filters








615 Hits in 4.8 sec

SDL Profiles – Formal Semantics and Tool Support [chapter]

R. Grammes, R. Gotzhein
Fundamental Approaches to Software Engineering  
In this paper, we present a formalised approach for extracting the formal semantics for SDL profiles from the complete SDL semantics.  ...  Therefore, only subsets of SDL are currently supported by tools. These SDL subsets -called SDL profiles -already cover a wide range of systems, and are often sufficient in practice.  ...  Tool support can be based on these profiles, leading to faster tool development and less expensive tools.  ... 
doi:10.1007/978-3-540-71289-3_17 dblp:conf/fase/GrammesG07 fatcat:advvfcxfk5dzjad3nezxnfu5ri

Using UML models for the performance analysis of network systems

Nico de Wet, Pieter Kritzinger
2005 Computer Networks  
Even though the UML semantics is still not clear for the purpose, with UML 2.0 now released and using ITU recommendation Z.109, we describe in this paper a methodology and tool called proSPEX (protocol  ...  In the past SDL and Petri nets have been the most popular FDTs for the purpose.  ...  These deficiencies include a lack of formal semantics, inadequate semantics definition [Sel03] and excessive size.  ... 
doi:10.1016/j.comnet.2005.05.007 fatcat:4fl5r3752vdj3hwhwqhzedueqa

Tool support for algebraic specifications of data in SDL-92 [chapter]

N. N. Mansurov, A. S. Ragozin, A. V. Chernov, I. V. Mansurov
1996 IFIP Advances in Information and Communication Technology  
The paper demonstrates that algebraic specifications semantically restricted to term-rewriting systems can be efficiently supported by tools.  ...  Algebraic specifications provide a more rigorous formal framework for description of data and operations than ASN .I or any ad hoc treatment.  ...  All RASTA front-end tools support algebraic specifications. Note that the syntax and semantic analyzers do not impose any restrictions on the form or semantics of algebraic specifications.  ... 
doi:10.1007/978-0-387-35079-0_4 fatcat:mzolm57em5gg5mzoajj6yuuuna

Tool-based language development

Joachim Fischer, Eckhardt Holz, Andreas Prinz, Markus Scheidgen
2005 Computer Networks  
This allows an early detection of problems within the language definition and increases the reliability of the language and the supporting tools. 4 Semantic Metamodel-based Integrated Language Environment  ...  The central idea is the foundation of the language definition by a metamodel driven approach that is supported by language engineering tools.  ...  The generation of a complete tool set (parser, semantics checker and simulation) from a formal language description has already been shown within the SDL-2000 formal semantics project.  ... 
doi:10.1016/j.comnet.2005.05.004 fatcat:z273ooecora7podz5xgbkt55jq

Model-Driven Engineering in a Large Industrial Context — Motorola Case Study [chapter]

Paul Baker, Shiou Loh, Frank Weil
2005 Lecture Notes in Computer Science  
Experience Motorola's experience in MDE crosses a wide spectrum of activities, tools, and modeling languages in the telecommunications domain.  ...  We describe some of the key competencies that have been developed and the impact of MDE within the organization.  ...  In particular, to address issues raised earlier in the paper, Motorola is currently using and/or creating several profiles: SDL Profile This profile fills the semantic variation points in UML 2.0 and provides  ... 
doi:10.1007/11557432_36 fatcat:auapvhvqcfd2zfhi3na75u3wbe

Embedded UML

Grant Martin, Luciano Lavagno, Jean Louis-Guerin
2001 Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01  
Finally, it provides an approach which supports the development of automated analysis, simulation, synthesis and code generation tool capabilities which can be provided for design usage even while the  ...  In this paper, we present a proposal for a UML profile called 'Embedded UML'.  ...  These are the UML-RT profile, and the SDL-UML profile, both based on existing languages (ROOM and SDL).  ... 
doi:10.1145/371636.371660 dblp:conf/codes/MartinLL01 fatcat:of4rfctsmrfldje6m55mkoi3ku

UML Profiles for Real-Time Systems and their Applications

Abdelouahed Gherbi, Ferhat Khendek
2006 Journal of Object Technology  
UML also supports predictive, quantitative analysis through its real-time profiles.  ...  important to validate, at early stages of the development process, the functional and nonfunctional properties of RTS.  ...  Acknowledgments: This work has been partially supported by the Natural Sciences and Engineering Research Council of Canada (NSERC).  ... 
doi:10.5381/jot.2006.5.4.a5 fatcat:kuvovlm2v5grxbe4dzemlvoyxe

Translating Software Designs for Model Checking [chapter]

Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
2004 Lecture Notes in Computer Science  
These issues are considered under the framework of integrated model/property translation and include: (1) translator architecture; (2) semantics translation from a software language to a formal language  ...  Solutions to these issues are defined, described, and illustrated in the context of translating xUML, an executable design level software specification language, to S/R, the input formal language of the  ...  The IF validation environment [38] proposes IF [39] , an intermediate language, and presents tools for translating dialects of UML and SDL into IF and tools for validation and verification of IF specifications  ... 
doi:10.1007/978-3-540-24721-0_24 fatcat:ovwkw74ox5fadpdf5sbgmehbra

NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements [chapter]

Christian Webel, Reinhard Gotzhein, Joachim Nicolay
2008 Lecture Notes in Computer Science  
In this paper, we provide language and tool support for this purpose.  ...  To support the efficient handling of NQSL specifications, we present a tool chain consisting of the Graphical NQSL Editor (GNE), the NQSL Analyzer (NA) for QoS domain reduction, and the NQSL-to-SDL Compiler  ...  Research (BMBF), Fraunhofer-Gesellschaft and the Ministry for Science, Education, Research and Culture (MWWFK) of Rheinland-Pfalz.  ... 
doi:10.1007/978-3-540-68855-6_14 fatcat:inb46gekqfgmzmvu2urh2a65iq

Formalising Graphical Behaviour Descriptions [chapter]

Kenneth J. Turner
2004 Lecture Notes in Computer Science  
CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages.  ...  The semantics of CRESS is discussed with reference to its interpretation in LOTOS.  ...  The notation, syntax, static semantics and dynamic semantics of CRESS have been discussed. The notion of plug-in application domains makes CRESS very adaptable.  ... 
doi:10.1007/978-3-540-27815-3_40 fatcat:iunxlxbdsvfh3bahgaavrxb6f4

An Agent-Based Mechanism for Testing SFC
SFC 테스트를 위한 에이전트 기반 메커니즘

Trinh Nguyen, Myungsik Yoo
2019 The Journal of Korean Institute of Communications and Information Sciences  
Using the appropriate tool support, the following activities can be performed: -static analysis: detection of syntax and semantic errors, completeness of the model, cross-reference checking, cross-reading  ...  Formal validation Formal validation of a standard which uses SDL to specify behaviour (a service or protocol standard) includes the checking of both the syntactic and semantic correctness of the specification  ...  Bibliography The following material, though not specifically referenced in the body of the present document (or not publicly available), gives supporting information.  ... 
doi:10.7840/kics.2019.44.10.1949 fatcat:xm42xa5uejck7ikhcz6lusiwbq

Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling

Atoosa P.-J. Thunem
2003 European Society for Fuzzy Logic and Technology  
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-oriented and formal techniques  ...  Next, a combination of UML and SDL for requirement and detailed design modelling is suggested to produce the proper knowledge bases to a risk analyser.  ...  Furthermore, SDL supports modular system description and is itself fully supported by a number of advanced software developing tools.  ... 
dblp:conf/eusflat/Thunem03 fatcat:dfvqwsesnzfeveqov2rx34fblm

The specification and testing of conformance in ODP systems [chapter]

P. F. Linington, J. Derrick, H. Bowman
1996 Testing of Communicating Systems  
Part 4: Architectural Semantics. This part provides a formal basis for the reference model.  ...  This part defines the basic concepts which make up the ODP Object Model, and supporting concepts needed to describe the specification techniques and architectures which are based on it.  ...  On the other hand SDL and Estelle lack a formal semantics, a necessary pre-requisite for convincing modelling of dynamic reconfiguration.  ... 
doi:10.1007/978-0-387-35062-2_8 fatcat:xigepdmifncfzlb736r5vcu5u4

SOFTWARE RELIABILITY ESTIMATIONS THROUGH USAGE ANALYSIS OF SPECIFICATIONS AND DESIGNS

CLAES WOHLIN, ANDERS WESSLÉN, PER RUNESON
1996 International Journal of Reliability, Quality and Safety Engineering (IJRQSE)  
The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e. locating semantic faults in the design.  ...  The analysis is performed with both applying a usage profile as input as well as doing a full analysis, i.e. locate all faults that the tool can find.  ...  Based on the experience from applying formal specification techniques and tools supporting these techniques [Wohlin91] , it was noted that it ought to be possible to make the estimations during analysis  ... 
doi:10.1142/s0218539396000089 fatcat:mwpm3m75wfe37pwbc4rjaby4p4

Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback [chapter]

El Arbi Aboussoror, Ileana Ober, Iulian Ober
2013 Lecture Notes in Computer Science  
To support this thesis, we define a trace analysis approach based on the extraction of high-level semantics events from the low-level output of a simulation or model-checking tool.  ...  A plethora of theoretical results are available which make possible the use of dynamic analysis and model-checking for software and system models expressed in high-level modeling languages like UML, SDL  ...  We thank Anke Brock and Antonio Serpa for their support, the volunteer participants to the experiment, and the reviewers for their valuable suggestions.  ... 
doi:10.1007/978-3-642-38911-5_7 fatcat:qwe7rz5ge5dsraaa5hk5qtr7wu
« Previous Showing results 1 — 15 out of 615 results