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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-13572-4_6 | AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT, AECIA 2014 |
Keywords | Field | DocType |
software process,formal methods,OWL,UML,formalization,Activity Diagram,CPN | Petri net,Programming language,Unified Modeling Language,Computer science,Activity diagram,Communication diagram,Applications of UML,Software development process,Formal methods,Class diagram | Conference |
Volume | ISSN | Citations |
334 | 2194-5357 | 0 |
PageRank | References | Authors |
0.34 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan Czopik | 1 | 3 | 1.44 |
michael alexander kosinar | 2 | 0 | 0.34 |
Jakub Štolfa | 3 | 13 | 10.23 |
Svatopluk Štolfa | 4 | 25 | 13.96 |