Database Reference
In-Depth Information
Lee, H. K. (1999). Semantics of recursive relationships in entity-relationship model.
Infor-
mation and Software Technology
, 41(13), 877-886.
Lilius, J., & Paltor, I. P. (1999). Formalising UML state machines for model checking. In
R. France & B. Rumpe (Eds.),
UML'99 the Unifi ed Modeling Language
(Vol. 1723
of LNCS, pp. 430-445). Springer.
Maggiolo-Schettini, A., Peron, A., & Tini, S. (2003). A comparison of statecharts step se-
mantics.
Theoretical Computer Science,
290(1), 465-498.
Mann, S., & Klar, M. (1998). A metamodel for object oriented statecharts. In The Second
Workshop on Rigorous Object Oriented Methods, ROOM 2.
Marttiin, P., Harmsen, F., & Rossi, M. (1996). A functional framework for evaluating method
engineering environments: the case of Maestro II/Decamerone and MetaEdit+. In S.
Brinkkemper, K. Lyytinen & R. J. Welke (Eds.),
Method engineering. Principles of
method construction and tool suppport
(pp. 63-86). Champan & Hall.
method construction and tool suppport
Miller, J., & Mukerji, J. (2003). MDA Guide version 1.0 omg/03-05-01. Available: http://
www.omg.org
OMG. (2002a, April). MOF specifi cation version 1.4 formal/2002-04-03. Available: http://
www.omg.org
OMG. (2002b, April). MOF 2.0 Query/Views/Transformations RFP ad/2002-04-10. Avail-
able: http://www.omg.org
OMG. (2003, March). UML specifi cation version 1.5 formal/2003-03-01. Available: http://
www.omg.org
Palanque, P., Bastide, R., Dourte, L., & Sibertin Blance, C. (1993). Design of user driven
interfaces using petri nets and objects. In C. Rolland, F. Bodart & C. Cauret (Eds.),
Advanced Information Systems Engineering, CAISE'93
(Vol. 685 of LNCS, pp. 569-
585). Springer.
Peterson, J. L. (1981).
Petri net theory and the modelling of systems
. Prentice Hall.
Reggio, G. (2002). Metamodelling behavioural aspects: The case of UML State Machines.
In H. Ehrig, B. J. Kramer & A. Erta (Eds.),
Proceedings of Integrated Design and
Process Technology, IDPT-2002.
Society for Design and Process Science.
Reggio, G., Knapp, A., Rumpe, B., Selic, B., & Wieringa, R. (Eds.). (2000).
Proceedings of
the UML 2000 Workshop Dynamic Behaviour in UML models: Semantic Questions.
Institut für Informatik. Ludwig-Maximilians-Universität München.
Rolland, C., Souveyet, C., & Moreno, M. (1995). An approach for defi ning ways of work-
ing.
Information Systems,
20(4), 337-359.
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., & Lorensen, W. (1991).
Object oriented
modeling and design.
Prentice Hall.
Rumbaugh, J., Jacobson, I., & Booch, G. (1999).
The Unifi ed Modeling Language reference
manual.
Addison Wesley.
Saeki, M. (1995). Object-oriented meta modelling. In M. P. Papazoglou (Ed.),
Proceedings
of the OOER'95, 14th International Object Oriented and Entity Relationship Model-
ling Conference
(Vol. 1021 of LNCS, pp. 250-259). Springer.
Saeki, M. (2000). Towards formal semantics of meta-models. In J. Bézivin & J. Ernst (Eds.),
Proceedings of the ECOOP 2000 International Workshop on Model Engineering
(pp.
method construction and tool suppport
(pp. 63-86). Champan & Hall.
2-9). Cannes, France.
Saeki, M. (2002). Role of model transformation in method engineering. In A. B. Pidduck,
J. Mylopoulos, C. C. Woo & M. T. Ozsu (Eds.),
Advanced information systems engi-
neering, CAISE 2002
(Vol. 2348 of LNCS, pp. 626-642). Springer.
