{"title":"xOWL: An Executable Modeling Language for Domain Experts","authors":"L. Wouters, M. Gervais","doi":"10.1109/EDOC.2011.13","DOIUrl":"https://doi.org/10.1109/EDOC.2011.13","url":null,"abstract":"Nowadays, modeling complex domains such those involving the description of human behaviors is still a challenge. An answer is to apply the Domain Specific Languages principle, which advocates that Domain Experts should model themselves their knowledge in order to avoid misunderstanding or loss of information during the knowledge elicitation phase. But Domain Experts must then be provided a modeling language enabling them to describe such complex domains. Moreover, in order to help them build models, immediate feedbacks would have to be available so that they can revise their modeling choices in earlier steps. Model execution is a way to address this issue. We provide xOWL, a language that can be used as a backend for multiple domain-specific syntaxes enabling Domain Experts to model themselves the structural as well as behavioral knowledge of their domain. xOWL comes with an interpreter integrated in an environment offering models execut ability in such way that Domain Experts can work in an iterative and incremental way using a trial and error approach. The implemented prototype is currently in use at EADS.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123774828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards Consistency Management for a Business-Driven Development of SOA","authors":"Karim Dahman, F. Charoy, C. Godart","doi":"10.1109/EDOC.2011.30","DOIUrl":"https://doi.org/10.1109/EDOC.2011.30","url":null,"abstract":"The usage of the Service Oriented Architecture (SOA) along with the Business Process Management has emerged as a valuable solution for the complex (business process driven) system engineering. With a Model Driven Engineering where the business process models drive the supporting service component architectures, less effort is gone into the Business/IT alignment during the initial development activities, and the IT developers can rapidly proceed with the SOA implementation. However, the difference between the design principles of the emerging domain-specific languages imposes serious challenges in the following re-design phases. Moreover, enabling evolutions on the business process models while keeping them synchronized with the underlying software architecture models is of high relevance to the key elements of any Business Driven Development (BDD). Given a business process update, this paper introduces an incremental model transformation approach that propagates this update to the related service component configurations. It, therefore, supports the change propagation among heterogenous domain-specific languages, e.g., the BPMN and the SCA. As a major contribution, our approach makes model transformation more tractable to reconfigure system architecture without disrupting its structural consistency. We propose a synchronizer that provides the BPMN-to-SCA model synchronization with the help of the conditional graph rewriting.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123885186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fact-Orientation and Conceptual Logic","authors":"T. Halpin","doi":"10.1109/EDOC.2011.28","DOIUrl":"https://doi.org/10.1109/EDOC.2011.28","url":null,"abstract":"Fact-orientation is a conceptual approach to modeling information systems that captures the facts of interest in natural sentence structures without forcing some aspects to be modeled as attributes of other structures. Its graphical notation for data modeling enables a vast variety of business constraints to be depicted visually, while its formal basis in logic enables models to be transformed into implementation targets for execution. This paper provides a state-of-the-art overview of fact-orientation in general and second-generation Object-Role Modeling (ORM) in particular, highlighting its conceptual and visual support for logic-based modeling, and contrasting it with other data modeling approaches.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127220634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"UML Metamodel-based Workflow Modeling and Execution","authors":"Jens Brüning, Martin Gogolla","doi":"10.1109/EDOC.2011.31","DOIUrl":"https://doi.org/10.1109/EDOC.2011.31","url":null,"abstract":"In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The workflow modeling language is introduced through its abstract syntax, and an evaluation shows how this language supports known workflow patterns. Some patterns can be expressed easier compared to established languages like EPCs or BPMN. Organizational and data aspects in workflow models can be described on the basis of the presented metamodel. The workflow models can be instantiated and executed with a tool realizing parts of the UML action semantics. At an early stage of design, our workflow models can be evaluated by testing scenarios with the used tool in combination with the developed workflow plug in. Employing the tool, dynamic aspects of the workflow process models together with data and organizational aspects can be evaluated. During execution of the workflow scenarios, the workflow models can be adaptively changed, and data can be captured and evaluated by formulating process mining queries with UML's OCL (Object Constraint Language).","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134334568","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Multi-criteria Decision Making Method for Quality of Service Aggregation","authors":"Nabil Fakhfakh, H. Verjus, Frédéric Pourraz","doi":"10.1109/EDOC.2011.10","DOIUrl":"https://doi.org/10.1109/EDOC.2011.10","url":null,"abstract":"Services Oriented Architectures have provided ?exibility and agility for service consumers to build their business processes. An important issue concerning the service orchestrations supporting business processes is the Quality of Service (QoS). Service consumers put more and more importance to the QoS of their service orchestrations to be more competitive. Therefore, they need to know how much the service orchestrations fit their QoS expectations in order to measure their satisfaction. In this context, we propose an approach to evaluate the satisfaction degree of service orchestrations according to the service consumers expectations from QoS point of view. This approach is based on Work?ow patterns aggregation rules and on the application of a Multi-Criteria Decision Making (MCDM) method. It helps service consumers to interpret the Quality of Service of their service orchestrations and to make a decision whenever they are no longer satisfied.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124919409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Daniel Schleicher, Christoph Fehling, Stefan Grohe, F. Leymann, Alexander Nowak, P. Schneider, D. Schumm
{"title":"Compliance Domains: A Means to Model Data-Restrictions in Cloud Environments","authors":"Daniel Schleicher, Christoph Fehling, Stefan Grohe, F. Leymann, Alexander Nowak, P. Schneider, D. Schumm","doi":"10.1109/EDOC.2011.22","DOIUrl":"https://doi.org/10.1109/EDOC.2011.22","url":null,"abstract":"It is crucial for enterprises to execute business operations in a compliant way. This is especially true for IT-driven business processes as enterprises may face considerable fines when violating laws and regulation in their business processes. Through the advent of cloud computing, a new dimension of compliance requirements within the research area of compliant business process design has emerged. Data-sovereignty is one of the major compliance concerns enterprises have to deal with when moving applications and data to the cloud. Enterprises are fully responsible for their data, also when the data is not present within their IT premises anymore. This lead to the policy that specific data must not leave the IT premises of the enterprise. In this paper we present an approach to support the human process designer in modelling compliant business processes. We are focusing on compliance requirements which have to be considered in the field of cloud computing. These requirements have been created to meet laws and regulations. These laws and regulations are considering data which is to other countries, for example. Looking at the characteristics of these requirements, we deal with data-centric compliance rules here.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132642761","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Causality in Message-Based Contract Violations: A Temporal Logic \"Whodunit\"","authors":"Sylvain Hallé","doi":"10.1109/EDOC.2011.21","DOIUrl":"https://doi.org/10.1109/EDOC.2011.21","url":null,"abstract":"Interface contracts are sets of constraints specifying valid exchanges of messages between two or more peers. A contract violation occurs when one of the peers fails to fulfil one of these constraints and emits a message that is not a valid continuation of a message \"trace\". In some cases, the message that directly exposes the violation turns out to be the last of a succession of forced moves, while the \"root cause\" of the violation resides earlier in the trace and may emanate from a different peer. We formally define the notion of causality for interface contracts expressed in a first-order extension of Linear Temporal Logic. In particular, we show how the detection of root causes reduces to satisfiability solving of a precise set of formulae. An experimental setup shows how causality can be analyzed automatically on a pre-recorded message trace.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132687418","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Modeling Flexible Business Processes with Business Rule Patterns","authors":"Milan Milanovic, D. Gašević, Luis Rocha","doi":"10.1109/EDOC.2011.25","DOIUrl":"https://doi.org/10.1109/EDOC.2011.25","url":null,"abstract":"In the paper, we investigate principles for modeling flexible business processes enhanced by business rules. In our work, we start from a set of rule patterns, which are identified in the literature as a mean for increasing flexibility of business processes. The previous work on these patterns only considered the implementation level, but not the implications on the modeling level. Moreover, the potential for business process flexibility have not been fully leveraged due to some limitations in externalization of business logic into business rules. In this work, we report on the experience in modeling the set of rule patterns by using a rule-enhanced business process modeling language (rBPMN), and demonstrate the applicability of our findings on a business process case study.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125787087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Sabine Buckl, A. Gehlert, F. Matthes, Christopher Schulz, Christian M. Schweda
{"title":"Modeling the Supply and Demand of Architectural Information on Enterprise Level","authors":"Sabine Buckl, A. Gehlert, F. Matthes, Christopher Schulz, Christian M. Schweda","doi":"10.1109/EDOC.2011.17","DOIUrl":"https://doi.org/10.1109/EDOC.2011.17","url":null,"abstract":"Enterprise architecture (EA) management aims at analyzing and improving the enterprise as a whole. A correct and consistent analysis is based on reliable EA data. However, current industrial practice shows that many persons need to collect, prepare, and disseminate EA relevant data while only a small group of persons actually benefits from this information. This state of affairs has a negative impact on the motivation of those who are in charge of gathering EA information. Additionally, the monetary value of this information is often implicit. To overcome this situation, this paper presents an approach to model the supply and demand situation for EA information. The resulting model helps to understand, explain, and ease EArelated information gathering. The applicability of the resulting model is demonstrated with the help of a real world case study from the German federal government.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121715108","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Vaculín, R. Hull, F. Heath, Craig Cochran, A. Nigam, Noi Sukaviriya
{"title":"Declarative business artifact centric modeling of decision and knowledge intensive business processes","authors":"R. Vaculín, R. Hull, F. Heath, Craig Cochran, A. Nigam, Noi Sukaviriya","doi":"10.1109/EDOC.2011.36","DOIUrl":"https://doi.org/10.1109/EDOC.2011.36","url":null,"abstract":"In this paper we address the problem of modeling collaborative decision and knowledge intensive business processes (sometimes referred to as Decision Intensive Processes, or DIP processes). DIP processes assist users in performing decision intensive tasks, and provide users with a guidance relevant to process execution context. DIP processes are by nature collaborative, data-driven, need to support various kinds of flexibility at design and run time, and need to integrate with external services and information sources. Such a combination presents significant challenges for contemporary business processes technologies. We present a solution based on a business artifacts paradigm (a.k.a. business entities with lifecycles) using a Guard-Stage-Milestone (GSM) model for declarative lifecycles specification. We introduce a CoreControl -- MicroProcess process design pattern, which allows a natural blending of a business functional process structure (usual for most business processes), with a decision & knowledge driven structure providing domain specific decision guidance to users. The proposed design pattern along with the declarative GSM BA approach provide suitable design primitives for DIP process, as demonstrated on a real problem from the supply chain solutions enablement domain.","PeriodicalId":147466,"journal":{"name":"2011 IEEE 15th International Enterprise Distributed Object Computing Conference","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122207563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}