This study aims to automate the simulation of activity diagram (AD) in accordance with the OMG SysML specifications. We use the concept of model-driven engineering to transform AD into VHDL-AMS. This transformation is depicted in two transformations based on specifications given by the Object Management Group (OMG): Activity Diagram (AD) to Petri net (PN) and PN to VHDL-AMS. We have established...

Among the set of diagrams of UML used to express dynamic aspects of systems, the Activity Diagram (AD) is the only one that deals with Business Processes (BP) and workflows. However, the lack of a well-defined semantics leaves the notation open to many interpretations. In this paper we provide a simple semantics by formalising the UML Activity Diagram using finite state processes (FSP). A given...

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. A variety of semantics exist in the literature having tackled the aspects covered by this language. We can give as example denotational, functional and compositional semantics. To cope with the rec...

Giving a formal semantic to an UML Activity diagram (UML AD) is a hard task. The reason of this difficulty is the ambiguity and the absence of a precise formal semantic of such semi-formal formalism. A variety of semantics exist in the literature having tackled the aspects covered by this language. We can give as example denotational, functional and compositional semantics. To cope with the rec...

Unified Modeling Language (UML) is the Object Management Group (OMG) standard notation for object-oriented modeling. UML activity diagram (AD) are widely used to workflow and system flow in system analysis. However, activity diagram lacks support for simulation, dynamic semantics limits and verifiability capabilities. APN are a popular technique for modeling the control flow dimension of workfl...

the aim of this study was to develop a microemulsion system as a medium for laccase-catalyzed reactions. phase behavior studies were conducted by constructing partial pseudo-ternary phase diagrams for systems comprising of cetyltrimethylammonium bromide (ctab), various organic solvents as the oil phase (i.e., hexane, cyclohexane, heptane, octane, isooctane, toluene, isopropyl myristate), two co...

The Business Process Execution Language for Web Services (BPEL) has emerged as the de facto standard for implementing business processes. At the same time, Model Driven Architecture (MDA) is being applied to the field of business process engineering by separating business logic from the underlying platform technology. However, due to the challenge of mapping graph-oriented modeling languages to...

Layout, in the context of diagram editors, is the positioning of diagram components on the screen. Editor users enjoy automatic layout, but they usually like to control the layout at runtime, too. Our pattern-based layout approach allows for automatic and user-controlled layout at the same time: The diagram editor may automatically apply layout patterns to diagram parts based on syntactic rules...

Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation language, namely BPEL, and two fundamentally similar process modelling notations, namely UML Activity Diagram (UML AD) and BPMN. This paper presents a technique for generating BPEL code from process models expressed in a c...