by Jordi Cabot | Mar 29, 2011 | (meta)modeling, article
We propose to reuse the idea of UML Profiles for general EMF Models. Love them or hate them but UML profiles have been a key enabler for the success of UML. We believe a similar concept for DSMLs would provide an easier extension mechanism for EMF.
by | Mar 23, 2011 | Uncategorized
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?
by Jordi Cabot | Mar 23, 2011 | Uncategorized
No veo que haya consenso en relación al significado exacto de los términos programador y desarrollador con lo que voy dar mi punto de vista al respecto.
by | Mar 22, 2011 | Uncategorized
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) {
by | Mar 21, 2011 | Uncategorized
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
|=
Recent Comments