Search results for "Formal specification"
showing 5 items of 15 documents
Specification and Implementation of Multicast Congestion Control Stair Protocol: Use Case with Multimedia Ubiquitous Networks
2008
Ubiquitous and efficient multicast data delivery service is essential to the success of large-scale group communication applications. In this framework, congestion control through ubiquitous networks is a hot topic for multicast real time protocols. In this paper, authors present specification and implementation of simulate TCP's AIMD with rate-based (STAIR), a multicast congestion control mechanism. Authors have enhanced this approach because they have modeled it using Unified Modeling Language with real time extensions (UML-RT) as a formal specification tool. More to the point point, they introduce a multimedia ubiquitous network which they have used as a reference model to promote their …
Automatic Temporal Formatting of Multimedia Presentations Using Dynamic Petri Nets.
2009
An efficient authoring tool would provide support for automatic temporal formatting and modeling of multimedia presentations. Automatic temporal formatting is a process of converting the given presentation specifications into a required temporal format. This paper presents an algorithm that can convert a temporal layout into a dynamic petri net (DPN )w hich can represent iterative and interactive presentation components effectively. The prototype of the authoring tool extracts the temporal layout from any given SMIL file representation and uses the proposed algorithm to automatically convert it into a DPN. The DPN generated automatically at compile-time helps the run-time components in effe…
Electronic noses : specify or disappear
2000
Abstract When the quality control is achieved by using GC or GC/MS, the apparatus must comply with the applicable norms, but what about “electronic noses”? End users demand for formal specifications for selectivity, sensitivity, repeatability and sample throughput. The behavioural modelling of electronic olfactometers may provide specifications for these required parameters. This will allow both the measure itself, and evaluate the influence of the experimental errors on the sample classification. Users may expect to find a methodology allowing the performances of systems to be checked before any final decision and during routine use. We have demonstrated that the system sensitivity and log…
Supporting Agile Development by Facilitating Natural User Interaction with Executable Formal Specifications
2011
Agile development benefits from fast feedback from various stakeholders. If implemented in a suitable way, formal methods can enhance the agile development process. With an executable formal specification, it is possible to analyse and simulate the behaviour of the target system before it is being built. However, for the users' and developers' natural participation in the development process, it is necessary to use a real end-user interface and bind it to the execution environment being used in the simulations and animations. This requires, though, that the execution model used to simulate the specification is appropriately changed to facilitate the use of these user interfaces. The authors…
Formal specification of open standards and the case of RSS v2.0
2014
Open standardization seems to be very popular among software developers as it makes the standard's adoption by the software engineering community easier and smoother. Formal specification methods, on the other hand, while very promising, are being adopted by protocol engineers very slowly; the industry seems to have little motivation to move into this, almost unknown, territory.In this paper the authors present the i) idea of applying formal methods (formal specification techniques) to open standards' specifications, and ii) an example of a formal specification of open standards, RSS v2.0 in particular. The authors support and provide evidence for the advantages of the open standards formal…