Abstract
Software process is a core of every software company and even in cases the processes are not documented they are still there. The cases when the process must be documented raise the need of powerful process framework, methodology, and tools that are able to catch every process aspect. Our current research focuses on creation of formal software process framework that combines mathematically precise approaches like OWL and Petri Nets with semi-formal techniques based on UML that make the framework easy to understand and use. Our recent results discussed the tools covering the modeling of dynamic process aspects with Colored Petri Nets transformed from UML activity diagrams. This paper presents the results by incorporating static aspects in the process of SP modeling and its simulations including resources, artifacts, and workers.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aalst, W.M.P., van der Hee, K.M., van Houben, G.J.: Modeling Workflow Management Systems with High-Level Petri-Nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proceedings of the Second Workshop on Computer-Supported Cooperative Work, Petri nets and Related Formalisms, pp. 31–50 (1994)
Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
Allemang, D., Hendler, J.: Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL (2008)
Brooks, F.P.: No Silver Bullet - Essence and Accidents of Software Engineering (reprinted form information processing 86, 1986). Computer 20(4), 10–19 (1987)
Czopik, J., Kosinar, A.M., Stolfa, J., Stolfa, S.: Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN. Paper presented at the Proceedings of the 5th International conference on Innovations in Bio-Inspired Computing and Applications, Ostrava (2014)
Du, Z., Yang, Y., Xu, J., Wang, J.: Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar (2011)
Jennings, N.R., Faratin, P., Norman, T.J., O’Brien, P., Odgers, B.: Autonomous agents for business process management. International Journal of Applied Artificial Intelligence 14(2), 145–189 (2000)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: modelling and validation of concurrent systems. Dordrecht: Springer. ISBN 978-3-642-00283-0 (2009)
Jung, K., Joo, S.: Transformation of an activity model into a Colored Petri Net model (2010)
Kammer, P.J., Bolcer, G.A., Taylor, R.N., Hitomi, A.S., Bergman, M.: Techniques for supporting dynamic and adaptive workflow. Computer Supported Cooperative Work 9(3-4), 269–292 (2000)
Kaufmann, M., Silver, G.A., Lacy, L.W., Miller, J.A.: Ontology based representations of simulation models following the process interaction world view. Paper presented at the Proceedings of the 38th conference on Winter simulation, Monterey, California (2006)
Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Computer Supported Cooperative Work 9(3-4), 399–412 (2000)
Košinár, M., Štolfa, J., Štolfa, S.: Knowledge Support for Software Processes. In: Proceedings of the 24th European-Japanese Conference on Information Modeling and Knowledge Bases
Kowalski, T.: Net Verifier of Discrete Event System models expressed by UML Activity Diagrams (2006)
Kruchten, P.: The rational unified process: an introduction. 3rd ed., xviii, 310 s. Addison-Wesley, Upper Saddle River (2004) ISBN 03-211-9770-4
Luati, A., Jerad, C., Barkaoui, K.: On CPN-based Verification of Hierarchical Formalization of UML 2 Interaction Overview Diagrams (2013)
Narendra, N.C.: Flexible support and management of adaptive workflow processes. Information Systems Frontiers 6(3), 247–262 (2004)
Raffo, D.M.: Modeling software processes quantitatively and assessing the impact of potential process changes on process performance. Carnegie Mellon University (1996)
Staines, T.S.: Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets (2008)
Vergidis, K., Tiwari, A., Majeed, B.: Business Process Analysis and Optimization: Beyond Reengineering. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews 38(1), 69–82 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Czopik, J., Košinár, M.A., Štolfa, J., Štolfa, S. (2015). Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN. In: Abraham, A., Krömer, P., Snasel, V. (eds) Afro-European Conference for Industrial Advancement. Advances in Intelligent Systems and Computing, vol 334. Springer, Cham. https://doi.org/10.1007/978-3-319-13572-4_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-13572-4_6
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-13571-7
Online ISBN: 978-3-319-13572-4
eBook Packages: EngineeringEngineering (R0)