Extensible Process Support Environments for Web Services Orchestration

Size: px
Start display at page:

Download "Extensible Process Support Environments for Web Services Orchestration"

Transcription

1 International IEEE Conference on Next Generation Web Services Practices August 22-26, 2005, Seoul, Korea Extensible Process Support Environments for Web Services Orchestration Jacky Estublier, and Sonia Sanlaville LSR-IMAG, 220 rue de la Chimie BP53, 3804 Grenoble Cedex 9, France {Jacky.Estublier, Abstract Processes can be used to integrate, coordinate and interact with many actors and software in many application domains; their range of needs and objectives is virtually unlimited. A system fitting all needs would be huge and complex, too hard to use and evolve, but on the other extreme, developing many specialized Process environments for each need would lead to a situation where many independent and incompatible process islands prohibit a consistent and global process management of a company. This paper proposes an approach where a process environment can be tailored to specific needs, most notably for Web service orchestration. We illustrate the approach by an example and justify it by the validations we have made.. Introduction A process is the way a company uses its resources to perform its work. A process model is a formal (or at least explicit) way to represent a process. A process environment is a computerized system, supporting some of the activities related to processes, including their capture, elicitation, definition, execution, improvement and so on. Processes can be used to coordinate very different systems : industrial production (e.g. car builders), services (e.g. tourism), software developers (e.g. software vendors), business (e.g. banks) and of course web services. For this reason it is difficult to talk about process support environment in the abstract, it is an open world, with unclear and moving boundaries. Following most work performed in the Process Support Environments (PSE) area, a process model is governed by a metamodel (be it formal or not). A metamodel covering all potential uses of processes is impossible to define and even if it existed, it would be so big and complex that it would be unusable. Fortunately, each process use has specific characteristics and limited needs, making reasonable to define a specific metamodel and the corresponding PSE for each one of them. Clearly, the problem is that it is not economically feasible to build a different PSE for each company and even if it was, since the company evolves, the PSE should be reworked permanently. A specific metamodel for every given specific use or company, or even a limited range of the same, is not only economically unrealistic, but at the same time it does not provide a satisfactory solution. Nevertheless, in order to address the largest possible market, PSE vendors seek to develop PSEs capable to address a market segment as wide as possible but, not only is this market segment not as wide as expected and the modeling capabilities not very deep, but also the resulting PSE is a large and monolithic piece of software. Even with a wide scope PSE, it is likely that the user has a specific need on a tiny part of the system (e.g. orchestration) and, as it is monolithic, its extension is often too expensive to be performed, and efficiency too poor. Altogether, the situation is not satisfactory, to say the least. Along the last 0 years our research work has been to try to find a satisfactory solution to these issues; simply stated: how to build simple, easily extensible PSEs, that can orchestrate different and heterogeneous components (Web Services, Object Oriented, component technology, COTS, etc.). In this paper, we propose an approach to build process support environment extensible and evolutive. Section 2 introduces our platform Melusine. We present in section 3 our proposition, which identifies four classes of extensions. Section 4 presents an evaluation of our approach. A discussion of related works and concluding remarks completes this paper. 2. The Melusine platform architecture Our platform, Mélusine, allows designing, implementing and executing processes that are able, among other things, to coordinate humans, tools and Web services. Software applications designed with Mélusine have a three-layer architecture: the conceptual layer (supporting the process and the coordination) the mediation layer (adaptation between the conceptual layer and the current services) and

2 the tools and web services. We discuss in this section the rationale that led us to define such an architecture. 2.. The conceptual layer Mélusine supports the concept of conceptual domain, which is the metamodel of an application area. Mélusine philosophy requires that the conceptual domain only contain the core concepts, relevant in the considered application domain. Following the Mélusine philosophy, Process conceptual domain [8], [9], [0], [4] only contains the core process concepts: activities, ports, products, roles, data flow (Figure ). +subactivities Role +playrole..n Resource Activity +entryport +exitport +desktop Port DataFlow Product Product Type Figure. The Mélusine process Metamodel Mélusine process domain supports dynamic evolution; at any point in time it is possible to change the process model, or anyone of its instances, by adding/removing activities, data flows, products or resources. Changes performed on an instance have effect on this instance only, while changes on a model have effect on any future execution of this model. The ADEPT workflow system [2] is among the few proposing similar dynamic capabilities. The Mélusine process domain graphical language is simple and at a high level of abstraction (see Figure 2) where activities are rectangles linked by data flow. Figure 2. A process model example At execution, this model is instantiated each time a document needs to be edited. This execution is performed in the conceptual layer and communicates with the mediator layer just below The Mediator layer Traditionally, the process model directly indicates which are the tools (or web services) involved in an activity [2]. This coupling the process model to the tools is inconvenient since the process model represents the what and the tools the how. Therefore, we believe that the process pertains to the conceptual layer and must be kept independent from the tools, web services and devices that will be used to implement the activities. Relating both layers is the duty of the mediation layer. The mediation layer contains adaptors (Figure 3); an adaptor is a sequence of calls to the tools that implement the activity. Mélusine supports different classes of tools; a tool can be local, distant, client server or a web service; it can be ad hoc or COTS in a transparent way. Mélusine also supports different communication protocols: RMI, socket or SOAP. Tools and communication protocols can be modeled statically and/or defined and changed dynamically. Figure 3 shows how the process model presented in Figure 2 can be linked to the tools. When Edit activity starts, adaptor A is launched, that calls Editor Web Service. When Edit activity is over, Review activity starts, A2 is called and A2 adds this activity in the reviewer Agenda Tool. Conceptual layer process instance "Edit a specification document for P production" workflow Adaptor A Mediation layer Editor service Adaptor A2 Reviewer service Tools layer Editor Web Service Agenda Tool Figure 3. The Mélusine three-layer architecture Mélusine platform supports persistency, failure recovery, run time monitoring, orchestration and dynamic evolution during execution. 3. Evolution We propose in this paper a method and an environment for building extensible process support environments. In our approach, the core process support system only contains the basic process concepts, but this core metamodel can be extended, in order to include new concepts or to change the semantics of the existing core concepts. This section presents how a core metamodel can be extended. We have identified fours classes of extensions that can be applied to an existing metamodel: Behavioral Extension, that changes the behavior of the concepts already existing in the metamodel. Metamodel Extension, that adds new concepts to the current metamodel. Refinement, that provides a more detailed definition of a concept already present in the core metamodel. Composition, that builds a new metamodel by combining two existing and independent metamodels. It is possible to combine these different kinds of extensions, providing a very wide range of possibilities for extending a metamodel. These kinds of extensions are described bellow.

3 3.. Behavioral Extension (features) Behavioral extensions correspond to the modification of the metamodel behavior; with respect to the default behavior. For example, in the process domain, one may want to store execution traces; it means that the behavior associated to starting and ending an activity will also save some information in a file, like the date, the responsible of the activity and so on. Behavioral extensions are implemented by specific adaptors, that capture the set of standard behaviors and redefine or change them. New tools may be needed to implement the extended behavior. In our example, the adaptor captures the start and end of all activities, and calls the Trace tool. Depending on the Trace tools selection, the trace can be saved on different media and in different formats. We call feature this kind of extension, since it is an optional behavior and the user may decide to use it or not. It is enough to select the features and the extended behavior becomes active. It is important to notice that a feature do not change the current metamodel and in particular, no new concept is added. Process meta-model 3.2. Metamodel Extension Metamodel extension consists in adding new concepts and associations to the current metamodel. In our process domain, a possible extension could be exception management. It requires defining the concept of exception (three classes of exceptions are defined in the example below) and the associated behavior (defining exception scope, detection and handling). In other words, we have to define a metamodel for exception handling and to indicate how these concepts are related to the process concepts (Figure 4). In practice, this means that we have to define the associations between the process concepts, as found in the process metamodel and the exception concepts, found in the exception metamodel. In this example, we have defined that an activity may have an associated deadline, a port may have conditions and an activity may receive an exception. We have to define the semantics of these associations, for example that if an activity is not finished at deadline, it will receive an exception. A detailed description of exception handling is out of the scope of this paper. The relationships between the core domain and the extension have to be analyzed at three levels: metamodel, model and instances. depends_of Exception meta-model meta-model level «M 2» +subactivities Role +playrole..n Resource Activity +entryport +exitport +desktop Port DataFlow Product Product Type depends Alarm Exception Condition Exception Condition Coherence Exception model level «M» Conform_to Process model "Edit Doc" workflow instance_of Process instance "Edit a specification document for P production" workflow Conform_to synchronizersexception model Review Alarm Review Edit Alarm Edit instance_of instance_of Exception instance Review Alarm send message «M0» Figure 4. Metamodel Extension synchronizers Review at 5/02/2005 8:00 PM Metamodel level. The new concepts (Exception,, Condition) are associated with the classes that perform the job (starting an alarm for the deadline and so on) and the associations (Exception / Activity, Activity /,Port / Condition) are implemented as synchronizers. A synchronizer links a core concept with an extended concept, it captures the relevant event occurring in the core concept (in the example, it captures activity start and termination) and

4 it calls the classes in the extension, providing the relevant information (context, parameters and so on). instance with the right information and links it to the activity that has reached its deadline (Figure 6). The exception instance, through its adaptor may launch a tool for the exception management (like calling a web service, starting specific exception management and so on) Refinement Figure 5. Process exceptions model editor Model level., Condition and Exception concepts are now part of the extended metamodel, therefore the actual activities found in the existing (and future) models may be associated with deadlines and exceptions. This shows that the extension propagate to the model level. For reusability reasons, the existing models should not be modified. This can be solved by developing new models expressing how the entities present in an existing model are extended. In our example, a process exception model editor has been developed that takes as input the graphical representation produced by the process model editor, and annotates it with the deadline and exception information. This is illustrated in Figure 5 where Review activity will be associated with a deadline. For each association activity-deadline this editor generates the code that only captures those activities having a deadline and provides the synchronizer with the deadline value associated to the current activity. Conceptual layer process instance exception instance synchronizers Edit spec document for P production workflow Tools Adaptor Editor Web Service Adaptor Agenda Tool Clock Tool Review Alarm send message Review at 5/02/2005 8:00 PM Exception Manager Web Service Figure 6. The deadline and alarm extensions at execution Instance level. At execution, the synchronizer is started for the right activities only; the synchronizer collects the needed information, creates the deadline instances with the right initialization information (the date and time for the actual deadline) and maintains a link between both instances (activity/deadline). When the deadline instance receives the clock signal, it instantiates an exception The basis of the approach is to use a very small metamodel, containing Activity, Product, Port, Role and DataFlow. These concepts are extremely simple, they do not contain any detail; this is particularly true for products that only have a name (a string) and a type (a string). Clearly, in real applications, products are much more than a name. A product can be a record in a database, a file, or thousands of files and directories, it can be a product in a CAD tool and so on. For each application, there is a need to refine some concepts, to fit the application reality. Refinement consists in providing the complete definition for a concept that already exists in the core metamodel, but is not enough precise. For example, in our process metamodel, the product concept is only a placeholder for the real definition of product, as used in the application at hand. Refinement is realized by establishing a (refinement) link between the product concept, as found in the process domain, with the document concept in the document metamodel. The refinement relationship is by nature a - relationship, each product will be considered dynamically as being a document containing files and attributes. This relationship is implemented in the same way as the extension relationship Composition The extension and refinement techniques do not allow to build an application managing a concept not present in the metamodel concern. This limitation is severe, since it implies that, either the applications will be limited to a given functional area (process in our example), or the core metamodel contains all the concepts that may be useful for at least one application. To build large applications, covering concerns not defined a priori, the metamodel should be extended with other autonomous domains that already exist, so independent domains have to be composed. Composing two metamodels means establishing associations between their concepts and maybe also defining new, emerging concepts. In our example, we have defined a workspace domain, managing private copies of files and directories in the current

5 user machine, and associating tools and actions to these files. +subactivities Process meta-model Role +playrole..n Resource Activity Workspace directory +entryport +exitport +desktop +current +historic File User Item Port Directory DataFlow Product Product Type composition Workspace meta-model..n Figure 7. Process and Workspace meta models composition Composing the workspace domain with the process domains means establishing an association between Activity and Workspace, and between Port and Workspace (Figure 7). The first one is used to synchronize activities and workspace: when an activity instance is created/deleted, a workspace instance is created/deleted in the machine of the user responsible of that activity and a link is established/deleted between the two instances. The link between port and workspace synchronizes the products arriving/leaving the port of an activity with the associated files being copied/removed from the associated workspace, in which the tools and actions defined in the workspace model are executed. 4. Experimentations and validation Mélusine system presented above is the result of a long work on process support, that we started in the late 80s. The idea of defining a core process metamodel (presented here) and to provide a refinement mechanism appeared in the Hence we have built our first composite domain (Process = Activity + Product + Resource). When this process domain was used in industrial applications, it became clear that there was a need to reuse the tools used in the company. We added the mediator and adaptor layers, that proved to be very appreciated. The behavioural extensions where required to select the tools, to adapt to some implementation requirement, or to some user specific tuning; composition was then introduced to coordinate tools from other domains []. Curiously, the metamodel extension ideas were the last ones to be introduced. The extension of the process composite domain became necessary in order to support web service coordination [2]. Not only exception handling has been (re) introduced, but also conversation specific extension and transaction management have been designed. Interestingly, the dynamic capabilities of our process system has not been used so far. We had no demand for such a functionality (too early or unneeded) 5. Related works Process technology was a very active field in the 90s, mainly targeting software processes, i.e. processes including human beings and containing creative tasks [6], [3], [3]. Addressing complex issues of non determinism and creative tasks, these works have had little direct practical impact; by contrast, the works of the workflow community, targeting simple, static and deterministic task automation have been gradually adopted by industry [5], [7], [20]. Recently, the process ideas have surfaced again for program coordination and more specifically, for web service orchestration. Various textual formalisms have been proposed: BPEL4WS (Business Process Execution Language for Web Services) [], BPMN (Business Process Modelling Notation) [8], [9], BPML (Business Process Modelling Language) [2], XLANG [6] and WSFL (Web Services Flow Language) [4]. Each one of these formalisms relies on the process technology, but uses a different metamodel. Similar to our approach, works like [7] emphasize the importance of separating concerns in the processes; [2][22] advocate for dynamic workflow and workflow composition. In contrast to our work, they do not propose any general extension and composition mechanisms. Plug-in approach [5] has similarities with our metamodel extensions and behavioural extensions but, in contrast with plug-ins, our extensions do not need to be established beforehand. Composition of independent domains is not possible with plug ins. 6. Conclusion Process technology can be seen as a coordination (orchestration) technology, to be used by any complex application built from existing pieces, in virtually any application domain, web service orchestration being a

6 special case. This context is very demanding since the concepts and the technical requirements are very different. We believe that traditional process technologies cannot propose any reasonable solution to these problems. We do not have the ambition to propose the perfect solution, fitting all needs; on the contrary, we propose to start with simple metamodels and the associated support, reusing the existing tools and offering a large range of possible extensions. Our work has been focused on the technologies, concepts and methods for extending a metamodel; we have identified four classes of extensions: Behavioral extension, that changes the semantics of metamodel concepts: Conceptual extension, that adds new concepts to the core metamodel concepts; Refinement, that gives an enriched definition of the metamodel concepts; Composition, that allows interoperation of independent and autonomous domains. We believe the flexibility, as well as the range of possible extensions that can be addressed in our environment, are currently not matched by any other technology we know. This technology has been primarily used for process support and a number of industrial process based applications have been implement, it has been extended to support Web service orchestration, still reusing the very same Activity core. We believe that our system is probably one of the very first, if not the first, that can support a wide range of processes, including workflow, software process and web service orchestration equally well. References [] Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: IBM specification: Business Process Execution Language for Web Services. version. (2003). [2] Arkin, A.: Business Process Modeling Language. Intalio (November 3, 2002). [3] Armenise, P., Bandinelli, S., Ghezzi, C., Morzenti, A.: Software Process Representation Languages: Survey and Assessment, In Proceedings of the 4th International Conference on Software Engineering and Knowledge Engineering, IEEE, Capri Italy, (June 992) [4] Belkhatir, N., Estublier, J., Melo, W. L.: Software process modeling in Adele: The ISPW-7 example. In I. Thomas, editor, Proc. of the 7th Int l Software Process Work-shop, San Francisco, CA, IEEE Computer Society Press (October ). [5] Clayberg, E., Rubel, D.: Eclipse: Building Commercial- Quality Plug-Ins. Addison Wesley Professional (2004) [6] Conradi, R., Fernstrom, C., Fuggetta, A., Snowdown, B. Towards a Reference Framework for Process Concepts. In Proc. EW SPT 92, 2nd European Workshop on Software Process Technology, Trondheim, Norway (Sept. 992) [7] Estublier, J., Dami, S., Amiour, M. : High level process modelling for SCM. 7th. International Workshop on Software Configuration Management SCM7, Boston, 9-20 (May 997) [8] Estublier, J., Dami, S., Amiour, M.: APEL: A Graphical yet Executable Formalism for Process Modeling. Automated Software Engineering, ASE journal. Vol. 5, Issue (998). [9] Estublier, J.: Federations of Process Support Systems. Workshop on Process Modeling (WPM), Zurich, Suisse (2 Octobre, 998). [0] Estublier, J., Amiour, M., Dami, S.: Building a federation of Process Support System. WACC Work, Activity Coordination and Cooperation; Siplan, Sigmod, Sigsoft conference; San Francisco USA (22, 26 February 999). [] Estublier, J., Villalobos, J., Le, A.T., Sanlaville, S., Vega, G.: An Approach and Framework for Extensible Process Support System. 9th European Workshop on Software Process Technology EWSPT 2003, Helsinki, Finland (September 2003). [2] Estublier, J., Sanlaville, S.: Business Processes and Workflow Coordination of Web Services. IEEE International Conference on e-technology, e-commerce and e-service (EEE-05), Hong Kong (March 2005). [3] Heimbigner, D.: The ProcessWall: a Process State Server Approach to Process Programming. ACMSDE, (December 992) [4] Leymann, F.: Web Services Flow Language (WSFL.0). IBM Software Group (May 200). [5] Leymann, F., Roller, D.: Workflow-based applications. IBM System Journal. Vol. 36, No. (997) [6] Satish, T.: XLANG: Web Services for Business Process Design. Microsoft (200). [7] Schmidt, R., Assmann, U.: Extending Aspect-Oriented Programming in Order to Flexibly Support Workflows. In Proceedings of the ICSE98 AOP Workshop, Kyoto (April 998) pages [8] White, S. A.: Introduction to BPMN. BPTrends, < (July 2004). [9] White, S. A.: Using BPMN to Model a BPEL Process. BPTrends, < (March 2005). [20] Workflow Management Coalition: Interface : Process Definition Interface. WfMC TC-06 (August 996) [2] Reichert M., Rinderle S., Dadam P. ADEPT Workflow Management System: Flexible Support For Enterprisewide Business Processes. Proc. Int'l Conf. on Business Process Management (BPM '03), Eindhoven, The Netherlands, June 2003, LNCS 2678, pp [22] Heinlein C.: Workflow and process synchronization with interaction expressions and graphs. In: Proc. Int l Conf. Data Eng., Heidelberg (200)

FOCAS: An Enginering Environment for Service-Based Applications

FOCAS: An Enginering Environment for Service-Based Applications Published at the 4th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE) 6-10 May 2009, Milan, Italie FOCAS: An Enginering Environment for Service-Based Applications Gabriel Pedraza,

More information

The Architecture of Federations From Process to Software

The Architecture of Federations From Process to Software The Architecture of Federations From Process to Software (Position Paper) First Working IFIP Conference on Software Architecture 22-24 February 1999, San Antonio, TX, USA J. Estublier, Y. Ledru, P.Y. Cunin

More information

Using Federations for Flexible SCM Systems

Using Federations for Flexible SCM Systems Using Federations for Flexible SCM Systems Jacky Estublier, Anh-Tuyet Le, Jorge Villalobos LSR-IMAG, 220 rue de la Chimie BP53 38041 Grenoble Cedex 9, France {Jacky.Estublier, Anh-Tuyet.Le, Jorge.Villalobos}@imag.fr

More information

Providing Highly automated and generic means for software deployment Process

Providing Highly automated and generic means for software deployment Process Providing Highly automated and generic means for software deployment Process Vincent Lestideau and Noureddine Belkhatir Adele Team LSR-IMAG, 220 rue de la chimie Domaine Universitaire, BP 53 38041 Grenoble

More information

Optimization Tools. Simulation Tools. Modeling Tools. Enactment System 2. Enactment System 1. Keith Swenson XPDL XPDL XPDL XPDL XPDL XPDL

Optimization Tools. Simulation Tools. Modeling Tools. Enactment System 2. Enactment System 1. Keith Swenson XPDL XPDL XPDL XPDL XPDL XPDL A Format for a Process Design Ecosystem Keith Swenson The decade of the 90s was a time to get people thinking about business in terms of a process. We were more successful than many thought possible. No

More information

ActiveVOS Technologies

ActiveVOS Technologies ActiveVOS Technologies ActiveVOS Technologies ActiveVOS provides a revolutionary way to build, run, manage, and maintain your business applications ActiveVOS is a modern SOA stack designed from the top

More information

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals Annapaola Marconi, Marco Pistore, and Paolo Traverso ITC-irst Via Sommarive 18, Trento, Italy {marconi, pistore, traverso}@itc.it

More information

A Technical Comparison of XPDL, BPML and BPEL4WS

A Technical Comparison of XPDL, BPML and BPEL4WS A Technical Comparison of XPDL, BPML and BPEL4WS Robert Shapiro 1 Introduction XML-based business process languages represent a new approach to expressing abstract and executable processes that address

More information

Design Patterns for Description-Driven Systems

Design Patterns for Description-Driven Systems Design Patterns for Description-Driven Systems N. Baker 3, A. Bazan 1, G. Chevenier 2, Z. Kovacs 3, T Le Flour 1, J-M Le Goff 4, R. McClatchey 3 & S Murray 1 1 LAPP, IN2P3, Annecy-le-Vieux, France 2 HEP

More information

Practical Methods for Adapting Services Using Enterprise Service Bus *

Practical Methods for Adapting Services Using Enterprise Service Bus * Practical Methods for Adapting s Using Enterprise Bus * Hyun Jung La, Jeong Seop Bae, Soo Ho Chang, and Soo Dong Kim Department of Computer Science Soongsil University, Seoul, Korea 511 Sangdo-Dong, Dongjak-Ku,

More information

Meta Architecting: Towered a New Generation of Architecture Description Languages

Meta Architecting: Towered a New Generation of Architecture Description Languages Journal of Computer Science 1 (4): 454-460, 2005 ISSN 1549-3636 Science Publications, 2005 Meta Architecting: Towered a New Generation of Architecture Description Languages Adel Smeda, Tahar Khammaci and

More information

Supporting Documentation and Evolution of Crosscutting Concerns in Business Processes

Supporting Documentation and Evolution of Crosscutting Concerns in Business Processes Supporting Documentation and Evolution of Crosscutting Concerns in Business Processes Chiara Di Francescomarino supervised by Paolo Tonella dfmchiara@fbk.eu - Fondazione Bruno Kessler, Trento, Italy Abstract.

More information

Composing Domain-Specific Languages for Wide-scope Software Engineering Applications

Composing Domain-Specific Languages for Wide-scope Software Engineering Applications Published at MoDELS (ex UML) conference Jamaique, 3-6 October 2005. Composing -Specific Languages for Wide-scope Software Engineering Applications Jacky Estublier, German Vega, Anca Daniela Ionita LSR-IMAG,

More information

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007

Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Event Metamodel and Profile (EMP) Proposed RFP Updated Sept, 2007 Robert Covington, CTO 8425 woodfield crossing boulevard suite 345 indianapolis in 46240 317.252.2636 Motivation for this proposed RFP 1.

More information

Model-based Run-Time Software Adaptation for Distributed Hierarchical Service Coordination

Model-based Run-Time Software Adaptation for Distributed Hierarchical Service Coordination Model-based Run-Time Software Adaptation for Distributed Hierarchical Service Coordination Hassan Gomaa, Koji Hashimoto Department of Computer Science George Mason University Fairfax, VA, USA hgomaa@gmu.edu,

More information

Petri-net-based Workflow Management Software

Petri-net-based Workflow Management Software Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,

More information

Distributed Implementation of a Self-Organizing. Appliance Middleware

Distributed Implementation of a Self-Organizing. Appliance Middleware Distributed Implementation of a Self-Organizing Appliance Middleware soc-eusai 2005 Conference of Smart Objects & Ambient Intelligence October 12th-14th 2005 Grenoble, France Oral Session 6 - Middleware

More information

FlowBack: Providing Backward Recovery for Workflow Management Systems

FlowBack: Providing Backward Recovery for Workflow Management Systems FlowBack: Providing Backward Recovery for Workflow Management Systems Bartek Kiepuszewski, Ralf Muhlberger, Maria E. Orlowska Distributed Systems Technology Centre Distributed Databases Unit ABSTRACT The

More information

A Framework For Business Rule Driven Web Service Composition

A Framework For Business Rule Driven Web Service Composition A Framework For Business Rule Driven Web Service Composition Bart Orriëns, Jian Yang, Mike P. Papazoglou Tilburg University, Infolab PO Box 90153 5000 LE, Tilburg Netherlands {b.orriens,jian,mikep}@uvt.nl

More information

A BPEL Engine and Editor for the.net framework

A BPEL Engine and Editor for the.net framework A BPEL Engine and Editor for the.net framework Matthew Buckle 1, Charlie Abela 1, Matthew Montebello 1 1 Department of Computer Science and AI, University of Malta mbuckle@crimsonwing.com, charlie.abela@um.edu.mt,

More information

Transparently adding security properties to service orchestration

Transparently adding security properties to service orchestration Transparently adding security properties to service orchestration Stéphanie Chollet, Philippe Lalanda, André Bottaro Laboratoire Informatique de Grenoble F-38041, Grenoble cedex 9, France (Stephanie.Chollet,

More information

Designing and Building Software Federations

Designing and Building Software Federations Designing and Building Software Federations Jacky Estublier, Hervé Verjus, Pierre-Yves Cunin 220 Rue de la Chimie, BP 53 Grenoble Cedex 9. France Abstract. Commercial Off The Shelf tools (COTS) are now

More information

BPEL Research. Tuomas Piispanen Comarch

BPEL Research. Tuomas Piispanen Comarch BPEL Research Tuomas Piispanen 8.8.2006 Comarch Presentation Outline SOA and Web Services Web Services Composition BPEL as WS Composition Language Best BPEL products and demo What is a service? A unit

More information

Incorporating applications to a Service Oriented Architecture

Incorporating applications to a Service Oriented Architecture Proceedings of the 5th WSEAS Int. Conf. on System Science and Simulation in Engineering, Tenerife, Canary Islands, Spain, December 16-18, 2006 401 Incorporating applications to a Service Oriented Architecture

More information

Spemmet - A Tool for Modeling Software Processes with SPEM

Spemmet - A Tool for Modeling Software Processes with SPEM Spemmet - A Tool for Modeling Software Processes with SPEM Tuomas Mäkilä tuomas.makila@it.utu.fi Antero Järvi antero.jarvi@it.utu.fi Abstract: The software development process has many unique attributes

More information

Business Process Design based on Web Services: The C.O.S.M.O.S. Environment

Business Process Design based on Web Services: The C.O.S.M.O.S. Environment Business Process Design based on Web Services: The C.O.S.M.O.S. Environment LOUKAS GEORGIOU School of Informatics University of Wales-Bangor Dean Street Bangor Gwynedd, LL571UT UNITED KINGDOM ODYSSEAS

More information

Service Oriented Architectures Visions Concepts Reality

Service Oriented Architectures Visions Concepts Reality Service Oriented Architectures Visions Concepts Reality CSC March 2006 Alexander Schatten Vienna University of Technology Vervest und Heck, 2005 A Service Oriented Architecture enhanced by semantics, would

More information

Domain Models for Laboratory Integration

Domain Models for Laboratory Integration Models for Laboratory Integration ANCA DANIELA IONITA Computers and Industrial Informatics Department University Politehnica of Bucharest Spl. Independentei 313, 060042, Bucharest ROMANIA Abstract: - Laboratory

More information

Model Driven Development of Context Aware Software Systems

Model Driven Development of Context Aware Software Systems Model Driven Development of Context Aware Software Systems Andrea Sindico University of Rome Tor Vergata Elettronica S.p.A. andrea.sindico@gmail.com Vincenzo Grassi University of Rome Tor Vergata vgrassi@info.uniroma2.it

More information

Architectural Views for Designing Relationships in Distributed Systems

Architectural Views for Designing Relationships in Distributed Systems Architectural Views for Designing Relationships in Distributed Systems Anca Daniela IONITA 1, Jacky ESTUBLIER 2 1 University Politehnica of Bucharest Splaiul Independentei 313, 060042, Bucharest, Romania

More information

Reasoning on Business Processes and Ontologies in a Logic Programming Environment

Reasoning on Business Processes and Ontologies in a Logic Programming Environment Reasoning on Business Processes and Ontologies in a Logic Programming Environment Michele Missikoff 1, Maurizio Proietti 1, Fabrizio Smith 1,2 1 IASI-CNR, Viale Manzoni 30, 00185, Rome, Italy 2 DIEI, Università

More information

A Grid-Enabled Component Container for CORBA Lightweight Components

A Grid-Enabled Component Container for CORBA Lightweight Components A Grid-Enabled Component Container for CORBA Lightweight Components Diego Sevilla 1, José M. García 1, Antonio F. Gómez 2 1 Department of Computer Engineering 2 Department of Information and Communications

More information

Experiences with OWL-S, Directions for Service Composition:

Experiences with OWL-S, Directions for Service Composition: Experiences with OWL-S, Directions for Service Composition: The Cashew Position Barry Norton 1 Knowledge Media Institute, Open University, Milton Keynes, UK b.j.norton@open.ac.uk Abstract. Having used

More information

Software Architecture Recovery based on Dynamic Analysis

Software Architecture Recovery based on Dynamic Analysis Software Architecture Recovery based on Dynamic Analysis Aline Vasconcelos 1,2, Cláudia Werner 1 1 COPPE/UFRJ System Engineering and Computer Science Program P.O. Box 68511 ZIP 21945-970 Rio de Janeiro

More information

Model Driven Dynamic Composition of Web Services Flow for Business Process Integration

Model Driven Dynamic Composition of Web Services Flow for Business Process Integration OMG s 2nd Workshop On Web Services Modeling, Architectures, Infrastructures And Standards Model Driven Dynamic Composition of Web Services Flow for Business Process Integration Liang-Jie Zhang, Jen-Yao

More information

A Transformation-Based Model of Evolutionary Architecting for Embedded System Product Lines

A Transformation-Based Model of Evolutionary Architecting for Embedded System Product Lines A Transformation-Based Model of Evolutionary Architecting for Embedded System Product Lines Jakob Axelsson School of Innovation, Design and Engineering, Mälardalen University, SE-721 23 Västerås, Sweden

More information

Java Framework for Database-Centric Web Site Engineering

Java Framework for Database-Centric Web Site Engineering Java Framework for Database-Centric Web Site Engineering Beat Signer, Michael Grossniklaus and Moira C. Norrie fsigner, grossniklaus, norrieg@inf.ethz.ch Institute for Information Systems ETH Zurich CH-8092

More information

XML-based production of Eurostat publications

XML-based production of Eurostat publications Doc. Eurostat/ITDG/October 2007/2.3.1 IT Directors Group 15 and 16 October 2007 BECH Building, 5, rue Alphonse Weicker, Luxembourg-Kirchberg Room QUETELET 9.30 a.m. - 5.30 p.m. 9.00 a.m 1.00 p.m. XML-based

More information

Arguments for Open Structure Execution Services

Arguments for Open Structure Execution Services Arguments for Open Structure Execution Services Jessica Rubart 1, Weigang Wang 1, Jörg M. Haake 2 1 Fraunhofer Institute for Integrated Publication and Information Systems (IPSI) Dolivostrasse 15 64293

More information

Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures

Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures Dietmar Schreiner 1,2 and Karl M. Göschka 1 1 Vienna University of Technology Institute of Information

More information

A Comparison of Modelling Frameworks. Norwegian Institute of Technology, Trondheim, Norway. The close relationship between the elds is indicated by a

A Comparison of Modelling Frameworks. Norwegian Institute of Technology, Trondheim, Norway. The close relationship between the elds is indicated by a A Comparison of Modelling Frameworks for Software Processes and Information Systems Reidar Conradi, Geir Magne Hydalsvik, Guttorm Sindre, Norwegian Institute of Technology, Trondheim, Norway. Abstract.

More information

Making Business Process Implementations Flexible and Robust: Error Handling in the AristaFlow BPM Suite

Making Business Process Implementations Flexible and Robust: Error Handling in the AristaFlow BPM Suite Making Business Process Implementations Flexible and Robust: Error Handling in the AristaFlow BPM Suite Andreas Lanz, Manfred Reichert, and Peter Dadam Institute of Databases and Information Systems, University

More information

SMART WATER MANAGEMENT PROCESS ARCHITECTURE WITH IOT BASED REFERENCE

SMART WATER MANAGEMENT PROCESS ARCHITECTURE WITH IOT BASED REFERENCE Available Online at www.ijcsmc.com International Journal of Computer Science and Mobile Computing A Monthly Journal of Computer Science and Information Technology ISSN 2320 088X IMPACT FACTOR: 6.017 IJCSMC,

More information

Flight Systems are Cyber-Physical Systems

Flight Systems are Cyber-Physical Systems Flight Systems are Cyber-Physical Systems Dr. Christopher Landauer Software Systems Analysis Department The Aerospace Corporation Computer Science Division / Software Engineering Subdivision 08 November

More information

1 Executive Overview The Benefits and Objectives of BPDM

1 Executive Overview The Benefits and Objectives of BPDM 1 Executive Overview The Benefits and Objectives of BPDM This is an excerpt from the Final Submission BPDM document posted to OMG members on November 13 th 2006. The full version of the specification will

More information

Taxonomy Dimensions of Complexity Metrics

Taxonomy Dimensions of Complexity Metrics 96 Int'l Conf. Software Eng. Research and Practice SERP'15 Taxonomy Dimensions of Complexity Metrics Bouchaib Falah 1, Kenneth Magel 2 1 Al Akhawayn University, Ifrane, Morocco, 2 North Dakota State University,

More information

Locally unique labeling of model elements for state-based model differences

Locally unique labeling of model elements for state-based model differences Locally unique labeling of model elements for state-based model differences Citation for published version (APA): Protic, Z. (2010). Locally unique labeling of model elements for state-based model differences.

More information

Software Language Engineering of Architectural Viewpoints

Software Language Engineering of Architectural Viewpoints Software Language Engineering of Architectural Viewpoints Elif Demirli and Bedir Tekinerdogan Department of Computer Engineering, Bilkent University, Ankara 06800, Turkey {demirli,bedir}@cs.bilkent.edu.tr

More information

Goals of the BPEL4WS Specification

Goals of the BPEL4WS Specification Goals of the BPEL4WS Specification Frank Leymann, Dieter Roller, and Satish Thatte This note aims to set forward the goals and principals that formed the basis for the work of the original authors of the

More information

An Approach to Software Component Specification

An Approach to Software Component Specification Page 1 of 5 An Approach to Software Component Specification Jun Han Peninsula School of Computing and Information Technology Monash University, Melbourne, Australia Abstract. Current models for software

More information

Towards Automatic Web Service Discovery and Composition in a Context with Semantics, Messages, and Internal Process Flow (A Position Paper)

Towards Automatic Web Service Discovery and Composition in a Context with Semantics, Messages, and Internal Process Flow (A Position Paper) Towards Automatic Web Service Discovery and Composition in a Context with Semantics, Messages, and Internal Process Flow (A Position Paper) Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard

More information

Dynamic Adaptability of Services in Enterprise JavaBeans Architecture

Dynamic Adaptability of Services in Enterprise JavaBeans Architecture 1. Introduction Dynamic Adaptability of Services in Enterprise JavaBeans Architecture Zahi Jarir *, Pierre-Charles David **, Thomas Ledoux ** zahijarir@ucam.ac.ma, {pcdavid, ledoux}@emn.fr (*) Faculté

More information

Middleware Support for BPEL Workflows in the AO4BPEL Engine

Middleware Support for BPEL Workflows in the AO4BPEL Engine Middleware Support for BPEL Workflows in the AO4BPEL Engine Anis Charfi, Mira Mezini Software Technology Group Darmstadt University of Technology {charfi,mezini}@informatik.tu-darmstadt.de Abstract. This

More information

The Open Group SOA Ontology Technical Standard. Clive Hatton

The Open Group SOA Ontology Technical Standard. Clive Hatton The Open Group SOA Ontology Technical Standard Clive Hatton The Open Group Releases SOA Ontology Standard To Increase SOA Adoption and Success Rates Ontology Fosters Common Understanding of SOA Concepts

More information

AT&T Government Solutions, Inc.

AT&T Government Solutions, Inc. AT&T Government Solutions, Inc. Lewis Hart Patrick Emery Key Goals The CODIP program provides frameworks and components for intelligent processing of information based on its semantics.!application of

More information

University of Groningen. Towards Variable Service Compositions Using VxBPEL Sun, Chang-ai; Aiello, Marco

University of Groningen. Towards Variable Service Compositions Using VxBPEL Sun, Chang-ai; Aiello, Marco University of Groningen Towards Variable Service Compositions Using VxBPEL Sun, Chang-ai; Aiello, Marco Published in: International Conference on Software Reuse IMPORTANT NOTE: You are advised to consult

More information

Modelling and verification of BPEL business processes

Modelling and verification of BPEL business processes Modelling and verification of BPEL business processes Marina Mongiello Dipartimento di Elettronica ed Elettrotecnica Politecnico di Bari, Italy mongiello@poliba.it Daniela Castelluccia Dipartimento di

More information

Adaptive Web Transactions: An Approach for Achieving the Atomicity of Composed Web Services

Adaptive Web Transactions: An Approach for Achieving the Atomicity of Composed Web Services : An Approach for Achieving the Atomicity of Composed Web Services L. Pajunen, J. Korhonen, J. Puustjärvi Software Business and Engineering Institute, Helsinki University of Technology, P.O. Box 9600,

More information

1 From Distributed Objects to Distributed Components

1 From Distributed Objects to Distributed Components From Distributed Objects to Distributed : the Olan Approach Luc Bellissard, Michel Riveill BP 53, F 38041 Grenoble Cedex 9, FRANCE Phone: (33) 76 61 52 78 Fax: (33) 76 61 52 52 Email: Luc.Bellissard@imag.fr

More information

A Meta-Model for Composition Techniques in Object-Oriented Software Development

A Meta-Model for Composition Techniques in Object-Oriented Software Development A Meta-Model for Composition Techniques in Object-Oriented Software Development Bedir Tekinerdogan Department of Computer Science University of Twente P.O. Box 217, 7500 AE Enschede, The Netherlands E-Mail:

More information

An Analytical Evaluation of BPMN Using a Semiotic Quality Framework

An Analytical Evaluation of BPMN Using a Semiotic Quality Framework An Analytical Evaluation of BPMN Using a Semiotic Quality Framework Terje Wahl, Guttorm Sindre Department of Computer and Information Science, Norwegian University of Science and Technology, Sem Sælands

More information

ENTITIES IN THE OBJECT-ORIENTED DESIGN PROCESS MODEL

ENTITIES IN THE OBJECT-ORIENTED DESIGN PROCESS MODEL INTERNATIONAL DESIGN CONFERENCE - DESIGN 2000 Dubrovnik, May 23-26, 2000. ENTITIES IN THE OBJECT-ORIENTED DESIGN PROCESS MODEL N. Pavković, D. Marjanović Keywords: object oriented methodology, design process

More information

Models in Conflict Towards a Semantically Enhanced Version Control System for Models

Models in Conflict Towards a Semantically Enhanced Version Control System for Models Models in Conflict Towards a Semantically Enhanced ersion Control System for Models Kerstin Altmanninger Department of Telecooperation, Johannes Kepler University Linz, Austria kerstin.altmanninger@jku.at

More information

The Specifications Exchange Service of an RM-ODP Framework

The Specifications Exchange Service of an RM-ODP Framework The Specifications Exchange Service of an RM-ODP Framework X. Blanc (*+), M-P. Gervais(*), J. Le Delliou(+) (*)Laboratoire d'informatique de Paris 6-8 rue du Capitaine Scott F75015 PARIS (+)EDF Research

More information

Minsoo Ryu. College of Information and Communications Hanyang University.

Minsoo Ryu. College of Information and Communications Hanyang University. Software Reuse and Component-Based Software Engineering Minsoo Ryu College of Information and Communications Hanyang University msryu@hanyang.ac.kr Software Reuse Contents Components CBSE (Component-Based

More information

Proposed Revisions to ebxml Technical. Architecture Specification v1.04

Proposed Revisions to ebxml Technical. Architecture Specification v1.04 Proposed Revisions to ebxml Technical Architecture Specification v1.04 Business Process Team 11 May 2001 (This document is the non-normative version formatted for printing, July 2001) Copyright UN/CEFACT

More information

Approaches of using UML for Embedded System Design

Approaches of using UML for Embedded System Design Approaches of using UML for Embedded System Design Sudeep D. Thepade Lecturer, Dept. of Information Technology, Thadomal Shahani Engg. College, Bandra, Mumbai sudeepthepade@gmail.com Abstract New approaches

More information

MASSiVE, Unità di Torino

MASSiVE, Unità di Torino MASSiVE, Unità di Torino Personalization, verification and conformance for logic-based communicating agents M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, L. Torasso 1 Main

More information

UC Irvine UC Irvine Previously Published Works

UC Irvine UC Irvine Previously Published Works UC Irvine UC Irvine Previously Published Works Title Differencing and merging within an evolving product line architecture Permalink https://escholarship.org/uc/item/0k73r951 Authors Chen, Ping H Critchlow,

More information

From Object Composition to Model Transformation with the MDA

From Object Composition to Model Transformation with the MDA From Object Composition to Transformation with the MDA Jean Bézivin University of Nantes 2, rue de la Houssinière, BP 92208 44322 Nantes cedex 3, France Jean.Bezivin@sciences.univ-nantes.fr Abstract The

More information

Automatic Code Generation for Non-Functional Aspects in the CORBALC Component Model

Automatic Code Generation for Non-Functional Aspects in the CORBALC Component Model Automatic Code Generation for Non-Functional Aspects in the CORBALC Component Model Diego Sevilla 1, José M. García 1, Antonio Gómez 2 1 Department of Computer Engineering 2 Department of Information and

More information

INF5120 and INF9120 Modelbased System development

INF5120 and INF9120 Modelbased System development INF5120 and INF9120 Modelbased System development Lecture 5: 13.02.2016 Arne-Jørgen Berre arneb@ifi.uio.no and Arne.J.Berre@sintef.no Telecom and Informatics 1 Course parts (16 lectures) - 2017 January

More information

Second OMG Workshop on Web Services Modeling. Easy Development of Scalable Web Services Based on Model-Driven Process Management

Second OMG Workshop on Web Services Modeling. Easy Development of Scalable Web Services Based on Model-Driven Process Management Second OMG Workshop on Web Services Modeling Easy Development of Scalable Web Services Based on Model-Driven Process Management 88 solutions Chief Technology Officer 2003 Outline! Introduction to Web Services!

More information

Service-Based Realization of Business Processes Driven by Control-Flow Patterns

Service-Based Realization of Business Processes Driven by Control-Flow Patterns Service-Based Realization of Business Processes Driven by Control-Flow Patterns Petr Weiss Department of Information Systems, Faculty of Information Technology, Brno University of Technology, Bozetechova

More information

UNICORN: A Tool for Modeling and Reasoning on the Uncertainty of Requirements Evolution

UNICORN: A Tool for Modeling and Reasoning on the Uncertainty of Requirements Evolution UNICORN: A Tool for Modeling and Reasoning on the Uncertainty of Requirements Evolution Le Minh Sang Tran and Fabio Massacci University of Trento, Italy {tran, fabio.massacci}@disi.unitn.it Abstract. Long-living

More information

Change Management Needs Integrated Process and Configuration Management

Change Management Needs Integrated Process and Configuration Management To appear in 6 th European Software Engineering Conference, Zürich, Swiss, 1997 Change Management Needs Integrated Process and Configuration Management Gregor Joeris Intelligent Systems Department, Center

More information

Deriving design aspects from canonical models

Deriving design aspects from canonical models Deriving design aspects from canonical models Bedir Tekinerdogan & Mehmet Aksit University of Twente Department of Computer Science P.O. Box 217 7500 AE Enschede, The Netherlands e-mail: {bedir aksit}@cs.utwente.nl

More information

OMG Specifications for Enterprise Interoperability

OMG Specifications for Enterprise Interoperability OMG Specifications for Enterprise Interoperability Brian Elvesæter* Arne-Jørgen Berre* *SINTEF ICT, P. O. Box 124 Blindern, N-0314 Oslo, Norway brian.elvesater@sintef.no arne.j.berre@sintef.no ABSTRACT:

More information

APEL: a Graphical Yet Executable Formalism for Process Modeling

APEL: a Graphical Yet Executable Formalism for Process Modeling APEL: a Graphical Yet Executable Formalism for Process Modeling S. Dami, J. Estublier, M. Amiour LSR, Actimart Bat 8, av. de Vignate, 38610 Gieres France {dami, jacky, amiour}@imag.fr Abstract Software

More information

Winery A Modeling Tool for TOSCA-Based Cloud Applications

Winery A Modeling Tool for TOSCA-Based Cloud Applications Winery A Modeling Tool for TOSCA-Based Cloud Applications Oliver Kopp 1,2, Tobias Binz 2,UweBreitenbücher 2, and Frank Leymann 2 1 IPVS, University of Stuttgart, Germany 2 IAAS, University of Stuttgart,

More information

Access Control for Shared Resources

Access Control for Shared Resources Access Control for Shared Resources Erik Wilde and Nick Nabholz Computer Engineering and Networks Laboratory (TIK) Swiss Federal Institute of Technology (ETH Zürich) Abstract Access control for shared

More information

SEMANTIC WEB POWERED PORTAL INFRASTRUCTURE

SEMANTIC WEB POWERED PORTAL INFRASTRUCTURE SEMANTIC WEB POWERED PORTAL INFRASTRUCTURE YING DING 1 Digital Enterprise Research Institute Leopold-Franzens Universität Innsbruck Austria DIETER FENSEL Digital Enterprise Research Institute National

More information

Evaluation of Commercial Web Engineering Processes

Evaluation of Commercial Web Engineering Processes Evaluation of Commercial Web Engineering Processes Andrew McDonald and Ray Welland Department of Computing Science, University of Glasgow, Glasgow, Scotland. G12 8QQ. {andrew, ray}@dcs.gla.ac.uk, http://www.dcs.gla.ac.uk/

More information

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation Lei Li 1, John Hosking 1 and John Grundy 1,2 1 Department of Computer

More information

Towards the integration of security patterns in UML Component-based Applications

Towards the integration of security patterns in UML Component-based Applications Towards the integration of security patterns in UML Component-based Applications Anas Motii 1, Brahim Hamid 2, Agnès Lanusse 1, Jean-Michel Bruel 2 1 CEA, LIST, Laboratory of Model Driven Engineering for

More information

AOSA - Betriebssystemkomponenten und der Aspektmoderatoransatz

AOSA - Betriebssystemkomponenten und der Aspektmoderatoransatz AOSA - Betriebssystemkomponenten und der Aspektmoderatoransatz Results obtained by researchers in the aspect-oriented programming are promoting the aim to export these ideas to whole software development

More information

Object-Oriented Design

Object-Oriented Design Object-Oriented Design Lecturer: Raman Ramsin Lecture 10: Analysis Packages 1 Analysis Workflow: Packages The analysis workflow consists of the following activities: Architectural analysis Analyze a use

More information

Quantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study

Quantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study Quantifying and Assessing the Merge of Cloned Web-Based System: An Exploratory Study Jadson Santos Department of Informatics and Applied Mathematics Federal University of Rio Grande do Norte, UFRN Natal,

More information

APEL: a Graphical Yet Executable Formalism for Process Modeling

APEL: a Graphical Yet Executable Formalism for Process Modeling APEL: a Graphical Yet Executable Formalism for Process Modeling S. Dami, J. Estublier, M. Amiour LSR, Actimart Bat 8, av. de Vignate, 38610 Gieres France {dami, jacky, amiour}@imag.fr Abstract Software

More information

Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence

Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence Introducing MESSIA: A Methodology of Developing Software Architectures Supporting Implementation Independence Ratko Orlandic Department of Computer Science and Applied Math Illinois Institute of Technology

More information

Japan s Measures against Spam

Japan s Measures against Spam June 22, 2, 2006 Japan s Measures against Spam Yoshichika Imaizumi Telecommunications Bureau, Ministry of Internal Affairs and Communications (MIC), Japan Characteristics of spam in Japan 1.. Media 2004

More information

Modeling Interactions of Web Software

Modeling Interactions of Web Software Modeling Interactions of Web Software Tevfik Bultan Department of Computer Science University of California Santa Barbara, CA 9106 bultan@cs.ucsb.edu Abstract Modeling interactions among software components

More information

Business-Driven Software Engineering Lecture 5 Business Process Model and Notation

Business-Driven Software Engineering Lecture 5 Business Process Model and Notation Business-Driven Software Engineering Lecture 5 Business Process Model and Notation Jochen Küster jku@zurich.ibm.com Agenda BPMN Introduction BPMN Overview BPMN Advanced Concepts Introduction to Syntax

More information

How useful is the UML profile SPT without Semantics? 1

How useful is the UML profile SPT without Semantics? 1 How useful is the UML profile SPT without Semantics? 1 Susanne Graf, Ileana Ober VERIMAG 2, avenue de Vignate - F-38610 Gières - France e-mail:{susanne.graf, Ileana.Ober}@imag.fr http://www-verimag.imag.fr/~{graf,iober}

More information

CAS 703 Software Design

CAS 703 Software Design Dr. Ridha Khedri Department of Computing and Software, McMaster University Canada L8S 4L7, Hamilton, Ontario Acknowledgments: Material based on Software by Tao et al. (Chapters 9 and 10) (SOA) 1 Interaction

More information

MarcoFlow: Modeling, Deploying, and Running Distributed User Interface Orchestrations

MarcoFlow: Modeling, Deploying, and Running Distributed User Interface Orchestrations MarcoFlow: Modeling, Deploying, and Running Distributed User Interface Orchestrations Florian Daniel, Stefano Soi, Stefano Tranquillini, Fabio Casati University of Trento, Povo (TN), Italy {daniel,soi,tranquillini,casati}@disi.unitn.it

More information

BIG MODELS AN ALTERNATIVE APPROACH

BIG MODELS AN ALTERNATIVE APPROACH 2. BIG MODELS AN ALTERNATIVE APPROACH Whitepaper Eclipse Summit 2008 Modeling Symposium Jos Warmer, Ordina (jos.warmer@ordina.nl) Abstract Scaling up modeling within project runs into many practical problems.

More information

XML-based Event Notification System for Large Scale. Distributed Virtual Environment

XML-based Event Notification System for Large Scale. Distributed Virtual Environment XML-based Notification System for Large Scale Distributed Virtual Environment JinHyun Tak *, Seihoon Lee **, Changjong Wang* *Dept. of Computer Science & Engineering, Inha University, KOREA **Dept. of

More information

MODEL-DRIVEN APPROACH FOR PRODUCT INFORMATION MANAGEMENT

MODEL-DRIVEN APPROACH FOR PRODUCT INFORMATION MANAGEMENT MODEL-DRIVEN APPROACH FOR PRODUCT INFORMATION MANAGEMENT Salah Baïna, Hervé Panetto, Gérard Morel CRAN (UMR-7039), Nancy-Université, CNRS, F 54506 Vandoeuvre-les-Nancy, France. E-mail: {salah.baina, herve.panetto,

More information

CSE 5306 Distributed Systems. Course Introduction

CSE 5306 Distributed Systems. Course Introduction CSE 5306 Distributed Systems Course Introduction 1 Instructor and TA Dr. Donggang Liu @ CSE Web: http://ranger.uta.edu/~dliu Email: dliu@uta.edu Phone: 817-2720741 Office: ERB 555 Office hours: Tus/Ths

More information