Verification and validation are common methods to make sure that something works as intended, however, sometimes these mechanisms are time-consuming and can be too complex to be feasible. We have looked into using traceability to provide information to focus validation efforts or to give developers the ability to mitigate risk based on previously deployed instances. Systems like this could be used to expedite the development process when needed, for instance, when migrating large amounts of data or generating low-level, mission critical code. We hope that we have introduced work and ideas to provide a base for future development.
REFERENCES
“Advanced Traceability for ATL”. In:
Aizenbud-Reshef, N., B. T. Nolan, J. Rubin, and Y. Shaham-Gafni (2006). “Model Traceability”. In: IBM Syst. J. 45.3, pp. 515–526. issn: 0018-8670. doi: 10.
1147/sj.453.0515. url: http://dx.doi.org/10.1147/sj.453.0515.
Akehurst, D. H., B. Bordbar, M. J. Evans, W. G. J. Howells, and K. D. McDonald-Maier (2006). “SiTra: Simple Transformations in Java”. In: Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems. MoDELS’06. Genova, Italy: Springer-Verlag, pp. 351–364. isbn: 3-540-45772-0, 978-3-540-45772-5. doi: 10 . 1007 / 11880240 _ 25. url: http : //dx.doi.org/10.1007/11880240_25.
Beazley, D. (2010). Understanding the python GIL. url: http://www.dabeaz.
com/python/UnderstandingGIL.pdf.
Berry, D. M. (2014). Critical theory and the digital. Critical Theory and Contem-porary Society. Bloomsbury Publishing USA. isbn: 9781441118301.
Biederman, I. (1987). “Recognition-by-components: a theory of human image understanding.” In: Psychological review 94.2, p. 115. doi: 10.1037/0033-295X.94.2.115.
Bonnici, V. and R. Giugno (2017). “On the Variable Ordering in Subgraph Isomor-phism Algorithms”. In: IEEE/ACM Transactions on Computational Biology and Bioinformatics 14.1, pp. 193–203. issn: 1545-5963. doi: 10.1109/TCBB.
2016.2515595.
Bonnici, V., R. Giugno, A. Pulvirenti, D. Shasha, and A. Ferro (2013). “A subgraph isomorphism algorithm and its application to biochemical data”. In: BMC bioinformatics 14.7. doi: 10.1186/1471-2105-14-S7-S13.
Briand, L., D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue (2014). “Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment”.
In: ACM Trans. Softw. Eng. Methodol. 23.1, 9:1–9:43. issn: 1049-331X. doi:
10.1145/2559978. url: http://doi.acm.org/10.1145/2559978.
Carletti, V., P. Foggia, and M. Vento (2013). “Performance Comparison of Five Exact Graph Matching Algorithms on Biological Databases”. In: New Trends in Image Analysis and Processing – Proceeedings of International Conference on Image Analysis and Processing 2013. Ed. by A. Petrosino, L. Maddalena, and P. Pala. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 409–417. isbn:
978-3-642-41190-8. doi: 10.1007/978- 3- 642- 41190- 8_44. url: https:
//doi.org/10.1007/978-3-642-41190-8_44.
Carrillo, H. and David Lipman (1988). “The Multiple Sequence Alignment Problem in Biology”. In: SIAM Journal on Applied Mathematics 48.5, pp. 1073–1082.
doi: 10.1137/0148063.
Casters, M., R. Bouman, and J. van Dongen (2010). Pentaho Kettle solutions:
building open source ETL solutions with Pentaho Data Integration. John Wiley
& Sons. isbn: 978-0-470-63517-9.
Chang, F., J. Dean, S. Ghemawat, W. C. Hsieh, D. A. Wallach, M. Burrows, T.
Chandra, A. Fikes, and R. E. Gruber (2008). “Bigtable: A Distributed Storage System for Structured Data”. In: ACM Trans. Comput. Syst. 26.2, 4:1–4:26.
issn: 0734-2071. doi: 10 .1145 / 1365815 . 1365816. url: http :/ / doi. acm . org/10.1145/1365815.1365816.
Chappell, D. (2004). Enterprise service bus. O’Reilly Media, Inc. isbn: 978-0596006754.
Clinical Data Interchange Standards Consortium (2013). Specification for the Operational Data Model (ODM). url: https://www.cdisc.org/standards/
transport/odm (visited on 04/21/2017).
National Information Assurance (IA) Glossary. Vol. 4009. url: http://www.ncix.
gov/publications/policy/docs/CNSSI_4009.pdf (visited on 11/15/2013).
Cook, Stephen A. (1971). “The Complexity of Theorem-proving Procedures”. In:
Proceedings of the Third Annual ACM Symposium on Theory of Computing.
STOC ’71. Shaker Heights, Ohio, USA: ACM, pp. 151–158. doi: 10.1145/
800157.805047. url: http://doi.acm.org/10.1145/800157.805047.
Czarnecki, K. and S. Helsen (2006). “Feature-based Survey of Model Transformation Approaches”. In: IBM Syst. J. 45.3, pp. 621–645. issn: 0018-8670. doi: 10.1147/
sj.453.0621. url: http://dx.doi.org/10.1147/sj.453.0621.
Ebner, G. and H. Kaindl (2002). “Tracing all around in reengineering”. In: IEEE Software 19.3, pp. 70–77. issn: 0740-7459. doi: 10.1109/MS.2002.1003459.
Eclipse Foundation (2014). Xtend. url: http://www.eclipse.org/xtend/ (visited on 03/04/2015).
Falleri, J., M. Huchard, and C. Nebut (2006). “Towards a Traceability Framework for Model Transformations in Kermeta”. In: ECMDA-TW’06: ECMDA Traceability
Workshop. Ed. by J. Aagedal, T. Neple, and J. Oldevik. Bilbao, Spain: Sintef ICT, Norway, pp. 31–40. url: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00102855.
Fritzsche, M., J. Johannes, S. Zschaler, A. Zherebtsov, and A. Terekhov (2008).
“Application of Tracing Techniques in Model-Driven Performance Engineering”.
In: ECMDA Traceability Workshop Proceedings, pp. 111–120. isbn: 978-82-14-04396-9.
Galvao, I. and A. Goknil (2007). “Survey of Traceability Approaches in Model-Driven Engineering”. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp. 313–313. doi: 10.1109/EDOC.2007.
42.
GAMP (2008). GAMP 5: A Risk-Based Approach to Compliant GxP ComputerizedR Systems. Tech. rep. International Society for Pharmaceutical Engineering.
Goncalves, A. (2013). Beginning Java EE 7. Books for professionals by professionals.
Apress. isbn: 978-1430246268.
Handbook, Electronic Reliability Design (1982). “MIL-HDBK-338B, October 1998”.
In: Robert G. Arno received his BS in Electrical Engineering from State Univer-sity of New York at Utica/Rome in.
Harrison, K., B. Bordbar, S. T. T. Ali, C. I. Dalton, and Norman. A. (2012). “A Framework for Detecting Malware in Cloud by Identifying Symptoms”. In: 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, pp. 164–172. doi: 10.1109/EDOC.2012.27.
Hibernate. Hibernate ORM. url: http : / / hibernate . org / orm/ (visited on 04/11/2017).
“IEEE Trial-Use Standard–Adoption of ISO/IEC TR 15026-1:2010 Systems and Software Engineering–Systems and Software Assurance–Part 1: Concepts and Vocabulary” (2011). In: IEEE Std 15026-1-2011, pp. 1–114.
Jouault, F., F. Allilaire, J. Bézivin, and I. Kurtev (2008). “ATL: A model transforma-tion tool”. In: Science of Computer Programming 72.1. Special Issue on Second issue of experimental software and toolkits (EST), pp. 31–39. issn: 0167-6423.
doi: 10.1016/j.scico.2007.08.002. url: http://www.sciencedirect.
com/science/article/pii/S0167642308000439.
Jouault, Frédéric (2005). “Loosely coupled traceability for ATL”. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) Workshop on Traceability. Nuremberg, Germany, pp. 29–37. isbn: 82-14-03813-8.
Karp, R. M. (1972). “Reducibility among Combinatorial Problems”. In: Complexity of Computer Computations: Proceedings of a symposium on the Complexity of Computer Computations. Ed. by R. E. Miller, J. W. Thatcher, and J. D.
Bohlinger. Boston, MA: Springer, pp. 85–103. isbn: 978-1-4684-2001-2. doi:
10.1007/978-1-4684-2001-2_9. url: https://doi.org/10.1007/978-1-4684-2001-2_9.
Kawaguchi, K, S. Vajjhala, and J. Fialli (2009). The JavaTMArchitecture for XML Binding (JAXB) 2.2. url: https://jcp.org/en/jsr/detail?id=222 (visited on 04/11/2017).
Kessentini, M., H. Sahraoui, and M. Boukadoum (2011). “Example-based model-transformation testing”. In: Automated Software Engineering 18.2, pp. 199–224.
issn: 1573-7535. doi: 10.1007/s10515-010-0079-3. url: https://doi.org/
10.1007/s10515-010-0079-3.
Khan, Y. A. and M. El-Attar (2016). “Using model transformation to refactor use case models based on antipatterns”. In: Information Systems Frontiers 18.1, pp. 171–204. doi: 10.1007/s10796-014-9528-z. url: http://dx.doi.org/
10.1007/s10796-014-9528-z.
Kolovos, Dimitrios S., Richard F. Paige, and Fiona A. C. Polack (2008). “The Epsilon Transformation Language”. In: Theory and Practice of Model Transformations:
First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings. Ed. by Antonio Vallecillo, Jeff Gray, and Alfonso Pierantonio. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 46–60. isbn: 978-3-540-69927-9.
doi: 10.1007/978-3-540-69927-9_4. url: https://doi.org/10.1007/978-3-540-69927-9_4.
Komaroff, M. and K. Baldwin (2005). DoD Software Assurance Initiative. url:
https://acc.dau.mil/adl/en-US/25749/file/3178/DoD/SW/Assurance/
Initiative.pdf (visited on 11/15/2013).
Kusel, A., J. Etzlstorfer, E. Kapsammer, P. Langer, W. Retschitzegger, J. Schoen-boeck, W. Schwinger, and M. Wimmer (2013). “A Survey on Incremental Model Transformation Approaches”. In: ME 2013 – Models and Evolution Workshop Proceedings. Miami, Florida (USA), pp. 2–11.
M., Harman, M. Munro, Lin Hu, and Xingyuan Zhang (2001). “Side-effect re-moval transformation”. In: Proceedings 9th International Workshop on Program Comprehension. IWPC 2001, pp. 310–319. doi: 10.1109/WPC.2001.921741.
Ma, K., B. Yang, and A. Abraham (2016). “Asynchronous data translation frame-work for converting relational tables to document stores”. In: International Jour-nal of Computers and Applications 38.1, pp. 19–28. doi: 10.1080/1206212X.
2016.1188563. eprint: http://www.tandfonline.com/doi/pdf/10.1080/
1206212X.2016.1188563. url: http://www.tandfonline.com/doi/abs/10.
1080/1206212X.2016.1188563.
McCabe, T. J. (1976). “A Complexity Measure”. In: IEEE Transactions on Software Engineering SE-2.4, pp. 308–320. issn: 0098-5589. doi: 10.1109/TSE.1976.
233837.
Mottu, J. M., B. Baudry, and Y. Le Traon (2008). “Model transformation testing:
oracle issue”. In: 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, pp. 105–112. doi: 10.1109/ICSTW.2008.
27.
NASA (2005). Software Assurance Standard, NASA-STD-8739.8 w/Change 1. Tech.
rep. National Aeronautics and Space Administration. url: http://www.hq.
nasa.gov/office/codeq/software/index.htm.
Object Management Group, Inc. MDA Specifications. url: http://www.omg.org/
mda/specs.htm (visited on 04/08/2017).
— (2005). A White Paper on Software Assurance. Tech. rep. Object Management Group, Inc. url: http://swa.omg.org/docs/softwareassurance.v3.pdf.
— (2008). MOF Model to Text Transformation Language, v1.0. url: http://www.
omg.org/spec/MOFM2T/1.0/ (visited on 04/21/2017).
— (2016a). Meta Object Facility (MOF) 2.0 Query View Transformation Speci-fication Version 1.3. url: http://www.omg.org/spec/QVT/1.3/ (visited on 04/10/2017).
— (2016b). Meta Object FacilityTM(MOFTM) Version 2.5.1. url: http://www.
omg.org/spec/MOF/2.5.1/ (visited on 04/10/2017).
Paige, R. F., G. K. Olsen, D. Kolovos, S Zschaler, and C. D. Power (2010). “Building Model-Driven Engineering Traceability Classifications”. In: Sintef, p. 49. url:
http://eprints.whiterose.ac.uk/109242/.
SAE International (2013). Serial Control and Communications Heavy Duty Vehicle Network - Top Level Document. url: https://saemobilus.sae.org/content/
J1939_201308(visited on 04/21/2017).
SAFECode (2008). Software Assurance: An Overview of Current Industry Best Practices. Tech. rep. SAFECode.
Sanders, G. L. and Seungkyoon Shin (2001). “Denormalization effects on perfor-mance of RDBMS”. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 9 pp.–. doi: 10.1109/HICSS.2001.926306.
Saxon, J. T., B. Bordbar, and D. H. Akehurst (2015). “Opening the Black-Box of Model Transformation”. In: Modelling Foundations and Applications: 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L‘Aquila, Italy, July 20-24, 2015. Proceedings. Ed. by G. Taentzer and F. Bordeleau.
Springer International Publishing, pp. 171–186. isbn: 978-3-319-21151-0. doi:
10.1007/978-3-319-21151-0_12.
Saxon, J. T., B. Bordbar, and K. Harrison (2015a). “Efficient Retrieval of Key Material for Inspecting Potentially Malicious Traffic in the Cloud”. In: 2015 IEEE International Conference on Cloud Engineering, pp. 155–164. doi: 10.
1109/IC2E.2015.26.
— (2015b). “Introspecting for RSA Key Material to Assist Intrusion Detection”.
In: IEEE Cloud Computing 2.5, pp. 30–38. issn: 2325-6095. doi: 10.1109/MCC.
2015.100.
Shah, S. M. A., K. Anastasakis, and B. Bordbar (2010). “From UML to Alloy and Back Again”. In: Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers. Ed. by S. Ghosh. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 158–171. isbn: 978-3-642-12261-3. doi: 10.1007/978-3-642-12261-3_16.
url: https://doi.org/10.1007/978-3-642-12261-3_16.
Shaw, A. L., B. Bordbar, J. T. Saxon, K. Harrison, and C. I. Dalton (2014).
“Forensic Virtual Machines: Dynamic Defence in the Cloud via Introspection”.
In: 2014 IEEE International Conference on Cloud Engineering, pp. 303–310.
doi: 10.1109/IC2E.2014.59.
Srivastava, A. (1999). Link time optimization via dead code elimination, code motion, code partitioning, code grouping, loop analysis with code motion, loop invariant analysis and active variable to register analysis. US Patent 5,999,737.
url: https://www.google.com/patents/US5999737.
Steinberg, D., F. Budinsky, E. Merks, and M. Paternostro (2008). EMF: Eclipse Modeling Framework. Eclipse Series. Pearson Education. isbn: 978-0132702218.
“Systems and software engineering – Vocabulary” (2010). In: ISO/IEC/IEEE 24765:2010(E), pp. 1–418. doi: 10.1109/IEEESTD.2010.5733835.
The Apache Foundation (2016). Apache HBase. url: https://hbase.apache.org (visited on 01/23/2017).
The MITRE Corporation (2017a). CybOX - Cyber Observable eXpression. url:
https://cyboxproject.github.io/ (visited on 06/06/2017).
— (2017b). STIX - Structured Threat Information Expression. url: http://
stixproject.github.io/ (visited on 06/06/2017).
Ullmann, J. R. (1976). “An Algorithm for Subgraph Isomorphism”. In: J. ACM 23.1, pp. 31–42. issn: 0004-5411. doi: 10.1145/321921.321925. url: http:
//doi.acm.org/10.1145/321921.321925.
Vara, J. M., V. A. Bollati, Á. Jiménez, and E. Marcos (2014). “Dealing with Traceability in the MDDof Model Transformations”. In: IEEE Transactions on Software Engineering 40.6, pp. 555–583. issn: 0098-5589. doi: 10.1109/TSE.
2014.2316132.
Varró, D., G. Bergmann, Á. Hegedüs, Á. Horváth, I. Ráth, and Z. Ujhelyi (2016).
“Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework”. In: Software & Systems Modeling 15.3, pp. 609–629. issn: 1619-1374. doi: 10.1007/s10270-016-0530-4. url:
https://doi.org/10.1007/s10270-016-0530-4.
Wang, Nannan, Xinbo Gao, Dacheng Tao, Heng Yang, and Xuelong Li (2017).
“Facial feature point detection: A comprehensive survey”. In: Neurocomputing.
issn: 0925-2312. doi: 10.1016/j.neucom.2017.05.013. url: http://www.
sciencedirect.com/science/article/pii/S0925231217308202.
Willink, E. D. and N. Matragkas (2014). QVT Traceability: What does it re-ally mean? url: http : / / www . eclipse . org / mmt / qvt / docs / ICMT2014 / QVTtraceability.pdf (visited on 03/04/2015).
Winkler, S. and J. von Pilgrim (2010). “A survey of traceability in requirements engineering and model-driven development”. In: Software & Systems Modeling 9.4, pp. 529–565. issn: 1619-1374. doi: 10.1007/s10270-009-0145-0. url:
https://doi.org/10.1007/s10270-009-0145-0.