Analyzing Flowgraphs with ATL
Autor: | Fabian Büttner, Valerio Cosentino, Massimo Tisi |
---|---|
Přispěvatelé: | Modeling Technologies for Software Production, Operation, and Evolution (ATLANMOD), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), IBM - Paris [Bois-Colombes], IBM, Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS) |
Jazyk: | angličtina |
Rok vydání: | 2013 |
Předmět: |
FOS: Computer and information sciences
Theoretical computer science Computer Science - Programming Languages Computer science lcsh:Mathematics Model transformation A domain [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] lcsh:QA1-939 lcsh:QA75.5-76.95 Set (abstract data type) Software Engineering (cs.SE) Computer Science - Software Engineering Transformation (function) Flow (mathematics) Control flow graph lcsh:Electronic computers. Computer science Java source code computer computer.programming_language Data-flow analysis Programming Languages (cs.PL) |
Zdroj: | Transformation Tool Contest Transformation Tool Contest, Jun 2013, Budapest, Hungary TTC Electronic Proceedings in Theoretical Computer Science, Vol 135, Iss Proc. TTC 2013, Pp 32-36 (2013) |
Popis: | This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow graph and its data flow graph. Finally we develop a model transformation that validates the program flow by comparing it with a set of flow specifications written in a domain specific language. The proposed solution has been implemented using ATL. In Proceedings TTC 2013, arXiv:1311.7536 |
Databáze: | OpenAIRE |
Externí odkaz: |