Concurrency: State Models and Java Programs (Anglais) Relié – 21 avril 2006
- Choisissez parmi 17 000 points de collecte en France
- Les membres du programme Amazon Prime bénéficient de livraison gratuites illimitées
- Trouvez votre point de collecte et ajoutez-le à votre carnet d’adresses
- Sélectionnez cette adresse lors de votre commande
Les clients ayant acheté cet article ont également acheté
Description du produit
Revue de presse
––Computing Reviews, June 2000 --Ce texte fait référence à l'édition Relié.
Présentation de l'éditeur
New features include:
- New chapters covering program verification and logicalproperties.
- More student exercises.
- Supporting website contains an updated version of the LTSA toolfor modelling concurrency, model animation, and modelchecking.
- Website also includes the full set of state models, javaexamples, and demonstration programs and a comprehensive set ofoverhead slides for course presentation.
Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.
Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.
Détails sur le produit
Si vous vendez ce produit, souhaitez-vous suggérer des mises à jour par l'intermédiaire du support vendeur ?
Commentaires client les plus utiles sur Amazon.com
I found it confusing at first to adjust to the kind of thinking required to create the models, I think mainly because the FSP language in which the models are constructed is a language that allows one to describe transition systems, not one in which to program a system. Once I developed my own mental translation of the FSP syntax and grammar I made much better progress. For example, the "|" operator used within a local process definition basically creates a set of possible transitions out of the current state, while the "when" operator determines which of the states will receive the transition that follows it. There is a lot of power in the indexed processes, but it took me a bit to grasp that an indexed local process essentially creates multiple states.
Another stumbling block for me was that although the book is clear that its focus is on the transitions between states, rather than the states, that concept also took me a while to grasp. My previous experience with Finite State Automata had me trying to focus on the states as the foreground, with transitions as the background. In the LTSA, states are so much background that they only get numbers, not names. The transitions are the main focus. Once I grasped this, and read the start of the book over again, I saw that the author had been clear about this up front; my own pre-conceptions had kept me from seeing what was written.
I didn't get to due much with the FLUENT extensions to the LTSA that are supposed to add time to the models; my class had moved on to the UPPAAL modeling tool to incorporate time. Although I found UPPAAL to have a richer basis for modeling, I'm not sure I would have grasped UPPAAL as quickly if I hadn't had the LTSA experience first. Overall I'm happy with my experience with the material in this book, but I have a nagging suspicion that there might be a way to present the material in a manner that is more easily accessible.
Most of the text uses the FSP language to present models of processes. Finite state diagrams are also plentiful and add to the visual presentation. Sample Java code is also woven into the discussions - these graphical Java applets do have a "wow" factor. I think my reservations have to do with certain topics that could be easily presented but are made more complicated with the addition of elaborate FSP models that can slow down the reader. At times the material gets too far down into nuts and bolts when a more general view can work just as well.
It, without any justification, throws the reader into a whirlwind of nonsensical terminology ; and renders itself useless in absence of other resources for understanding LTSA, FSP, etc etc .... This book is almost a scam.
No real mention of how the modern concurrency API in java relates to these concepts.