The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Protocol specification for OSI
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
SDL with applications from protocol specification
SDL with applications from protocol specification
Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
An Architectural Semantics for LOTOS
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Including a Queue in a Formal-Description-Driven Protocol Performance Analysis
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
A Protocol Engineering Workstation
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Protocol Analysis Using a Timed Version of SDL
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Software engineering and performance: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Evaluating Performance from Formal Specification
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Specification: level integration of simulation and dependability analysis
Architecting dependable systems
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Hi-index | 0.00 |
Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the 'single-specification/multiple-techniques' approach associated with the protocol engineering vision. The approach presented here assumes that a formally defined open systems interconnection (OSI) communication protocol can be syntactically transformed to a form suitable to a performance evaluation tool, and afterwards enhanced by implementation-dependence information on the protocol's resource requirements. Such a module, describing functional and performance behavior of the protocol, can then be embedded in a framework which allows its performance evaluation. This framework comprises an OSI-service provider as a transportation medium, processors providing computing services, and means for communication with the adjacent upper layer by use of associated input and output buffers. The present approach uses concepts from the performance evaluation tool HIT. Its applicability to OSI-communication architectures is sketched by means of the PE-modeling language HI-SLANG and the FD-language SDL.