USER FORUM TOPIC The Mathematical Foundations for Models

I think, Model Theory (mathematical) may be the most important foundation for models.

However, it seems there are some basic puzzles, such as some inconsistencies in the use for term of model?

Are there anybody who is interesting in, or have any clues for, this issue?

USER FORUM TOPIC When does a transition change object state, before or after execution transition code?

Hello ALL!

I’m manually implementing my state charts from UML to obj-c (a character behaviour) and my question is:
When does a transition change object state, before or after execution transition code?

Here is my sample code that executes transition code before changing object state (it’s aMoleHid) but I’m not sure this is correct:


-(void) changeState:(BurrowState)state {

[self onExitState:m_state];

if (m_state==BURROW_STARTING && state==BURROW_EMPTY) {

} else if (m_state==BURROW_EMPTY && state==BURROW_MOLE_APPEARING) {

USER FORUM TOPIC IEEE 830 & Model Theory

Quite obviously the “Characteristics of good Sowftware Requirements Specs” IN IEEE 830 correspond TO concepts OF formal Model Theory AND Reasoning. Just IN CASE you don’t know them by heart: Correct, Unambiguous, Complete, Consistent, …

Unfortunately I couldn’t find anywhere SOME sort OF derivation OR foundations OF these characteristics FROM the concepts OF Logic (doesn’t have to be strictly formal). Sad that such things tend to get lost over time, since they contain so much of the original intentions.

Has anybody come across such stuff? Any clue would be great.

Have Fun
|=

Pin It on Pinterest