... If outputing "Hello World" does not work for you as a side effect, here is another example: A state-machine for a Bank Account models the states "In...
Responding to Earnshaw... ... Right. One problem is that in most OOPLs there is no mechanism for mapping a class' knowledge attributes onto a simple, packed...
... Yeah, the difficulty involved in developing an efficient DIY mapping of your model formalism to a target language is always undersold by the method...
Responding to McNeile... ... I afraid I don't see it that way. I am asserting that it is contradictory for you to say that you do not map while, at the same ...
Responding to McNeile... ... I think their examples are awful for exactly that reason. The semantics clearly marks AcceptEventAction as an exception handler...
H.S. ... In an ealier post, you make the following distinction between two methods of using protocol descriptions to construct a solution. "One can map it...
H.S. ... Are you sure? This is the published standard, so I assume that the authors have constructed the examples carefully to show the actual intended usage. ...
Responding to Earnshaw... ... Philosophically I'm not convinced. The PIM is platform-independent and necessarily deals only with functional requirements. To...
Responding to McNeile... ... An analogic model /is/ a procedural mapping precisely because it maps a domain protocol (i.e., an ordered sequence of activities)...
... Just because it cannot update an attribute there is no reason it cannot "update" the state. H.S. will probably disapprove but if for a moment I associate...
Responding to McNeile... ... You're joking, right? The UML specs are rather legendary for their obtuseness. Why would the examples be any different? ...
H.S. ... The key idea of analogic modelling is that the domain description only includes the essential event constraints of the domain -- IOW, constraints...
Sri ... If you can hide updates (of state or attributes) inside monads, doesn't the whole distinction between functional and imperative become meaningless? You...
... I have to admit that even when I was reading the Executable UML book, I wasn't initially clear about where the events were coming from (or perh more to the...
... <snip> ... OK, I like this characterization of the situation much better. For some time I was following this discussion wondering exactly what the problem...
... For what it's worth, I find it useful, in this context, to think in terms of causal and non-causal phenomena, an idea I pinched from Michael Jackson[1]. A...
Responding to Nedunuri... ... Events are either internal or external. Internal events are generated by object state machines that are in the same subsystem...
Responding to Nedunuri... ... This was my interpretation. ... I see this quite differently in terms of separating concerns. When I do a PIM I am resolving the...
... No, there are no side effects (unless for some reason you *want* a mutable current state). Ah, I think I see where some of the confusion might be coming ...
... This much I am familiar with. My question (what it signified) was really directed at the kind of distinction that (I think) H.S. and Ashley were debating -...
... <snip> ... There is no paradox. There are a number of published solutions to the problem. Whether or not they are theoretical exotica depends on what...
... Eeek! I would have to click the leftmost radio button ("Stringly Disagree"). If I understand you correctly, you are saying that one modeling mechanism ...
Sri I think my questions would be: 1. Is Balance an attribute? 2. Is the value of "Balance" after a Withdaw different from its value before the Withdraw? 3....
Responding to Nedunuri... ... I believe the paradox lies in the fact that there is no fair and deterministic algorithm suitable for a von Neumann machine...
Responding to Nedunuri... ... I'm saying that _given OO is appropriate_ and _given that one is just doing a PIM solution_, I don't see a need for more than one...
H.S. ... Well, possibly :-) ... Good. That is clear. Perhaps the distance between us is less than I thought. I would still like to get to the heart of the...
... <snip> ... We must be miscommunicating. The multi-domain transaction I am referring to *is* the connecting together of the dots as you call it. Simplifying...
... Well to each his own I guess! I don't find it very intuitive to model the problem as interleaved state machines, just in order to avoid the dreaded C word...
Sri ... I agree. You have expressed well what I have been trying to say. (And I don't see why this is not OO either). Rgds Ashley [Non-text portions of this...
... It is difficult to answer these questions using only a pure functional language without painting myself into a functional language corner where what I am...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
