A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
SDL Profiles – Formal Semantics and Tool Support
[chapter]
Fundamental Approaches to Software Engineering
Preserved Fulltext
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
2005
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2001; you can also visit the original URL.
The file type is application/pdf.
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
2006
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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 테스트를 위한 에이전트 기반 메커니즘
2019
The Journal of Korean Institute of Communications and Information Sciences
SFC 테스트를 위한 에이전트 기반 메커니즘
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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
2003
European Society for Fuzzy Logic and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
1996
Testing of Communicating Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
1996
International Journal of Reliability, Quality and Safety Engineering (IJRQSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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