601 Hits in 5.6 sec

Using Colored Petri Nets for Verifying RESTful Service Composition [chapter]

Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau
2017 Lecture Notes in Computer Science  
In this paper, we present a formal approach based on Colored Petri Nets (CPNs) to verify RESTful service composition.  ...  Building RESTful service composition has received much interest to satisfy complex user requirements. However, verifying the correctness of a composition remains a tedious task.  ...  The authors acknowledge that the development work is carried out in a complementary manner with SIBEX: a French project funded by the Energy Transition Institute INEF 4.  ... 
doi:10.1007/978-3-319-69462-7_32 fatcat:qc6ekpvh6fgktkce4zwknc4gbu

Multi-agent Approach for Managing Workflows in an Inter-Cloud Environment [chapter]

Sofiane Bendoukha
2014 Lecture Notes in Computer Science  
New modeling techniques and tools based on Petri net formalisms are provided.  ...  The Cloud technology offers several attractive features for a number of applications.  ...  ., 2011] propose a model based on Colored Petri Nets (CPN) to analyze the Web Services Choreography Description Language (WS-CDL).  ... 
doi:10.1007/978-3-319-06859-6_48 fatcat:bhimsecfh5fgxgmoff4iaaakt4

An Agent-Based Model for Autonomic Coordination of Inter-Organizational Business Processes

Eric Andonoff, Wassim Bouaziz, Chihab Hanachi, Lotfi Bouzguenda
2009 Informatica  
Coordination of these processes is a fundamental issue that has been mainly addressed in a static context, but it still remains open in a dynamic one such as the Internet in which IOW applications are  ...  Finally, R is the set of rules governing the coordination.  ...  Each task involved in such an IOW is described as a Web service and the agent-based approach is used to add flexibility to the IOW supporting brokering of services.  ... 
doi:10.15388/informatica.2009.254 fatcat:ehp4nqsjpfha7jyu36hfmensbe

On the Use of Queueing Petri Nets for Modeling and Performance Analysis of Distributed Systems [chapter]

Samuel Kounev, Alejandro Buchm
2008 Petri Net, Theory and Applications  
Petri Net: Theory and Applications 150 fashion by considering a case study in which QPNs are used to model a real-life system and analyze its performance and scalability.  ...  After the case study, some concluding remarks are presented and the chapter is wrapped up in Section 5.  ...  The dealer domain hosts a Web application (called dealer application) that provides a Web-based interface to the services in the customer domain.  ... 
doi:10.5772/5317 fatcat:kwpkop5zhbbn5hj3fjmqng4wja

Experiences with simulations - a light and fast model for secure Web applications

R. Nou, J. Guitart, D. Carrera, J. Torres
2006 12th International Conference on Parallel and Distributed Systems - (ICPADS'06)  
We have used several results from research on the effect of admission control over SSL connections to verify our simulated approach.  ...  Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system; thus enabling a "what-if  ...  Acknowledgment This work is supported by the Ministry of Science and Technology of Spain and the European Union under contract TIN2004-07739-C02-01.  ... 
doi:10.1109/icpads.2006.45 dblp:conf/icpads/NouGCT06 fatcat:grjumj2wwfcthkuyqfqbxasmlq

JOpera: A Toolkit for Efficient Visual Composition of Web Services

Cesare Pautasso, Gustavo Alonso
2005 International Journal of Electronic Commerce  
Standard interfaces make it possible to compose more complex services out of basic ones.  ...  This paper tackles the problem of visual service composition and the efficient and scalable execution of the resulting composite services.  ...  Examples include state charts, used in the Mentor project, or Petri nets and such variations as Object Coordination Nets (OCoN) [40, 10000 Configuration: storage Task duration: seconds Persistent  ... 
doi:10.1080/10864415.2005.11044328 fatcat:54mlgb5dmzendp623txshjwvji

Benchmarking and Performance Modeling of Event-Based SystemsModellierung und Bewertung von Ereignis-basierten Systemen

Samuel Kounev, Kai Sachs
2009 it - Information Technology  
The techniques we review help to ensure that systems are designed and sized to meet their quality-of-service requirements.  ...  In this article, we provide an overview of the state-of-the-art in this area considering both centralized systems based on message-oriented middleware as well as large-scale distributed publish/subscribe  ...  QPNs can be seen as an extension of stochastic Petri nets that allows queues to be integrated into the places of a Petri net.  ... 
doi:10.1524/itit.2009.0550 fatcat:4nrqzg4mhvenfc34kfia5gjo3a

Performance modeling and analysis of message-oriented event-driven systems

Kai Sachs, Samuel Kounev, Alejandro Buchmann
2012 Journal of Software and Systems Modeling  
The methodology, which is based on queueing Petri nets, provides a basis for performance analysis and capacity planning.  ...  To guarantee adequate quality-of-service, systems must be subjected to a rigorous performance and scalability analysis before they are put into production.  ...  Queueing Petri nets (QPNs) Queueing Petri nets (QPNs) [3] can be seen as an extension of stochastic Petri nets that allow queues to be integrated into the places of a Petri net.  ... 
doi:10.1007/s10270-012-0228-1 fatcat:qkjjebcbpbbtzjpzs5xcx6lhya

Intelligent Software Agent Technology: An Overview

G. S.Bhamra, A. K. Verma, R. B. Patel
2014 International Journal of Computer Applications  
Sockets are a low-level communication service which allows programs to exchange information. Java TCP socket classes are an abstraction of TCP connection oriented sockets.  ...  , agents from a malicious AEE, one  ...  Agent Naming Service for identification ADK CS not maintained further Use air-ticket trading case study Miscellaneous agent-oriented G-net model(a type of high-level Petri net) to define the  ... 
doi:10.5120/15474-4160 fatcat:56m3xwinwjd43niglt6spuowri

Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets

S. Kounev
2006 IEEE Transactions on Software Engineering  
Taking advantage of the modeling power and expressiveness of Queueing Petri Nets, our approach makes it possible to model the system at a higher degree of accuracy, providing a number of important benefits  ...  In this paper, we present a novel case study of a realistic distributed component-based system, showing how Queueing Petri Net models can be exploited as a powerful performance prediction tool in the software  ...  He would also like to thank the anonymous reviewers for their thoughtful comments and suggestions which helped to improve the quality of the paper.  ... 
doi:10.1109/tse.2006.69 fatcat:cykcewv2hzb3zhunthhavpxexq

Detection and Modeling of Cyber Attacks with Petri Nets

Bartosz Jasiul, Marcin Szpyrka, Joanna Śliwa
2014 Entropy  
The proposed approach to modeling of malware behavior is based on colored Petri nets.  ...  The aim of this article is to present an approach to develop and verify a method of formal modeling of cyber threats directed at computer systems.  ...  Author Contributions All authors have contributed to the study and preparation of the article. All authors have read and approved the final manuscript.  ... 
doi:10.3390/e16126602 fatcat:k6wrfrokhzcsvohiiqmakiydjm

A Fresh Look at Modeling Distributed Reactive Systems

Roland Moser, Schahram Dustdar, Johannes Gutleber, Luciano Orsini
2013 2013 International Conference on Cloud and Green Computing  
Scalable, distributed reactive systems require a scalable control infrastructure. Being able to model such an infrastructure is a prerequisite for putting it into place.  ...  The outcome of our qualitative evaluation will show that current finite state machine compared to workflow based approaches have a bigger gap between specification and executed processes.  ...  ACKNOWLEDGMENT We wish to thank the CMS collaboration for providing the infrastructure to carry out the project.  ... 
doi:10.1109/cgc.2013.83 dblp:conf/cgc/MoserDGO13 fatcat:cts7gnmk4vednmwdbnjcxcgz4q

Situation Prediction Nets [chapter]

Norbert Baumgartner, Wolfgang Gottesheim, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
2010 Lecture Notes in Computer Science  
To improve the overall quality of prediction while keeping the modeling effort feasible, we propose a domain-independent approach based on Colored Petri Nets that complements our ontologydriven situation  ...  Such relations are described by domain-independent calculi, each of them focusing on a certain aspect, for example topology.  ...  of Web services [8] .  ... 
doi:10.1007/978-3-642-16373-9_15 fatcat:gyqrsws3rbgg7ae7ad7mnvaaom

Performance Prediction of J2EE Applications Using Messaging Protocols [chapter]

Yan Liu, Ian Gorton
2005 Lecture Notes in Computer Science  
In this paper, we present an approach to predicting the performance of Java 2 Enterprise Edition (J2EE) applications using messaging services.  ...  Messaging uses asynchronous communication, and must address quality of service issues such as message persistence and flow control.  ...  [7] , stochastic Petri nets [14] or stochastic process algebras [2] .  ... 
doi:10.1007/11424529_1 fatcat:2dtkp2hj5nddxp6sa7mhzmeki4

Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform

Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli
2015 Electronical Notes in Theoretical Computer Science  
The paper presents a model-based evaluation of scalability and security tradeoffs of a multi-service web-based platform, by evaluating how the introduction of security mechanisms may lead to a degradation  ...  The evaluation focuses on the OPENNESS platform, a webbased platform providing different kind of services, to different categories of users.  ...  Acknowledgement This work has been partially supported by the TENACE PRIN Project (n. 20103P34XC) funded by the Italian Ministry of Education, University and Research, and the PON Ricerca e Competitività  ... 
doi:10.1016/j.entcs.2014.12.015 fatcat:gysonrisgjbqhkyrhsqzcv34ca
« Previous Showing results 1 — 15 out of 601 results