Cited By
View all- Gibbs IGhazaleh HDascalu S(2011)Message adaptor code generation2011 9th IEEE International Conference on Industrial Informatics10.1109/INDIN.2011.6034972(676-681)Online publication date: Jul-2011
Adding a methodological assistant to a protocol modeling environment
Article No.: 12, Pages 1 - 12
Abstract
The use of protocol design toolkits based on UML profiles has been hampered by the lack of methodological support. Indeed, those toolkits should include an assistant based on patterns and dedicated to driving the designer step by step through a well defined methodology. Thus, the TURTLE UML profile is extended with widely accepted service and protocol-oriented patterns. These patterns are built upon UML analysis diagrams i.e. use case, interaction overview and sequence diagrams. Moreover, all these patterns and diagrams have a formal semantics. Finally, they have been implemented in TTool, the open-source toolkit supporting TURTLE. The proposed approach remains general and may be applied to various modeling languages and use-case analysis driven processes.
References
[1]
The CADP toolkit. http://www.inrialpes.fr/vasy/cadp.
[2]
The maestro european project, mobile applications and services based on satellite and terrestrial interworking. http://cordis.europa.eu/fetch?ACTION=D & CALLER=PROJ_IST&RCN=71246.
[3]
The RTL toolkit. http://www.laas.fr/RT-LOTOS/index.html.en.
[4]
Telelogic TAU G2. http://www.telelogic.com/products/tau/index.cfm.
[5]
S. Ahumada, L. Apvrille, T. Barros, A. Cansado, E. Madelaine, and E. Salageanu. Specifying Fractal and GCM components with UML. In XXVI International Conference of the Chilean Computer Science Society (SCCC '07), Iquique, Chile, nov 2007.
[6]
L. Apvrille, J.-P. Courtiat, C. Lohr, and P. de Saqui-Sannes. TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit. In IEEE transactions on Software Engineering, volume 30, pages 473--487, Jul 2004.
[7]
L. Apvrille, P. de Saqui-Sannes, and F. Khendek. Synthèse d'une conception UML temps-réel à partir de diagramme de séquences. In Colloque Francophone sur l'Ingéniérie des Protocoles, Bordeaux, France, March 2005.
[8]
J.-P. Courtiat, C. Santos, C. Lohr, and B. Outtaj. Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique. In Computer Communications, volume 23, pages 1104--123, 2000.
[9]
J. Dorsch, A. Ek, and R. Gotzhein. Spt - the sdl pattern tool. In D. Amyot, W. Williams (Eds.), System Modeling and Analysis, volume 3319, pages 372--381, St. Louis, MO, USA, January 2005. Lecture Notes in Computer Science, Springer.
[10]
B. P. Douglass. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison wesley, 2002.
[11]
B. Fontan. Méthodologie de conception de systémes temps réel et distribués en contexte UML/SysML. In Doctorat de l'Université de Toulouse délivré par l'Université Paul Sabatier, January 2008.
[12]
E. Gamma. Design Patterns. Addison wesley, 1995.
[13]
B. Geppert. The SDL Pattern Approach. In Dissertation, Fachbereich Informatik, Universität Kaiserslautern, 2001.
[14]
A. Gherbi and F. Khendek. Uml profiles for real-time systems and their applications. In Journal of Object Technology, volume 6, pages 149--169, May-June 2006.
[15]
ITU-T. Recommendation Z.100, Specification and Design Language (SDL). 1996.
[16]
ITU-T. Recommendation Z.120, Message Sequence Charts. 1999.
[17]
S. Konrad and B. H. C. Cheng. Real-time specification patterns. In Proceedings of the 27th international conference on Software engineering, pages 372--381, St. Louis, MO, USA, May 2005.
[18]
LabSoc. The TURTLE Toolkit. In http://labsoc.comelec.enst.fr/turtle/ttool.html.
[19]
T. Lecomte, D. Cansell, and D. Méry. Patrons de conception prouvés. In Journées NEPTUNE, May 2007.
[20]
OMG. UML 2.1.2 Superstructure Specification. In http://www.omg.org/spec/UML/2.1.2/, Geneva, 2007.
[21]
L. Rising. Design Patterns in Communications Software. Cambridge University Press, 2001.
Index Terms
- Adding a methodological assistant to a protocol modeling environment
Recommendations
Transformation from CIM to PIM Using Patterns and Archetypes
ASWEC '08: Proceedings of the 19th Australian Conference on Software EngineeringModel transformations form a key part of MDA (Model-Driven Architecture). Most of the studies deal with the transformations from PIM (Platform-Independent Model) to PSM (Platform-Specific Model) and PSM to Code, but very few deal with the transformation ...
Bridging the requirements/design gap in dynamic systems with use case maps (UCMs)
ICSE '01: Proceedings of the 23rd International Conference on Software EngineeringTwo important aspects of future software engineering techniques will be the ability to seamlessly move from analysis models to design models and the ability to model dynamic systems where scenarios and structures may change at run-time. Use Case Maps (...
Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes
UML profiling presents some acknowledged deficiencies, among which the lack of expressiveness of the profiled notations, together with the high coupling between abstract and concrete syntaxes outstand. These deficiencies may cause distress among UML-...
Comments
Information & Contributors
Information
Published In
June 2008
399 pages
Copyright © 2008 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- Lyon 1 University
- SIGAPP: ACM Special Interest Group on Applied Computing
- Mairie de Villeurbanne
- Conseil Général du Rhône
- INSA Lyon: Institut National des Sciences Appliquées de Lyon
- Conseil Régional Rhône-Alpes
- Mutuelle d'assurance MAIF
- I.U.T.A LYON 1: Institute of Technology Lyon 1
- Ministère de l'Enseignement Supérieur et de la Recherche
- Lyon 2 University
- ISTASE: High-Level Engineering School in Telecommunication
- France Telecom
- LIRIS: Lyon Research Center for Images and Intelligent Information Systems
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 June 2008
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 63Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 05 Mar 2025
Other Metrics
Citations
Cited By
View all- Gibbs IGhazaleh HDascalu S(2011)Message adaptor code generation2011 9th IEEE International Conference on Industrial Informatics10.1109/INDIN.2011.6034972(676-681)Online publication date: Jul-2011
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in