skip to content
Modeling companion for software practitioners Preview this item
ClosePreview this item
Checking...

Modeling companion for software practitioners

Author: E Börger; Alexander Raschke
Publisher: Berlin, Germany : Springer, 2018.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: E Börger; Alexander Raschke
ISBN: 9783662566411 3662566419 3662566397 9783662566398
OCLC Number: 1030303457
Description: 1 online resource
Contents: 1 Introduction: The Role of Modeling --
2 Seven Constructs for Modeling Single-Agent Behavior --
3 Modeling Concurrent Systems --
4 Modeling Context Awareness --
5 Modeling Business Processes --
6 Modeling Distributed Dystems --
7 Syntax and Semantics of ASMs --
8 Debugging System Design (CoreASM) --
9 Control State Diagrams (Meta Model) --
Epilogue --
A Some Complete Models in a Nutshell --
References --
Index.
Responsibility: Egon Börger, Alexander Raschke.

Abstract:

This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book's website at http://modelingbook.informatik.uni-ulm.de.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1030303457> # Modeling companion for software practitioners
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1030303457" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4752307863#Topic/computers_software_development_&_engineering_general> ; # COMPUTERS--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4752307863#Topic/computer_software_mathematical_models> ; # Computer software--Mathematical models
    schema:about <http://dewey.info/class/005/e23/> ;
    schema:author <http://experiment.worldcat.org/entity/work/data/4752307863#Person/raschke_alexander> ; # Alexander Raschke
    schema:author <http://experiment.worldcat.org/entity/work/data/4752307863#Person/borger_e_egon_1946> ; # Egon Börger
    schema:bookFormat schema:EBook ;
    schema:datePublished "2018" ;
    schema:description "1 Introduction: The Role of Modeling -- 2 Seven Constructs for Modeling Single-Agent Behavior -- 3 Modeling Concurrent Systems -- 4 Modeling Context Awareness -- 5 Modeling Business Processes -- 6 Modeling Distributed Dystems -- 7 Syntax and Semantics of ASMs -- 8 Debugging System Design (CoreASM) -- 9 Control State Diagrams (Meta Model) -- Epilogue -- A Some Complete Models in a Nutshell -- References -- Index."@en ;
    schema:description "This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple form of Abstract State Machines (ASMs). The book introduces both the modeling method (Part I) and the available tool support (Part II): In Part I the authors detail (using numerous examples) how to construct, explain, debug, explore, extend and reuse accurate system design models, starting from scratch. Only an elementary knowledge of common mathematical (including set-theoretic) notation and some basic experience with computational processes (systems, programs, algorithms) is assumed. Part II then shows how the modeling method can be supported by implementing tools that make design models executable and debuggable. To illustrate how to build, debug and maintain systems and to explain their construction in a checkable manner, a general, problem-oriented refinement method is adopted to construct system models from components. The method starts with abstract models and refines them step by step, incrementally adding further details that eventually lead to code. Intended for practitioners who build software intensive systems, and students specializing in software engineering, it can be used both for self-study and for teaching, and it can serve as a reference book. Exercises are included to help readers check their understanding of the explained concepts. For many models defined in the book, refinements to executable versions can be downloaded for experimental validation from the book's website at http://modelingbook.informatik.uni-ulm.de."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4752307863> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4752307863#CreativeWork/> ;
    schema:name "Modeling companion for software practitioners"@en ;
    schema:productID "1030303457" ;
    schema:url <http://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783662566411> ;
    schema:url <https://doi.org/10.1007/978-3-662-56641-1> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-662-56641-1> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-662-56639-8> ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5335426> ;
    schema:url <https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1743797> ;
    schema:url <http://dx.doi.org/10.1007/978-3-662-56641-1> ;
    schema:workExample <http://worldcat.org/isbn/9783662566411> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-662-56641-1> ;
    schema:workExample <http://worldcat.org/isbn/9783662566398> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1030303457> ;
    .


Related Entities

<http://dx.doi.org/10.1007/978-3-662-56641-1>
    a schema:IndividualProduct ;
    rdfs:comment "Available from SpringerLink. Online version available for university members only. This requires an institutional login off-campus." ;
    .

<http://experiment.worldcat.org/entity/work/data/4752307863#Person/borger_e_egon_1946> # Egon Börger
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Börger" ;
    schema:givenName "Egon" ;
    schema:givenName "E." ;
    schema:name "Egon Börger" ;
    .

<http://experiment.worldcat.org/entity/work/data/4752307863#Person/raschke_alexander> # Alexander Raschke
    a schema:Person ;
    schema:familyName "Raschke" ;
    schema:givenName "Alexander" ;
    schema:name "Alexander Raschke" ;
    .

<http://experiment.worldcat.org/entity/work/data/4752307863#Topic/computer_software_mathematical_models> # Computer software--Mathematical models
    a schema:Intangible ;
    schema:name "Computer software--Mathematical models"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4752307863#Topic/computers_software_development_&_engineering_general> # COMPUTERS--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--General"@en ;
    .

<http://worldcat.org/entity/work/data/4752307863#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1030303457> ; # Modeling companion for software practitioners
    .

<http://worldcat.org/isbn/9783662566398>
    a schema:ProductModel ;
    schema:isbn "3662566397" ;
    schema:isbn "9783662566398" ;
    .

<http://worldcat.org/isbn/9783662566411>
    a schema:ProductModel ;
    schema:isbn "3662566419" ;
    schema:isbn "9783662566411" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.