Development of distributed systems with SDL by means of formalized APIs

DOI10.1007/3-540-45075-0_19MaRDI QIDQ4450989zbMATH OpenFDO

Authors Philipp Schaible, R. Gotzhein

Publication date 16 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2708/27080317.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• SDL and layered systems: proposed extensions to SDL to better support the design of layered systems
• Collaboration-based design of SDL systems
• Automatic formal model generation and analysis of SDL
• Combining SDL with synchronous data flow modelling for distributed control systems
• Finite state machine based: SDL

Cited in

(4)

• SDL and layered systems: proposed extensions to SDL to better support the design of layered systems
• Collaboration-based design of SDL systems
• Rapid development of network software via SDL/Socket interfaces
• Industrial application of the SDL-pattern approach in UMTS call processing development -- experience and quantitative assessment

This page was built for publication: Development of distributed systems with SDL by means of formalized APIs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450989)