Abstract
The Testing and Test Control Notation TTCN-3 is a test specification and implementation language that has been defined classically in form of a formal syntax and a semiformal semantics. UML, MOF and MDA has shown that on contrary meta-model based language definitions impose new ways of defining language semantics as a separation of syntax and semantic concept space, of integrating languages via a common meta-model base and of generating and deriving models from other models via model transformers. This paper defines a meta-model for TTCN-3, such that TTCN-3 can take advantage of meta-model based approaches – in particular for integrating test but also system development techniques. It also discusses the realization of the TTCN-3 meta-model and its use for meta-model based tools.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
FOKUS, etc: RIVAL T Project: Rapid Engineering, Integration and Validation of Distributed Systems for Telecommunication Applications, Milestone 1: Meta-Models (December 2003)
FOKUS, etc: RIVAL T Project: Rapid Engineering, Integration and Validation of Distributed Systems for Telecommunication Applications, Milestone 2: Infrastructure, Transformations and Tools (February 2004)
Fischer, J., Piefel, M., Scheidgen, M.: A Meta-Model for SDL- 2000 in the Context of Meta-Modelling ULF. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 208–223. Springer, Heidelberg (2005)
Object Management Group: UML 2.0 Testing Profile, Final Specification, ptc- 2004-04-02 (April 2004), http://www.fokus.fraunhofer.de u2tp
Predescu, M.: Meta-Model Based Test Development in Eclipse, MSc Thesis, Politehnica University of Bucharest, Department of Computer Science (September 2003)
Tudose, A.C.: Meta-model based test suites development - Graphical test specifications under the Eclipse platform, MSc Thesis, Politehnica University of Bucharest, Department of Computer Science (September 2003)
ETSI ES 201 873 - 1, v2.2.1: The TTCN-3 Core Language (October 2003)
ETSI ES 201 873 - 2, v2.2.1: The Tabular Presentation Format of TTCN-3 (TFT) (October 2003)
ETSI ES 201 873 - 3, v2.2.1: The Graphical Presentation Format of TTCN-3 (GFT) (October 2003)
ETSI ES 201 873 - 4, v2.2.1: The Graphical Presentation Format of TTCN-3 (GFT) (October 2003)
Object Management Group: Meta-Object Facility (MOF), version 1.4, http://www.omg.org/technology/documents/formal/mof.htm
Object Management Group: UML 2.0 OCL 2nd revised submission, http://www.omg.org/cgi-bin/doc?ad/2003-01-07
Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. University of Waterloo, Canada, Technical Report (2003)
Eclipse: Open Source Integrated Development Environment, http://www.eclipse.org
Booch, G.: MDA: A Motivated Manifesto? Software Development Magazine (August 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schieferdecker, I., Din, G. (2004). A Meta-model for TTCN-3. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds) Applying Formal Methods: Testing, Performance, and M/E-Commerce. FORTE 2004. Lecture Notes in Computer Science, vol 3236. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30233-9_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-30233-9_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23169-1
Online ISBN: 978-3-540-30233-9
eBook Packages: Springer Book Archive