Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Managing the software process
Free choice Petri nets
Inter-organizational workflows for enterprise coordination
Coordination of Internet agents
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
DartFlow: A Workflow Management System on the Web using Transportable Agents
DartFlow: A Workflow Management System on the Web using Transportable Agents
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A flexible negotiation model for an agent-based software process modelling
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
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.