In: Proceedings of Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, pages 93-97. Volume 3140 of Lecture Notes in Computer Science --- Springer-Verlag, July 2004.
Abstract: Web engineering can be seen as the application of software engineering in a particular environment ? the Web. Its most important aspect is the orientation towards distributed systems and their current technology. Current specification techniques like UML do not cover concurrency, distribution and deployment in a sufficient way. We propose a modeling technique based on high-level Petri nets, called reference nets. They naturally allow for the modeling of processes. Additionally we introduce a framework that covers the other aspects of Web application modeling. Finally we introduce a tool set based on Renew, a tool for reference nets, to support these modeling approach.
Keywords: High-level Petri nets; nets within nets; reference nets; Renew; Web service; modeling; specification; Mulan.