1. Fermat Re-Engineering Workbench Presentation

2. Agenda Assembler business issues Fermat Solutions –Workbench –Migration Service –Documentation engine About SML

3. Introduction IBM Mainframe Assembler –2 nd generation language –Optimisation of performance & resources Issues –Slow development environment –Inhibits business agility –Expensive to maintain and enhance Reality –Core transaction/utility systems –Continually modified and enhanced –Often self modifying code –Evolved code often poorly documented

4. SML Fermat Solutions Fermat Workbench –Presentation, comprehension, documentation includes: Business Rule Extraction Code slicing to identify where data is used or modified Identification of redundant code Migration Engine –Assembler to C,Cobol or Java Documentation Engine –High level collaboration

5. Core of the Fermat Solution is WSL Wide Spectrum Language –Solid Mathematical Foundation Infinitary First Order Logic –WSL placed in Public Domain under General Public License to stimulate further academic research –Examples Conditional code slicing Extending the WSL language for real time systems WSL to UML transformation

6. Fermat Architecture

7. Fermat Workbench Key User interface to the assembler system for –Comprehension –Estimating –Documentation –Business Rule Extraction

8. Fermat Workbench Set of Integrated tools –Function catalogue –Functional call graph –Data catalogue –Interactive editor and data tracker –Interactive program flow chart –Batch data tracker –Report generators –Business rules extraction (BRE) –Complexity metrics

9. Function Catalogue Automatically generated Shows relationships between modules, subroutines, macros and copy books

10. Function Call Graph Automatically generated Graphical representation of the functions in the system

11. Data Catalogue Details of all data and variables referenced by a module

12. Text Editor Fully featured text editor for locating and marking text and variables Used for annotating the source to aid documentation

13. Program Flowcharts Dynamically generated Flowchart used to aid comprehension of complex modules

14. Dynamic Integration of tools

15. Batch Data Tracker Sophisticated search engine used to identify data items in program modules across projects Faster and more functionality than using text editors.

16. Impact Assessment Reports Generated using the Batch Data Tracker or Easy Data Tracker Gives details of impact of change including hits, complexity and BRE impact

17. Business Rules Extraction The Workbench input process analyses the assembler code for Dataflow and control dependencies Via the text editor select data item(s) for BRE. Backwards search will determine code used to generate current data value Forward search determines what other code is affected as a result of this data item. Used to assess impact of change and extract hidden business rules from code

18. Metrics Metrics generated automatically as part of the import process. Raw WSL is the original assembler, structured WSL is after transformation ready for migration. Used to Estimate effort required for change requests.

19. Fermat Workbench Benefits Reduced skills dependency Automatic documentation of system Better estimating of costs and effort required for system change requests Easier comprehension of complex systems reducing coding and testing time required Increases productivity by 50%

20. Assembler Migration Assembler code is imported into WSL using input parser Comprehensive analysis and restructuring transformations applied Restructured WSL is translated to target source using export parser

21. Assembler Migration – Goals 100% Automatic migration of code Guaranteed functional equivalence Migrated code is structured, efficient and maintainable by programmers Original source and comments retained Fermat comments included in migrated code for integration into Fermat Workbench for comprehension Use of Parsers enables support for multiple assemblers and output languages

22. Supported Migrations Input Assemblers –IBM Mainframe 370,390,ZOS,TPF,Jovial plus compatibles plus Intel x86 plus embedded systems Output languages –C, Cobol, Java Other languages can be supported such as proprietary assemblers (e.g. TAL) with minimal development effort

23. Assembler Migration Service Service provided by SML off-site Fixed price project per line of code with minimal consultancy Based on an iterative cyclic project approach to fine tune the input and output parsers to meet user specific requirements

24. Assembler Migration – User input required Validation of migrated code to meet agreed standards For C no further action required For Cobol assistance to develop templates for various divisions, definition of Data Section, Working Storage and Linkage Sections

25. Assembler Migration Testing Migrated code will clean compile on target system Uses standard customer test bed systems and tools to test for functional equivalence Migrated Cobol code can be further processed to include more meaningful data description names as post migration project

26. Assembler Migration Benefits Fixed price projects Reduced cost (up to 80%) Reduced time and effort Guaranteed results Migrated code is maintainable by customer programmers

27. Documentation Engine Automatically populated by Fermat Technology Enables assembler systems to be documented in business terms Enables collaboration of analysts Internet based technology

28. Documentation Engine Assembler Source

29. Documentation User Interface Model Browser Based Easy Navigation Comprehensive levels of documentation and approval levels Populated by Fermat Integrated with the workbench Project collaboration

33. Introduction to SML Mid ‘80’s –Core technology research (Oxford, Durham University) Early ‘90’s –Migration projects to validate core research funded by IBM, CAA, DTI, etc Mid ‘90’s –Industry focus shifts to Y2K –FermaT 2000 launched users include: IBM world-wide, CSC, Equifax, New York Life Inc, El Al Airlines, etc Late ‘90’s –FermaT Workbench – focus on software maintenance 2003 –SML re-launched as a tool vendor specialising in Assembler Migration and Comprehension

34. Introduction to SML Fermat Technology developed over 17 years with over 120 man years effort Widely published in the academic arena The Fermat Technology and WSL kernel published as a textbook for the Academic arena and industrial practitioners Proven technology based sound mathematical principals A unique solution Delivering an unfair competitive advantage