The ASM Method for System Design and Analysis. A Tutorial Introduction

Source: www.di.unipi.it
Topic: SAP Tutorial

Short Desciption:
A Tutorial Introduction. Egon B orger. Universit a di Pisa Dipartimento di Informatica I56125 Pisa ... { modeling ecommerce and web services (at SAP) ...

 

Content Inside:
The ASM Method for System Design and Analysis. A Tutorial IntroductionPage 1The ASM Method for System Design andAnalysis. A Tutorial IntroductionEgon B orgerUniversit a di Pisa Dipartimento di Informatica I56125 Pisa Italyboerger@di.unipi.itAbstract. We introduce into and survey the ASM method for highlevel system design and analysis. We explain the three notions|AbstractState Machine 37] ASM ground model (system blueprint) 7] and ASMre nement 8]|that characterize the method which integrates also current validation and veri cation techniques. We illustrate how the methodallows the system engineer to rigorously capture requirements by ASMground models and to stepwise re ne these to code in a validatable andveri able way.1 Scope and Achievements of the ASM MethodAn outstanding feature of the ASM method is that within a single precise yetsimple conceptual framework it naturally supports and uniformly integrates thefollowing activities and techniques as illustrated by Fig. 1 (taken from 24]):{ the major software life cycle activities linking in a controllable way thetwo ends of the development of complex software systems: requirements capture by constructing rigorous ground models i.e.accurate concise highlevel system blueprints (system contracts) formulated in domainspeci c terms using an applicationoriented languagewhich can be understood by all stakeholders 7] architectural and component design bridging the gap between speci cation and code by piecemeal systematically documented detailing ofabstract models via stepwise re ned models to code 8] validation of models by their toolsupported simulation veri cation of model properties by toolsupported proof techniques documentation for inspection reuse and maintenance by providingthrough the intermediate models and their analysis explicit descriptionsof the software structure and of the major design decisions{ the principal modeling and analysis techniques on the basis of a systematic separation of di erent concerns (e.g. ...

 

 

sap2000 introductionpdf, tutorial system analysis and design, system analysis and design in programming pdf, sap2000 design and analysis, add code design sap2000