![](bg6.png)
specification is put to actual use. UML based dia-
grammatic representations of processes facilitate soft-
ware project managers/engineers in understanding the
elements of a software process model, while the di-
rect executability of the resulted Petri nets provides
the means for simulation support. We have demon-
strated the applicability of our approach by describ-
ing a part of a standard software process modeling
example problem with UML diagrams. The subse-
quent analysis can be performed on a mechanically
generated Petri net representation.
The further development of our approach is an
ongoing task that takes place within the context of
MISSION-SPM project. Our current efforts concen-
trate on:
• exploitation of existing techniques to transform
other dynamic UML models of software processes
(e.g., activity diagrams) to equivalent formal repre-
sentations, expressed in terms of high-level timed
Petri nets (Eshuis and Wieringa, 2001),
• experimentation of various types of analysis tech-
niques on the resulted nets, in order to assist the
managerial decision process (Min et al., 2000), and
• specification of a fully compliant implementation
of our approach with the modelling constructs of
the SPEM metamodel; such a compliance will
make the MISSION-SPM approach general enough
to express and analyse various scenarios met in a
range of software development processes.
REFERENCES
Armenise, P., Bandinelli, S., Ghezzi, C., and Morzenti, A.
(1992). Software Process Representation Languages:
Survey and Assessment. In 4th International Confer-
ence on Software Engineering and Knowledge Engi-
neering, pages 455–462.
Baresi, L. and Pezze, M. (2001a). Improving UML with
Petri Nets. Electronic Notes in Theoretical Computer
Science, 44(4):1–13.
Baresi, L. and Pezze, M. (2001b). On Formalizing UML
with High-Level Petri Nets. Concurrent Object-
Oriented Programming and Petri Nets, Advances in
Petri Nets, LNCS 2001:276–304.
Cantor, M. (1998). Object - Oriented Project Management
with UML. John Wiley & Sons.
Chang, C. and Christensen, M. (1999). Net Practice
for Software Project Management. IEEE Software,
16(6):80–88.
Delatour, J. and Paludetto, M. (1998). UML/PNO: A Way
to Merge UML and Petri Net Objects for the Analysis
of Real-Time Systems. In OO Technology and Real
Time Systems Workshop (ECOOP’ 98), volume LNCS
1543, pages 511–514.
Eshuis, R. and Wieringa, R. (2001). A Real-Time Execu-
tion Semantics for UML Activity Diagrams. In Proc.
of Fundamental Approaches to Software Engineering
(FASE 2001), volume LNCS 2029, pages 76–90.
Fowler, M. (2004). UML Distilled. Addison-Wesley.
Gerogiannis, V. C., Kameas, A., and Pintelas, P. (1998).
Classification & Comparative Study of High-Level
Petri Nets. Journal of Systems & Software, 43(2):133–
160.
Ghezzi, C., Mandriolli, D., Morasca, S., and Pezze, M.
(1991). A Unified High-Level Petri Net Formalism for
Time-Critical Systems. IEEE Transactions on Soft-
ware Engineering, 17:160–172.
Jacobson, I., Booch, G., and Rumbaugh, J. (1999). The Uni-
fied Software Development Process. Addison-Wesley.
Jensen, K. (1995). Coloured Petri Nets: Basic Concepts,
Analysis Methods and Practical Use, volume 1 & 2.
Springer.
Kellner, M., Feiler, P. H., Finkelstein, A., Katayama, T.,
Osterweil, L. J., Penedo, M. H., and Rombach, H. D.
(1991). ISPW-6 Software Process Example. In CS, I.,
editor, 1st International Conference on the Software
Process, pages 176–187.
Liu, L. C. and Horowitz, E. (1989). A Formal Model for
Software Project Management. IEEE Transactions on
Software Engineering, 15(10):280–293.
Mehrez, A., Muzumdar, M., Acar, W., and Weinroth, G.
(1995). A Petri-Net Model View of Decision Making:
An Operational Management Analysis. Omega Inter-
national Journal in Management Science, 23(1):63–
78.
Min, S. Y., Lee, D. H., and Bae, D. H. (2000). SoftPM:
A SW Process Management System Reconciling For-
malism with Easiness. Information & Software Tech-
nology, 42(1):1–16.
Murata, T. (1989). Petri Nets: Properties, Analysis and Ap-
plications. Proceedings of the IEEE, 77(4):541–580.
Murch, R. (2001). PM Best Practices for IT Professionals.
Prenctice Hall.
OMG (2005). Software Process Engineering Metamodel,
Ver. 1.1. OMG.
Pooley, R. and King, P. (1999). Using UML to Derive
Stochastic Petri Net Models. In 15th Annual UK Per-
formance Engineering Workshop, pages 45–56.
Royce, W. (1998). Software Project Management: A Uni-
fied Framework. Addison-Wesley.
Wallace, L. and Keil, M. (2004). Software Project Risks
& Their Effect on Outcomes. Communications of the
ACM, 47(4):68–73.
ICSOFT 2006 - INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES
132