Automated generation of micro protocol descriptions from SDL design specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4745 LNCS, Issue , 2007, Pages 150-165

  Fliege, Ingmar ^a   Gotzhein, Reinhard ^a  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AUTOMATED GENERATION; COMMUNICATION SOLUTIONS; DESIGN SPECIFICATION; DISTRIBUTED COMPONENTS; GRAPHICAL ELEMENTS; MICROPROTOCOLS; PDF FILES; READY TO USE;

SPECIFICATIONS;

EID: 38149123420     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74984-4_10     Document Type: Conference Paper

References (14)

1. Khendek, F., Robert, G., Butler, G., Grogono, P.: Implementability of Message Sequence Charts. In: Proceedings of the SDL Forum Society International Workshop on SDL and MSC, Berlin, Germany (June 29 - July 01, 1998)
2. Fliege, I.: Documentation of micro protocols. Technical Report 358/07 (2007), http://vs.informatik.uni-kl.de/publications/2007/F12007/
3. Fliege, I., Geraldy, A., Gotzhein, R.: Micro Protocol Based Design of Routing Protocols for Ad-hoc Networks. In: 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco (June 4-8, 2007)
4. Fliege, I., Geraldy, A., Gotzhein, R., Schaible, P.: A Flexible Micro Protocol Framework. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 224-236. Springer, Heidelberg (2005)
5. Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler And Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 216-228. Springer, Heidelberg (2006)
6. ITU Recommendation Z.100 (08/02). Specification and Description Language (SDL). Geneva (2002)
7. Dorsch, J., Ek, A., Gotzhein, R.: SPT - The SDL Pattern Tool. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 50-64. Springer, Heidelberg (2005)
8. Floch, J., Bræk, R.: Using Projections for the Detection of Anomalous Behaviors. In: Reed, R. (ed.) SDL 2001. LNCS, vol. 2078, pp. 251-268. Springer, Heidelberg (2001)
9. Gotzhein, R.: Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study. Information and Software Technology 45, 727-741 (2003)
10. Gotzhein, R., Khendek, F.: Conception avec Micro-Protocoles. In: Colloque Francophone sur l'Ingenierie des Protocoles (CFIP'2002), Montreal, Canada (May 27-30, 2002)
11. Gotzhein, R., Khendek, F., Schaible, P.: Micro Protocol Design - The SNMP Case Study. In: Sherratt, E. (éd.) SAM 2002. LNCS, vol. 2599, pp. 61-73. Springer, Heidelberg (2003)
12. Kuhn, T., Gotzhein, R., Webel, C.: Model-driven development with sdl - process, tools, and experiences. In: ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS / UML 2006), Genua, Italy, October 1-6, 2006, pp. 1-6. IEEE Computer Society Press, Los Alamitos (2006)
13. Telelogic AB. Telelogic Tau Generation 1, www.telelogic.com/products/tau/ index.cfm
14. van Heesch, D.: Doxygen (2001), http://stack.nl/~dimitri/doxygen/