The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The Business Processes (PN) and the study of the aspects that allow to formally specify their properties and efficiently manage them, have now become a subject of extensive research. Due to the multiplicity of elements involved in the treatment of PNs and that their definition has evolved over time, this article makes a historical review of the concepts related to the formal specification of PN properties,...
This paper presents a case study for the modeling and model-based testing (MBT) of enterprise service choreographies. Our proposed MBT approach uses proprietary models called Message Choreography Models (MCM) as test models. The case study illustrates how MCM-based service integration testing allows to formalize design decisions and enables full integration into an existing industrial test infrastructure...
Feature models are widely employed in domain specific software development to specify the domain requirements with commonality and variability. A feature model is usually constructed by domain experts after comprehensive domain analysis. In this paper, we propose a method to recover an initial domain feature model from multiple existing domain applications using data access semantics and formal concept...
Constant and rapid changes in the market place have inevitably brought changes to business process including the long running process. When changes are mandatory or require retroactive compliance, it may be necessary to migrate existing running process instances to a new version model. Current dynamic instance adaptation approach requires each instance to adapt to the changes individually. To support...
With the increasing number of service oriented system implementations, new challenges concerning their development and testing are emerging.This paper presents an approach for model-driven system testing of service oriented systems. The approach offers a systematic testing methodology and it is based on tightly integrated system and test models with a formal metamodel. The test code generation itself...
In this paper, we present a formal description of Web services container architecture based on Z notation. This description major focuses on internal behavior of a Web services container on processing a Web services request. First, we present a formal model of tailored XML which provides a unified data structure for executing Web services specifications and data transformation. Then, we present a...
A decision information system (DIS) is a specific component of information system specialized in the support of decision-making by means of online analytical processing tools. Data warehouses (DW), at the core of DIS, integrate and historize collections of data often designed starting from the operational components of the Information Systems (IS). Methods, techniques and tools widely used in the...
Requirement analysis is a critical but difficult part of software development. With the combination of various requirement analysis methods and practice, a method which carries out requirement analysis through nine steps is proposed. The establishment of three models, business model, preliminary data model and functional model, is the focus of the establishment of a target system. Such method has...
B-SCP is a promising framework addressing alignment of IT with business strategy from a requirements engineering perspective. A problem with the B-SCP framework is that it is extremely difficult to track dependencies between requirements in a project of realistic complexity. We discuss how the RDF data model with OWL semantics, will greatly benefit an implementation using B-SCP. Our contribution is...
Layering is a concept widely used in computer and software modeling. Many modern information systems are designed and built using a layered model where the function of each layer is specified and well defined. In this paper we will be discussing the layer whose responsibilities include data extraction, manipulation and provision of data to the rest of the application. Common design problems that designers...
In today's continuously changing markets newly developed products often do not meet the demands and expectations of customers. Research on this problem identified a large gap between developer and user expectations. Approaches to bridge this gap are to provide the developers with better information on product usage and to create a fast feedback cycle that helps tackling usage problems. Therefore,...
The coordination of human-oriented flexible processes remains a priority of business process management (BPM). Flexible, model-driven, process centric approaches have met with initial success when used as a coordinating device. However, maintaining model quality in rapid and frequent change remains problematic. One cause of the problem is identified as the inability of procedural models to make a...
The most straight forward approach to requirements elicitation is to provide a direct transformation from the user's task descriptions to analysis models. A detailed description of tasks is formalized in ontology. Using the task ontology it is possible to create templates to facilitate transforming tasks to both use cases and data flow diagrams. In this paper, a new user-oriented approach for task...
Traditional modelling and analysis of workflow aims at verifying the correctness of its control flow. When dealing with workflow security, the compliance of information flow with the adopted security policies needs also to be analyzed. In this paper, we propose a two-steps verification approach. While the first step is concerned by soundness of the workflow, the second one is concerned by the data...
Web service based business process has become the backbone of enterprise information system, and it is evolving all the time. Therefore, the process has to be tested thoroughly and repeatedly whenever it is changed. This paper proposes a model driven approach toward generating executable test case from the given business process. The approach is composite of three stages: defining a process under...
Service level agreements (SLAs) impose many non-functional requirements on services. Business analysts specify and check these requirements in business process models using tools such as IBM WebSphere Business Modeler. System integrators on the other hand use service composition tools such as IBM WebSphere Integration Developer to create service composition models, which specify the integration of...
This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a model-driven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into a Petri Net workflow...
When developing a service-oriented architecture (SOA), analyzing the business process is even more important than in normal software projects. Nevertheless, most of the requirements artifacts used in normal software projects apply to SOA-projects, too. This results in competing requirement models (like use cases and business processes) that duplicate information in parts. Even worse, these models...
Contemporary process management systems (e.g., workflow management systems) are driven by explicit process models, i.e., a completely specified workflow design is required in order to enact a given workflow process. Constructing process models from scratch is a complicated time-consuming task that often requires high expertise. And there are discrepancies between the actual workflow processes and...
This paper describes Orchid, a system that converts declarative mapping specifications into data flow specifications (ETL jobs) and vice versa. Orchid provides an abstract operator model that serves as a common model for both transformation paradigms; both mappings and ETL jobs are transformed into instances of this common model. As an additional benefit, instances of this common model can be optimized...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.