automated reverse engineering of uml sequence ... - FBK | SE

More documents

Recommendations

Info

Browser session and unique pages // / // LifelinesPage transitions with parameters /Messages/Page transaction time MessageOccurrenceSpecification ///(Sending)MessageOccurrenceSpecification /(Receiving)BehaviorExecutionSpecification
CURRENT STATUSPHP TXLGrammarTXLTransformationRulesPHPDocumentsMySql TXLGrammarTXLTransformationRulesDatabaseschema Phase 1 (Behavior) PHP2XMI Completed, tuning(this work)Identification <strong>of</strong>Users, Roles,ResourcesXMI SecureUMLModelStatic AnalysisInstrumentationStaticAnalysisXMI to FormalModeltransformationAccess controlpropertiesMutantOperatorsInstrumentedPHP documentsStaticInformationModelCheckerRandomUserInputMutantInstrumentedPHP documentsSequenceDiagramClassDiagramCorrectCounterExampleExecutionTracesDynamicInformation
Page 2 and 3: CONTEXT Part of a FrameworkPHP TXLG
Page 4 and 5: WEB APPLICATION CHALLENGES Identifi
Page 6 and 7: GOALS & CONTRIBUTIONS A new reverse
Page 8 and 9: PHP2XMI - APPROACHDynamic PHPWeb Ap
Page 10 and 11: PHP2XMI - APPROACHDynamic PHPWeb Ap
Page 12 and 13: STAGE 1 - INSTRUMENTDynamic PHPWeb
Page 14 and 15: STAGE 1 - INSTRUMENT Parsing and in
Page 16 and 17: STAGE 2 - EXERCISEDynamic PHPWeb Ap
Page 18 and 19: STAGE 2 - EXERCISE Automatic dynami
Page 20 and 21: STAGE 3 - EXTRACT MODELDynamic PHPW
Page 24 and 25: CURRENT STATUSPHP TXLGrammarTXLTran
Page 26 and 27: CURRENT STATUSPHP TXLGrammarTXLTran
Page 28 and 29: CONCLUSION PHP2XMI: a new reverse e
Page 30: ?AUTOMATEDQUESTIONS?REVERSE ENGINEE

automated reverse engineering of uml sequence ... - FBK | SE

Create successful ePaper yourself

Delete template?

Save as template?