Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Science and Its Applications

ICCSA 2012: Computational Science and Its Applications – ICCSA 2012 pp 40–50Cite as

Early Automated Verification of Tool Chain Design

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7336))

Abstract

Tool chains are expected to increase the productivity of product development by providing automation and integration. If, however, the tool chain does not have the features required to support the product development process, it falls short of this expectation. Tool chains could reach their full potential if it could be ensured that the features of a tool chain are aligned with the product development process. As part of a systematic development approach for tool chains, we propose a verification method that measures the extent to which a tool chain design conforms to the product development process and identifies misalignments. The verification method can be used early in tool chain development, when it is relatively easy and cheap to perform the necessary corrections. Our verification method is automated, which allows for quick feedback and enables iterative design. We apply the proposed method on an industrial tool chain, where it is able to identify improvements to the design of the tool chain.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Balogh, A., Bergmann, G., Csertán, G., Gönczy, L., Horváth, Á., Majzik, I., Pataricza, A., Polgár, B., Ráth, I., Varró, D., Varró, G.: Workflow-Driven Tool Integration Using Model Transformations. In: Engels, G., Lewerentz, C., Schäfer, W., Schürr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol. 5765, pp. 224–248. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  2. Bendraou, R., Combemale, B., Cregut, X., Gervais, M.P.: Definition of an Executable SPEM 2.0. In: 14th Asia-Pacific Software Engineering Conference, APSEC 2007, pp. 390–397. IEEE (December 2007)

    Google Scholar 

  3. Biehl, M., El-Khoury, J., Loiret, F., Törngren, M.: A Domain Specific Language for Generating Tool Integration Solutions. In: 4th Workshop on Model-Driven Tool & Process Integration (MDTPI 2011) (June 2011)

    Google Scholar 

  4. Brown, A.W., Penedo, M.H.: An annotated bibliography on integration in software engineering environments. SIGSOFT Notes 17(3), 47–55 (1992)

    Article  Google Scholar 

  5. Christie, A., et al.: Software Process Automation: Interviews, Survey, and Workshop Results. Technical report, SEI (1997)

    Google Scholar 

  6. Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Software and Systems Modeling 4(2), 157–170 (2005)

    Article  Google Scholar 

  7. Kiper, J.D.: A framework for characterization of the degree of integration of software tools. Journal of Systems Integration 4(1), 5–32 (1994)

    Article  Google Scholar 

  8. Koudri, A., Champeau, J.: MODAL: A SPEM Extension to Improve Co-design Process Models. In: Münch, J., Yang, Y., Schäfer, W. (eds.) ICSP 2010. LNCS, vol. 6195, pp. 248–259. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  9. Levenshtein, V.I.: Binary Codes Capable of Correcting Deletions, Insertions and Reversals. Doklady Akademii Nauk SSSR 163(4), 845–848 (1965)

    MathSciNet  Google Scholar 

  10. OMG. Software & Systems Process Engineering Metamodel Specification (SPEM). Technical report, OMG (April 2008)

    Google Scholar 

  11. Polgar, B., Rath, I., Szatmari, Z., Horvath, A., Majzik, I.: Model-based Integration, Execution and Certification of Development Tool-chains. In: Workshop on Model Driven Tool and Process Integration (June 2009)

    Google Scholar 

  12. Wicks, M.N.: Tool Integration within Software Engineering Environments: An Annotated Bibliography. Technical report, Heriot-Watt University (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Embedded Control Systems, Royal Institute of Technology, Stockholm, Sweden

    Matthias Biehl

Authors
  1. Matthias Biehl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory of Urban and Territorial Systems, University of Basilicata, 10, Viale dell’Ateneo Lucano, 85100, Potenza, Italy

    Beniamino Murgante

  2. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06123, Perugia, Italy

    Osvaldo Gervasi

  3. Department of Cyber Security Science, Federal University of Technology, Gidan Kwano Campus, Minna, Nigeria

    Sanjay Misra

  4. Faculty of Engineering, Department of Electronics Engineering and Telecommunications, State University of Rio de Janeiro, Rua Sao Francisco Xavier, 524, 50. andar, sala 5145-F, Maracana, 20, 550-013, Rio de Janeiro, RJ, Brazil

    Nadia Nedjah

  5. Department of Production and Systems, University of Minho, Campus de Gualtar, 4710-057, Braga, Portugal

    Ana Maria A. C. Rocha

  6. School of Business Systems, Monash University, 3800, Clayton, VIC, Australia

    David Taniar

  7. Department of Intelligent Informatics, Kyushu Sangyo University, 2-3-1 Matsukadai, Higashi-ku, 813-8503, Fukuoka, Japan

    Bernady O. Apduhan

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Biehl, M. (2012). Early Automated Verification of Tool Chain Design. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2012. ICCSA 2012. Lecture Notes in Computer Science, vol 7336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31128-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-31128-4_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31127-7

  • Online ISBN: 978-3-642-31128-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation