![](bg8.png)
REFERENCES
Attiogbé, C., 2004. «Systematic Derivation of a Validation
Model from a Rule-oriented Model : A System
Validation Case Study using PROMELA/SPIN»,
Proceedings of the 1
st
International Conference on
Information & Communication Technologies : from
Theory to Application – ICTTA’04
, Damas, Syria,
April.
Attiogbé, C., Poizat, P., Salaun, G., 2002. «Integration of
Formal Datatypes within State Diagrams», Technical
Report N°02.3, IRIN, University of Nantes, July.
Bittner, M., Kammüller, F., 2003. «Translating
Fusion/UML to Object-Z»,
1
st
ACM and IEEE
International Conference on Formal Methods and
Models for Co-design – MEMOCODE’03
, ISBN 0-
7695-1923-7/03, IEEE. Mt. St. Michel, France, June.
Bouabana-Tebibel, T., Belmesk, M., 2004. «Formalization
of UML object dynamics and behavior»,
2004 IEEE
International Conference on Systems, Man &
Cybernetics
, The Hague, Netherlands, October 10-13.
Delatour, J., De Lamotte, F., 2003. «ArgoPN : A CASE
Tool Merging UML and Petri Nets»,
1
st
International
Workshop on Validation and Verification of software
for Enterprise
Information Systems, in ICEIS, Angers,
April.
Elkoutbi, M., Keller, R. K., 2000. «User Interface
Prototyping based on UML Scenarios and High-level
Petri Nets»,
21st International Conference on
Application and Theory of Petri Nets ICATPN 2000
,
Aarhus, Denmark, LNCS, vol 1825, Pages 168-186,
Springer-Verlag.
Jensen, K., 1992.
Coloured Petri nets, Vol 1: Basic
Concepts
, Springer-Verlag.
Kim, S.-K., Carrington, D., 1999. «Formalizing The UML
Class Diagram Using Object-Z»,
UML’99 – The
Unified Modeling Language Beyond The Standard
,
Second International Conference, Fort Collins, CO,
USA, October 1999, LNCS vol. 1723, Springer.
Kuske, S., 2001. «A formal semantics of UML state
machines based on structured graph transformation»,
In M. Gogolla and C. Kobryn, ed. UML: The Unified
Modeling Language. Modeling Languages, Concepts
and Tools, volume 2185 of LNCS, pages 241-256.
Springer.
Lilius, J., Paltor, I., 1999. «
vUML a tool for verifying
UML models»,
Proceedings ASE’99, IEEE Computer
Society, pp. 255-258.
Meyer, E., 2001. Développement formels par objets :
utilisation conjointe de B et d’UML. PhD thesis,
LORIA, University of Nancy 2.
Object Modeling Group., 2001.
Unified Modeling
Language Specification
, version 1.4, September.
Roe, D., Broda, K., Russo, A., 2003. «Mapping UML
Models incorporating OCL Constraints into Object-
Z», Imperial College Technical Report N°2003/9,
September.
Saldhana, J. A., Shatz, S. M., 2001. «UML Diagrams to
Object Petri Net Models : An Approach for Modeling
and Analysis»,
PDCS’2001. 14th International
Conference on Parallel Systems, Uml and Petri nets
relations and distributed computing systems,
Las
Vegas, April.
Shalaer, S., Mellor, S. J., 1992.
Object life cycles –
Modeling the world in states
, Yourdon Press, Prentice
Hall.
Telelogic, 2003. UML Suite and SDL Suite
documentation
, , http://www.taug2.com/
Varpaaniemi, K., Halme J., Hiekkanen K., Pyssysalo T.,
1997.
PROD Reference Manuel, Helsinki University
of Technology, Digital Systems Laboratory, Finland.
Varro, D., 2002. «A Formal Semantics of UML
Statecharts by Model Transition Systems»,
ICGT’02,
Proc. of the 1
st
International Conference on Graph
Transformation
, Spain.
ICINCO 2004 - INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION
256