Early Automated Verification of Tool Chain Design
2012 (English)In: Computational Science And Its Applications - ICCSA 2012, PT IV / [ed] Murgante, B; Gervasi, O; Misra, S; Nedjah, N; Rocha, AMAC; Taniar, D; Apduhan, BO, Springer Berlin/Heidelberg, 2012, 40-50 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2012. 40-50 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 7336
Tool Integration, Process Modeling, Verification, Model-driven Development
IdentifiersURN: urn:nbn:se:kth:diva-91911DOI: 10.1007/978-3-642-31128-4_4ISI: 000308289700004ScopusID: 2-s2.0-84863964079ISBN: 978-3-642-31127-7OAI: oai:DiVA.org:kth-91911DiVA: diva2:511517
12th International Conference on Computational Science and Its Applications (ICCSA) Location: Salvador de Bahia, Brazil Date: JUN 18-21, 2012
QC 201211062012-03-212012-03-212013-09-16Bibliographically approved