Software engineering with reusable components
Software engineering with reusable components
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Proceedings of the 2008 Spring simulation multiconference
Plugin-Agents as Conceptual Basis for Flexible Software Structures
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Hierarchical Set Decision Diagrams and Automatic Saturation
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
A lumped Markov process for a class of dynamic Petri nets
Proceedings of the 44th Annual Simulation Symposium
A framework for the development and execution of horizontal protocols in open BPM systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards a distributed tool platform based on mobile agents
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Analysis of multi-agent interactions with process mining techniques
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Applying multi-agent concepts to dynamic plug-in architectures
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
DENEB: a platform for the development and execution of interoperable dynamic Web processes
Concurrency and Computation: Practice & Experience
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
Hi-index | 0.00 |
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using nets-within-nets. Nets-within-nets represent a powerful formalism that allows active elements, i.e. nets, to be nested in arbitrary and dynamically changeable hierarchies. Applying the concepts from nets-within-nets, therefore, allows us to model complex dynamic system architectures in a simple way, which enables us to design the system at different levels of abstractions using refinements of net models. Additionally to the conceptual modeling of such architecture, we provide a practical example where the concept has been successfully applied in the development of the latest release of Renew (Version 2 of the multi-formalism Petri net IDE). The overall monolithic architecture has been exchanged with a system that is divided into a plug-in management system and plug-in's that provide functionality for the users. By combining plug-ins the system can be adapted to the users' needs. Through the introduction of the Petri net concepts, the new architecture is now – at runtime – dynamically extensible by registering plug-ins with the management system. The introduced architecture is applicable for any kind of architecture but most suitable for applications with dynamic structure.