The most common way to model business processes is to use a graphical modeling language. The most... more The most common way to model business processes is to use a graphical modeling language. The most widespread notation are business process diagrams modeled in the language BPMN. In this paper, we formalize structural patterns that can lead to control flow errors in such graphical models. For expressing such error patterns, we use the visual query language BPMN-Q. By using a query processor, a business process modeler is able to identify possible errors in business process diagrams. Moreover, the erroneous parts of the business process diagram can be highlighted when an instance of an error pattern is found. This way, the modeler gets an easy- to-understand feedback in the visual modeling language he or she is familiar with.
Checking for compliance is of major importance in nowadays business. Several approaches have been... more Checking for compliance is of major importance in nowadays business. Several approaches have been proposed to address dierent as- pects of compliance checking. One of the important aspects of compliance checking is to ensure that business activities will be executed in a cer- tain order. In a previous work, we have presented a formal approach for ecient compliance checking based on model checking technology. A limitation of that approach and of similar approaches is the lack of ex- planation about how violations could occur. In this paper we resolve this limitation by exploiting the notion of patterns/anti patterns. Execution ordering compliance rules are expressed as BPMN-Q queries. For each query a set of anti pattern queries is automatically derived and checked against process models as well. When a violation (an anti pattern) nds a match, the violating part of the process is shown to the user so that corrective actions can be taken.
The Unified Modeling Language (UML) is extended to model web applications. Meanwhile, Web technol... more The Unified Modeling Language (UML) is extended to model web applications. Meanwhile, Web technology becomes heavily relies on XML documents. The structure of XML documents, namely the XML Schema or Document Type Definition (DTD) for these documents can be modeled using UML data structures. UML tools are usually concerned with the generation of the structure and behavior of the system that is captured by models in their equivalents in the selected platform. In this paper we introduce a novel approach for the integration between UML and XML families of technologies. We model the structure of XML using UML class diagrams and based on this, we study how queries for XML documents, namely XQuery expressions can be described using UML techniques. We show that modeling of XML documents and its queries represented by XQuery expressions is possible using the querying capabilities of UML Class diagram and the Object Constraint Language (OCL). As a result, we see how these two technologies com...
Abstract. During business process design, working procedures in organizations are represented by ... more Abstract. During business process design, working procedures in organizations are represented by process models. It is an important task in any process im-provement project, but also both time consuming and error prone. While many organizations maintain large process model ...
The most common way to model business processes is to use a graphical modeling language. The most... more The most common way to model business processes is to use a graphical modeling language. The most widespread notation are business process diagrams modeled in the language BPMN. In this paper, we formalize structural patterns that can lead to control flow errors in such graphical models. For expressing such error patterns, we use the visual query language BPMN-Q. By using a query processor, a business process modeler is able to identify possible errors in business process diagrams. Moreover, the erroneous parts of the business process diagram can be highlighted when an instance of an error pattern is found. This way, the modeler gets an easy- to-understand feedback in the visual modeling language he or she is familiar with.
Checking for compliance is of major importance in nowadays business. Several approaches have been... more Checking for compliance is of major importance in nowadays business. Several approaches have been proposed to address dierent as- pects of compliance checking. One of the important aspects of compliance checking is to ensure that business activities will be executed in a cer- tain order. In a previous work, we have presented a formal approach for ecient compliance checking based on model checking technology. A limitation of that approach and of similar approaches is the lack of ex- planation about how violations could occur. In this paper we resolve this limitation by exploiting the notion of patterns/anti patterns. Execution ordering compliance rules are expressed as BPMN-Q queries. For each query a set of anti pattern queries is automatically derived and checked against process models as well. When a violation (an anti pattern) nds a match, the violating part of the process is shown to the user so that corrective actions can be taken.
The Unified Modeling Language (UML) is extended to model web applications. Meanwhile, Web technol... more The Unified Modeling Language (UML) is extended to model web applications. Meanwhile, Web technology becomes heavily relies on XML documents. The structure of XML documents, namely the XML Schema or Document Type Definition (DTD) for these documents can be modeled using UML data structures. UML tools are usually concerned with the generation of the structure and behavior of the system that is captured by models in their equivalents in the selected platform. In this paper we introduce a novel approach for the integration between UML and XML families of technologies. We model the structure of XML using UML class diagrams and based on this, we study how queries for XML documents, namely XQuery expressions can be described using UML techniques. We show that modeling of XML documents and its queries represented by XQuery expressions is possible using the querying capabilities of UML Class diagram and the Object Constraint Language (OCL). As a result, we see how these two technologies com...
Abstract. During business process design, working procedures in organizations are represented by ... more Abstract. During business process design, working procedures in organizations are represented by process models. It is an important task in any process im-provement project, but also both time consuming and error prone. While many organizations maintain large process model ...
Uploads
Papers by Ahmed Awad