@InProceedings{Schieferdecker2004b,
  author    = {Ina Kathrin Schieferdecker and George Din},
  booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE} 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004},
  title     = {A Meta-model for {TTCN-3}},
  doi       = {10.1007/978-3-540-30233-9_27},
  pages     = {366--379},
  publisher = {Springer Science and Business Media},
  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.},
  file      = {:2004/Schieferdecker2004b - A Meta Model for TTCN 3.pdf:PDF},
  type      = {conference},
  year      = {2004}
}
