Possibilistic Petri nets as a basis for agent service description language

2004 ◽  
Vol 144 (1) ◽  
pp. 105-126 ◽  
Author(s):  
Jonathan Lee ◽  
K.F.R. Liu ◽  
Y.-C. Wang ◽  
W. Chiang
2012 ◽  
Vol 58 (4) ◽  
pp. 397-402 ◽  
Author(s):  
Michał Doligalski ◽  
Marian Adamski

Abstract The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. Logical synthesis of dual model is realized by the description of HCfgPN model by means of hardware description language. The paper presents placesoriented method for HCfgPN description in VHDL language


Author(s):  
Hind Benfenatki ◽  
Catarina Ferreira Da Silva ◽  
Aïcha-Nabila Benharkat ◽  
Parisa Ghodous ◽  
Zakaria Maamar

Linked Unified Service Description Language (Linked USDL) provides a comprehensive way for describing services from operational, technical, and business perspectives. However, this description treats services as isolated components that offer functionalities only without emphasis on how they are used. This paper discusses how to extend Linked USDL in a way that permits to describe the services of a marketplace in support of automating the provisioning of service-oriented cloud-based business applications along with satisfying users' requirements. The marketplace consists of business services that can be composed and specialized services that act on behalf of the infrastructure upon which these applications are deployed. A set of experiments demonstrating the use of the extended Linked USDL are also presented in the paper.


2011 ◽  
Vol 08 (04) ◽  
pp. 291-302
Author(s):  
RAVI SHANKAR PANDEY

Web services are programs which perform some elementary business process of an application and are distributed over the Internet. These services are described, discovered and executed using standard languages WSDL, SOAP and UDDI. Proliferation of web services has resulted in intense competition between providers, which provide the same service. To survive in such a competitive environment, they need to advertise the quality of their service. Web service description language does not provide support to describe quality attributes. Recently, DAmbrogio proposed QOS model of web services based on a meta model of WSDL. In this paper, we present a platform to advertise QOS as declared by the service provider. This tool generates a WSDL file from Java code along with its quality of service attributes. It accepts Java code and a file containing quality attributes. These attributes include reliability, availability, and operation demand and operation latency. These attributes are included in WSDL file as a content of description element.


Author(s):  
Wan Nurhayati Wan Ab. Rahman ◽  
Farid Meziane

The development, registration, discovery, and invocation of quality Web services are vital for the successful implementation of applications using Web services. Considerable research focuses on quality for Web services. Unfortunately, current research on Quality of Service (QoS) for Web services is concentrated on service users and the implementation stage. This research highlights the importance of incorporating QoS at the design and development stages; the authors propose the introduction of QoS at the same time as functional requirements. However, Web Service Description Language (WSDL) describes the functional elements of a Web service, and QoS is significant for this description. Therefore, the authors propose an extension to the WSDL through a generic QoS metamodel, incorporating QoS specifications into the functionalities. This paper begins by defining the required QoS specifications for the development of quality Web services and explores the potential of the Unified Modeling Language as a technique and notation to specify QoS. To properly integrate QoS in the design, the authors propose extensions to the existing UML QoS profile. The paper concludes with the evaluation of the proposed framework and summarises its advantages.


2013 ◽  
Vol 765-767 ◽  
pp. 1550-1555
Author(s):  
Xiao Yun Zhang ◽  
Chan Le Wu ◽  
Xue Su

Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. This paper proposes an aspect oriented method to model and analyze self-recovery of cloud application according to its characteristics. Petri nets are used as the formal description language for cloud application, and use it to describe its basic elements, such as, cloud module, resource service, physical machine, virtual machine, etc. Aspect oriented programming method is used to extract self-recovery process as the core and crosscutting concerns. On this basis, the self-recovery approach is presented, the related theories and tools of Petri nets are used to verify the correctness of proposed method. Experiments show that the proposed solutions have better performance in supporting the self-healing Web service composition.


Sign in / Sign up

Export Citation Format

Share Document