JCPNet tool and automated analysis of distributed systems
Abstract
References
Index Terms
- JCPNet tool and automated analysis of distributed systems
Recommendations
A formal semantics for supporting the automated synthesis of choreography-based architectures
ECSA '19: Proceedings of the 13th European Conference on Software Architecture - Volume 2Nowadays, we are surrounded by a rapidly increasing number of software applications that provide different services in various domains. To fulfill the needs of this new reality, software systems are often built by reusing and integrating existing ...
Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets
TASE '10: Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software EngineeringUsing Petri nets to model reconfigurable systems, where structure changes during runtime, have been one of the research axes in high level Petri nets domain. Numerous formalisms with different particularities have been proposed. These formalisms try to ...
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 194Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in