Abstract
Software process technology is very important to improve the software quality. Some process models have been developed for process management during the software development process. Today’s software corporations become so large and geographically distributed that modeling cross-organizational software process becomes an important topic. In this paper, we use nets within nets to model cross-organizational software processes based on mobile agent systems. For indirect analysis of the model of nets within nets, this paper presents translation rules from nets within nets to flat nets, which preserve the soundness property. For enhancing the flexibility of execution, we introduce weak synchronous concept into the model of nets within nets.
Supported by NSFC (60273034, 60233010, 60403014), 863 Program of China (2004AA112090, 2002AA116010), 973 Program of China (2002CB312002), JSFC (BK2002203, BK2002409).
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
van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers, 21–66 (1998)
Cai, T., Gloor, P.A., Nog, S.: DARTFlow: A Workflow Management System on The Web Using Transportable Agents. Dartmouth College PCS-TR96-283
Deiters, W., Gruhn, V.: The FUNSOFT Net Approach to Software Process Management. International Journal on Software Engineering and Knowledge Engineering, 229–256 (1994)
Desel, J., Esparza, J.: Free choice Petri nets. Cambridge University Press, Cambridge (1995)
Divitini, M., Hanachi, C., Sibertin-Blanc, C.: Inter-Organizational Workflows for Enterprise Coordination. In: Coordination of Internet Agents: Models, Technologies, and Applications, pp. 369–398. Springer, Heidelberg (2001)
Humphrey, W.S.: Managing the Software Process. Addison-Wesley, Reading (1989)
Köhler, M., Moldt, D., Rölke, H.: Modelling mobility and mobile agents using nets within nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 121–140. Springer, Heidelberg (2003)
Köhler, M., Rölke, H.: Properties of Object Petri Nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 278–297. Springer, Heidelberg (2004)
Lakos, C.: From Coloured Petri nets to Object Petri nets. In: DeMichelis, G., Díaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 278–297. Springer, Heidelberg (1995)
Osterweil, L.J.: Software Processes are Software too. In: Proc. of ICSE, pp. 2–13 (1987)
Reisig, W.: An Introduction to Petri Nets. Springer, Heidelberg (1985)
Valk, R.: Petri nets as token objects: An introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)
Valk, R.: Concurrency in Communication Object Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 164–195. Springer, Heidelberg (2001)
(Eric) Verbeek, H.M.W., Hirnschall, A., van der Aalst, W.M.P.: XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 93–108. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ge, J., Hu, H., Lu, P., Hu, H., Lü, J. (2006). Translation of Nets Within Nets in Cross-organizational Software Process Modeling. In: Li, M., Boehm, B., Osterweil, L.J. (eds) Unifying the Software Process Spectrum. SPW 2005. Lecture Notes in Computer Science, vol 3840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11608035_30
Download citation
DOI: https://doi.org/10.1007/11608035_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31112-6
Online ISBN: 978-3-540-32450-8
eBook Packages: Computer ScienceComputer Science (R0)