The advanced rule-based compliance checking approach enables a timely investigation of a complete set of enriched process event data. By providing more than sixty formally grounded business rule patterns, we are able to remove the partial fit between the abilities of traditional process mining techniques and the contemporary requirements of compliance checking. In this contribution we demonstrate the applicability of the approach on two case studies: a purchase-to-pay process and a reimbursement process.
{"title":"Business Rule Patterns and Their Application to Process Analytics","authors":"Filip Caron, J. Vanthienen, B. Baesens","doi":"10.1109/EDOCW.2013.9","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.9","url":null,"abstract":"The advanced rule-based compliance checking approach enables a timely investigation of a complete set of enriched process event data. By providing more than sixty formally grounded business rule patterns, we are able to remove the partial fit between the abilities of traditional process mining techniques and the contemporary requirements of compliance checking. In this contribution we demonstrate the applicability of the approach on two case studies: a purchase-to-pay process and a reimbursement process.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129271932","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}
This preface provides a brief overview of the International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE) held in conjunction with EDOC 2013. The preface introduces the Workshop research topics and presents the accepted papers.
{"title":"Message from VORTE 2013 Workshop Chairs","authors":"A. Zouaq, E. Bagheri, Renata Guizzardi","doi":"10.1109/EDOCW.2013.51","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.51","url":null,"abstract":"This preface provides a brief overview of the International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE) held in conjunction with EDOC 2013. The preface introduces the Workshop research topics and presents the accepted papers.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128906765","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}
J. Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet
Trace validation is the process of analyzing a log produced by a system to discover violations of some specification involving sequences of events. This paper presents a translation of Linear Temporal Logic properties into equivalent SQL expressions. Experimental results on four different scenarios show that off-the-shelf database engines outperform seven different trace validation techniques from past literature, sometimes by orders of magnitude.
{"title":"The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces","authors":"J. Vallet, Aouatef Mrad, Sylvain Hallé, Éric Beaudet","doi":"10.1109/EDOCW.2013.37","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.37","url":null,"abstract":"Trace validation is the process of analyzing a log produced by a system to discover violations of some specification involving sequences of events. This paper presents a translation of Linear Temporal Logic properties into equivalent SQL expressions. Experimental results on four different scenarios show that off-the-shelf database engines outperform seven different trace validation techniques from past literature, sometimes by orders of magnitude.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129115626","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}
eScience is the field trying to provide IT support to scientists throughout the life cycle of scientific experiments. The major focus is on shortening the time to new discoveries and revealing knowledge about natural phenomena by providing software systems for different scientific tasks and for many domains. In this field, however, one can observe that there are no standardized and systematic approaches for developing the systems dealing with the processing and analysis of the large amounts of scientific data. In this paper we introduce eScienceSWaT, a software engineering methodology that aims at providing a systematic and user-friendly approach for building software applications for scientific experiments. The proposed approach considers the existing knowledge from computer science and software engineering but does not require scientists to be specialists in these fields. Furthermore, we present an architecture of a compos able system enabling eScienceSWaT. The system is meant to guide scientists in developing their experiments and features decision support capabilities based on patterns. Both the methodology and the architecture apply approaches from Enterprise Computing, Cloud Computing and Software Engineering. In order to demonstrate the suitability of eScienceSWaT, we apply it to a scenario from the field of scientific simulations.
{"title":"eScienceSWaT -- Towards an eScience Software Engineering Methodology","authors":"D. Karastoyanova, V. Andrikopoulos","doi":"10.1109/EDOCW.2013.32","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.32","url":null,"abstract":"eScience is the field trying to provide IT support to scientists throughout the life cycle of scientific experiments. The major focus is on shortening the time to new discoveries and revealing knowledge about natural phenomena by providing software systems for different scientific tasks and for many domains. In this field, however, one can observe that there are no standardized and systematic approaches for developing the systems dealing with the processing and analysis of the large amounts of scientific data. In this paper we introduce eScienceSWaT, a software engineering methodology that aims at providing a systematic and user-friendly approach for building software applications for scientific experiments. The proposed approach considers the existing knowledge from computer science and software engineering but does not require scientists to be specialists in these fields. Furthermore, we present an architecture of a compos able system enabling eScienceSWaT. The system is meant to guide scientists in developing their experiments and features decision support capabilities based on patterns. Both the methodology and the architecture apply approaches from Enterprise Computing, Cloud Computing and Software Engineering. In order to demonstrate the suitability of eScienceSWaT, we apply it to a scenario from the field of scientific simulations.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133045548","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}
Evolutionary Business Processes workshop aims at attracting professionals from academia and industry to share the opinions, advance ideas, and discuss preliminary results on current topics related to dynamic and declarative business processes. A particular interest will be taken in theoretical research, empirical evidence about current practices, successful deployment of novel approaches, and practical issues. To this end, contributions stating open problems, case studies, tool presentations, or any other work assessing the practical significance of dynamic and declarative business processes by means of concrete examples and situations, were particularly welcome.
{"title":"Preface to the Sixth International Workshop on Evolutionary Business Processes (EVL-BP 2013)","authors":"Mohsen Asadi, B. Mohabbati, Gerd Gröner","doi":"10.1109/EDOCW.2013.54","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.54","url":null,"abstract":"Evolutionary Business Processes workshop aims at attracting professionals from academia and industry to share the opinions, advance ideas, and discuss preliminary results on current topics related to dynamic and declarative business processes. A particular interest will be taken in theoretical research, empirical evidence about current practices, successful deployment of novel approaches, and practical issues. To this end, contributions stating open problems, case studies, tool presentations, or any other work assessing the practical significance of dynamic and declarative business processes by means of concrete examples and situations, were particularly welcome.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117337689","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}
Virtual Enterprise is a new business collaboration form, which used to fulfill unique business requirements and make sure small and medium size enterprises can adapt themselves to modern business environment under increasing pressure. In this situation, collaborative enterprises demand an advanced information management system to share valuable knowledge and expertise. Enterprise Portal is an enterprise-wide application which has been considered as an opportunity to develop and maintain integrated environments for collaborative business. The benefits of Enterprise Portal make it as a new way to approach Virtual Enterprise. The purpose of this paper is to introduce a new form of factories collaboration, namely Virtual Factory and elaborate how Enterprise Portal provides integrated services to distributed factories. Therefore, an open source Enterprise Portal Liferay is selected. It enables different factories meet their manufacturing targets. It provides a single tool for all factories to access the real time manufacturing information and products information. In this paper, an innovative method is presented to improve manufacturing process and increase the ability of information sharing across different factories.
{"title":"Designing of Virtual Factory Information System by Enterprise Portal","authors":"Yuqiuqe Hao, A. Shamsuzzoha, P. Helo","doi":"10.1109/EDOCW.2013.35","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.35","url":null,"abstract":"Virtual Enterprise is a new business collaboration form, which used to fulfill unique business requirements and make sure small and medium size enterprises can adapt themselves to modern business environment under increasing pressure. In this situation, collaborative enterprises demand an advanced information management system to share valuable knowledge and expertise. Enterprise Portal is an enterprise-wide application which has been considered as an opportunity to develop and maintain integrated environments for collaborative business. The benefits of Enterprise Portal make it as a new way to approach Virtual Enterprise. The purpose of this paper is to introduce a new form of factories collaboration, namely Virtual Factory and elaborate how Enterprise Portal provides integrated services to distributed factories. Therefore, an open source Enterprise Portal Liferay is selected. It enables different factories meet their manufacturing targets. It provides a single tool for all factories to access the real time manufacturing information and products information. In this paper, an innovative method is presented to improve manufacturing process and increase the ability of information sharing across different factories.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114344933","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}
Arne-Jørgen Berre, Y. Lew, B. Elvesæter, H. D. Man
It is shown how a service-oriented and model-based approach for Enterprise Architecture and Enterprise Engineering can provide agile support for the different abstraction and modeling levels from business model and service innovation to cloud-based service realisation. Business model innovation is supported with a basis in a business model framework with six views, where each view is supported by a corresponding diagram from the Value Delivery Modeling Language (VDML). Service innovation is supported by the Service Modeling Language (ServiceML), which shares the core collaboration models of VDML for role modeling and value networks, according to the five views of the AT-ONE service innovation method. Service realisation is supported by further transformation to SoaML and a model-based service execution platform. This approach presents a framework using the emerging OMG standard language VDML together with ServiceML for service design and engineering, relating value models, process models, user interface and interaction flow models, and service architectures and service contract models.
{"title":"Service Innovation and Service Realisation with VDML and ServiceML","authors":"Arne-Jørgen Berre, Y. Lew, B. Elvesæter, H. D. Man","doi":"10.1109/EDOCW.2013.18","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.18","url":null,"abstract":"It is shown how a service-oriented and model-based approach for Enterprise Architecture and Enterprise Engineering can provide agile support for the different abstraction and modeling levels from business model and service innovation to cloud-based service realisation. Business model innovation is supported with a basis in a business model framework with six views, where each view is supported by a corresponding diagram from the Value Delivery Modeling Language (VDML). Service innovation is supported by the Service Modeling Language (ServiceML), which shares the core collaboration models of VDML for role modeling and value networks, according to the five views of the AT-ONE service innovation method. Service realisation is supported by further transformation to SoaML and a model-based service execution platform. This approach presents a framework using the emerging OMG standard language VDML together with ServiceML for service design and engineering, relating value models, process models, user interface and interaction flow models, and service architectures and service contract models.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"232 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114589545","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}
Business process modeling has gained increasing interest with the advent of business process management systems in organizational contexts. As business processes are subject to frequent change also respective models are complex and under continuous development with multiple modelers being involved. This paper presents an approach to integrate concurrent changes of multiple modelers equivalently into a resulting process model. Through change patterns we capture the semantics of changes and use them for recognizing instances hereof from subsequent model revisions. These change patterns were identified by analyzing a set of recurring changes during model creation, modification, and refactoring. Together with the concept of conflict types change patterns are used as a conceptual means to implement a semi-automated merging mechanism within a collaborative wiki-based modeling environment. This approach is expected to facilitate smooth (incremental and iterative) development of models in highly dynamic modeling environments and is a human-oriented way to conflict resolution in (concurrent) process model development.
{"title":"Handling Concurrent Changes in Collaborative Process Model Development: A Change-Pattern Based Approach","authors":"Selim Erol, G. Neumann","doi":"10.1109/EDOCW.2013.34","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.34","url":null,"abstract":"Business process modeling has gained increasing interest with the advent of business process management systems in organizational contexts. As business processes are subject to frequent change also respective models are complex and under continuous development with multiple modelers being involved. This paper presents an approach to integrate concurrent changes of multiple modelers equivalently into a resulting process model. Through change patterns we capture the semantics of changes and use them for recognizing instances hereof from subsequent model revisions. These change patterns were identified by analyzing a set of recurring changes during model creation, modification, and refactoring. Together with the concept of conflict types change patterns are used as a conceptual means to implement a semi-automated merging mechanism within a collaborative wiki-based modeling environment. This approach is expected to facilitate smooth (incremental and iterative) development of models in highly dynamic modeling environments and is a human-oriented way to conflict resolution in (concurrent) process model development.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115153813","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}
T. Speckert, I. Rychkova, J. Zdravkovic, S. Nurcan
The decentralization of organizations and subsequent change to their management and operation style requires major changes in organization processes and heavily involves the IT. This paper demonstrates, however, that EA is primarily aimed at centralized organizational structures and as such has shortcomings when applied to decentralized organizations. Overcoming these deficiencies requires new principles to be introduced and incorporated into EA knowledge. A potential source for these principles are peer-to-peer architectures, which tackles the problem of decentralization in its own way. This paper presents prevalent decentralization principles from peer-to-peer, and how they have the potential to be applied to EA.
{"title":"On the Changing Role of Enterprise Architecture in Decentralized Environments: State of the Art","authors":"T. Speckert, I. Rychkova, J. Zdravkovic, S. Nurcan","doi":"10.1109/EDOCW.2013.41","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.41","url":null,"abstract":"The decentralization of organizations and subsequent change to their management and operation style requires major changes in organization processes and heavily involves the IT. This paper demonstrates, however, that EA is primarily aimed at centralized organizational structures and as such has shortcomings when applied to decentralized organizations. Overcoming these deficiencies requires new principles to be introduced and incorporated into EA knowledge. A potential source for these principles are peer-to-peer architectures, which tackles the problem of decentralization in its own way. This paper presents prevalent decentralization principles from peer-to-peer, and how they have the potential to be applied to EA.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127339128","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}
P. B. F. Njonko, S. Cardey, P. Greenfield, W. E. Abed
This paper presents a Domain Specific Language (DSL) for expressing business rules in a business-friendly language and sufficiently formal in order to be machine-processed. The core feature of this DSL is that its semantic leverages the Semantics of Business Vocabulary and Business Rules (SBVR) standard which is a metamodel for specifying the semantic models of business using natural language. Our DSL provides business stakeholders with a custom editor with auto-completion, automatic highlighting, content assist, error handling and an outline view on the model. It is built on a parser generated from a grammar which defines the controlled and structured syntax to guide a non technical user to express declarative business rules in SBVR Structured English (SSE). Thus our DSL can bridge the gap between business and Information Technology (IT) experts by allowing them to share the same semantics around the business model in order to minimize the loss of semantics and avoid the miscommunication due to the ambiguities of natural language.
{"title":"Domain Specific Language Based on the SBVR Standard for Expressing Business Rules","authors":"P. B. F. Njonko, S. Cardey, P. Greenfield, W. E. Abed","doi":"10.1109/EDOCW.2013.11","DOIUrl":"https://doi.org/10.1109/EDOCW.2013.11","url":null,"abstract":"This paper presents a Domain Specific Language (DSL) for expressing business rules in a business-friendly language and sufficiently formal in order to be machine-processed. The core feature of this DSL is that its semantic leverages the Semantics of Business Vocabulary and Business Rules (SBVR) standard which is a metamodel for specifying the semantic models of business using natural language. Our DSL provides business stakeholders with a custom editor with auto-completion, automatic highlighting, content assist, error handling and an outline view on the model. It is built on a parser generated from a grammar which defines the controlled and structured syntax to guide a non technical user to express declarative business rules in SBVR Structured English (SSE). Thus our DSL can bridge the gap between business and Information Technology (IT) experts by allowing them to share the same semantics around the business model in order to minimize the loss of semantics and avoid the miscommunication due to the ambiguities of natural language.","PeriodicalId":376599,"journal":{"name":"2013 17th IEEE International Enterprise Distributed Object Computing Conference Workshops","volume":"158 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124428771","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：