This paper presents an approach for transforming UML Statecharts to General Stochastics Petri Nets. Unified Modelling Language (UML) is considered to be the standarditized language for modelling and describing systems behaviours for analysis. In other hand, Petri Net models are tools for the performance analysis of distributed systems. Graph grammars aims to bridge the gap between semi formal models generated by UML and formal notation as LGSPN models by means of transformations.Since the models wihch are concerned by this transformation are both graphs, we use Java based graph transformation and Eclipse tool to perform this process automatically.
A Web Service is a component written in any language, deployed on any platform, which has a standardwrapping layer based on XML.The component can interact with other applications which themselvescomply with the Web Services standards.Generally, a singleservice does not satisfy the users needs thatare more and more complex.Therefore, services must bemade abletobecomposedto build new valueadded services. This process is called Web services Composition. Thislatter is a critical subject thatrequires formal techniques for its completion. In this paper, we show how basic and existent services canbe composed to create a composite service which offers a new functionality. In this context, we propose anexpressive Labeled generalized stochastic Petri net based algebra that succeeds in the complex Webservices composition. Basic and advanced constructs which are supported by the proposed algebra aresyntactically and semantically defined
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.