This paper presents a service-oriented design approach that allows one to relate services modelled at different levels of granularity during a design process, such as business and application services. To relate these service models we claim that a 'concept gap' and an 'abstraction gap' need to be bridged. The concept gap represents the difference between the conceptual models used to construct service models by different stakeholders involved in the design process. The abstraction gap represents the difference in abstraction level at which service models are defined. Two techniques are presented that bridge these gaps. Both techniques are based on the Interaction System Design Language (ISDL). The paper illustrates the use of both techniques through an example.
{"title":"An approach to relate business and application services using ISDL","authors":"D. Quartel, R. Dijkman, M. V. Sinderen","doi":"10.1109/EDOC.2005.3","DOIUrl":"https://doi.org/10.1109/EDOC.2005.3","url":null,"abstract":"This paper presents a service-oriented design approach that allows one to relate services modelled at different levels of granularity during a design process, such as business and application services. To relate these service models we claim that a 'concept gap' and an 'abstraction gap' need to be bridged. The concept gap represents the difference between the conceptual models used to construct service models by different stakeholders involved in the design process. The abstraction gap represents the difference in abstraction level at which service models are defined. Two techniques are presented that bridge these gaps. Both techniques are based on the Interaction System Design Language (ISDL). The paper illustrates the use of both techniques through an example.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115714363","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}
Guijun Wang, Changzhou Wang, Alice Chen, Haiqin Wang, Casey K. Fung, S. Uczekaj, Yi-Liang Chen, W. Guthmiller, Joseph Lee
As enterprise services increasingly interconnect as networked services in a service-oriented architecture (SOA), service level management (SLM) is becoming a complex problem and can no longer be handled by traditional monitoring tools like Microsoft SMS. SLM is a process managing the quality of services demanded by clients and offered by providers. This paper presents two contributions to the research of SLM. First, instead of considering monitoring as an isolated service, it incorporates monitoring as an integral part of a comprehensive QoS management framework. This framework consists of QoS management concepts and services including service level contract management, admission control, resource management, monitoring, diagnostics, and adaptation. Using this framework, clients are able to negotiate quality of service contracts with providers and providers are able to optimize system resources to meet contract requirements. The second contribution is the incorporation of diagnostic service in the QoS management framework. Based on data feed from monitoring service, diagnostic service is able to detect any condition changes and to reason about the causes of any degradation conditions in the networked enterprise system. With condition detection and situation understanding, QoS management can then proactively activate adaptation mechanisms to maximize the system's ability to meet QoS contract requirements of concurrent clients. Our monitoring service uses both reporting approach and probing approach to acquire the information of the health status of elements of a networked system. The monitored data is then fed to our diagnostic service to reason about root causes of anomalies, using graphical models. Depending on the system health status and root causes, appropriate adaptations are triggered proactively to improve the system performance under the constraints of concurrent QoS contracts. We validate our SLM approach using QoS management services integrated in a publish/subscribe style of SOA. We then demonstrate via experiments some benefits of QoS monitoring, diagnostics, and adaptation services for responsiveness SLM.
{"title":"Service level management using QoS monitoring, diagnostics, and adaptation for networked enterprise systems","authors":"Guijun Wang, Changzhou Wang, Alice Chen, Haiqin Wang, Casey K. Fung, S. Uczekaj, Yi-Liang Chen, W. Guthmiller, Joseph Lee","doi":"10.1109/EDOC.2005.30","DOIUrl":"https://doi.org/10.1109/EDOC.2005.30","url":null,"abstract":"As enterprise services increasingly interconnect as networked services in a service-oriented architecture (SOA), service level management (SLM) is becoming a complex problem and can no longer be handled by traditional monitoring tools like Microsoft SMS. SLM is a process managing the quality of services demanded by clients and offered by providers. This paper presents two contributions to the research of SLM. First, instead of considering monitoring as an isolated service, it incorporates monitoring as an integral part of a comprehensive QoS management framework. This framework consists of QoS management concepts and services including service level contract management, admission control, resource management, monitoring, diagnostics, and adaptation. Using this framework, clients are able to negotiate quality of service contracts with providers and providers are able to optimize system resources to meet contract requirements. The second contribution is the incorporation of diagnostic service in the QoS management framework. Based on data feed from monitoring service, diagnostic service is able to detect any condition changes and to reason about the causes of any degradation conditions in the networked enterprise system. With condition detection and situation understanding, QoS management can then proactively activate adaptation mechanisms to maximize the system's ability to meet QoS contract requirements of concurrent clients. Our monitoring service uses both reporting approach and probing approach to acquire the information of the health status of elements of a networked system. The monitored data is then fed to our diagnostic service to reason about root causes of anomalies, using graphical models. Depending on the system health status and root causes, appropriate adaptations are triggered proactively to improve the system performance under the constraints of concurrent QoS contracts. We validate our SLM approach using QoS management services integrated in a publish/subscribe style of SOA. We then demonstrate via experiments some benefits of QoS monitoring, diagnostics, and adaptation services for responsiveness SLM.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127455773","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}
The ODP computational viewpoint describes the functionality of a system and its environment in terms of a configuration of objects interacting at interfaces, independently of their distribution. Up until UML version 2.0, both the lack of precision in the UML definition and the semantic gap between the ODP concepts and the UML constructs hindered its application for ODP computational viewpoint modeling. With the advent of UML 2.0 the situation may have changed, because its semantics have been more precisely defined and it now incorporates a whole new set of concepts more apt for modeling the structure and behavior of distributed systems. In this paper, we explore the benefits provided by the new extension mechanisms of UML and, more specifically, we present a UML profile for modeling the ODP computational viewpoint concepts. We also show a case study that illustrates how our proposal is applied to a multimedia distributed system.
{"title":"Modeling the ODP computational viewpoint with UML 2.0","authors":"J. Romero, Antonio Vallecillo","doi":"10.1109/EDOC.2005.21","DOIUrl":"https://doi.org/10.1109/EDOC.2005.21","url":null,"abstract":"The ODP computational viewpoint describes the functionality of a system and its environment in terms of a configuration of objects interacting at interfaces, independently of their distribution. Up until UML version 2.0, both the lack of precision in the UML definition and the semantic gap between the ODP concepts and the UML constructs hindered its application for ODP computational viewpoint modeling. With the advent of UML 2.0 the situation may have changed, because its semantics have been more precisely defined and it now incorporates a whole new set of concepts more apt for modeling the structure and behavior of distributed systems. In this paper, we explore the benefits provided by the new extension mechanisms of UML and, more specifically, we present a UML profile for modeling the ODP computational viewpoint concepts. We also show a case study that illustrates how our proposal is applied to a multimedia distributed system.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"39 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128774166","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. P. Almeida, R. Dijkman, L. F. Pires, D. Quartel, M. V. Sinderen
In a model-driven design process the interaction between application parts can be described at various levels of platform-independence. At the lowest level of platform-independence, interaction is realized by interaction mechanisms provided by specific middleware platforms. At higher levels of platform-independence, interaction must be described in such a way that it can be further refined and realized onto a number of different middleware platforms, each with its particular interaction mechanisms and implementation constraints. In this paper, we investigate concepts that support interaction design at various levels of middleware-platform-independence. Also, we propose design operations for interaction refinement. The application of these operations to source designs results in target designs that take into account implementation constraints imposed by platforms, while preserving characteristics prescribed in source designs.
{"title":"Abstract interactions and interaction refinement in model-driven design","authors":"J. P. Almeida, R. Dijkman, L. F. Pires, D. Quartel, M. V. Sinderen","doi":"10.1109/EDOC.2005.2","DOIUrl":"https://doi.org/10.1109/EDOC.2005.2","url":null,"abstract":"In a model-driven design process the interaction between application parts can be described at various levels of platform-independence. At the lowest level of platform-independence, interaction is realized by interaction mechanisms provided by specific middleware platforms. At higher levels of platform-independence, interaction must be described in such a way that it can be further refined and realized onto a number of different middleware platforms, each with its particular interaction mechanisms and implementation constraints. In this paper, we investigate concepts that support interaction design at various levels of middleware-platform-independence. Also, we propose design operations for interaction refinement. The application of these operations to source designs results in target designs that take into account implementation constraints imposed by platforms, while preserving characteristics prescribed in source designs.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116816557","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}
Mobile health systems can extend the enterprise computing system of the healthcare provider by bringing services to the patient any time and anywhere. We propose a model-driven design and development methodology for the development of the m-health components in such extended enterprise computing systems. The methodology applies a model-driven design and development approach augmented with formal validation and verification to address quality and correctness and to support model transformation. Work on modelling applications from the healthcare domain is reported. One objective of this work is to explore and elaborate the proposed methodology. At the University of Twente we are developing m-health systems based on body area networks (BANs). One specialization of the generic BAN is the health BAN, which incorporates a set of devices and associated software components to provide some set of health-related services. A patient has a personalized instance of the health BAN customized to their current set of needs. A health professional interacts with their patients' BANs via a BAN professional system. The set of deployed BANs are supported by a server. We refer to this distributed system as the BAN System. The BAN system extends the enterprise computing system of the healthcare provider. Development of such systems requires a sound software engineering approach and this is what we explore with the new methodology. The methodology is illustrated with reference to modelling activities targeted at real implementations. In the context of the awareness project BAN implementations are tested in a number of clinical settings including epilepsy management and management of chronic pain.
{"title":"Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise","authors":"V. Jones, A. Rensink, E. Brinksma","doi":"10.1109/EDOC.2005.22","DOIUrl":"https://doi.org/10.1109/EDOC.2005.22","url":null,"abstract":"Mobile health systems can extend the enterprise computing system of the healthcare provider by bringing services to the patient any time and anywhere. We propose a model-driven design and development methodology for the development of the m-health components in such extended enterprise computing systems. The methodology applies a model-driven design and development approach augmented with formal validation and verification to address quality and correctness and to support model transformation. Work on modelling applications from the healthcare domain is reported. One objective of this work is to explore and elaborate the proposed methodology. At the University of Twente we are developing m-health systems based on body area networks (BANs). One specialization of the generic BAN is the health BAN, which incorporates a set of devices and associated software components to provide some set of health-related services. A patient has a personalized instance of the health BAN customized to their current set of needs. A health professional interacts with their patients' BANs via a BAN professional system. The set of deployed BANs are supported by a server. We refer to this distributed system as the BAN System. The BAN system extends the enterprise computing system of the healthcare provider. Development of such systems requires a sound software engineering approach and this is what we explore with the new methodology. The methodology is illustrated with reference to modelling activities targeted at real implementations. In the context of the awareness project BAN implementations are tested in a number of clinical settings including epilepsy management and management of chronic pain.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128382322","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}
In this paper we propose an approach for the integration of functional models with non-functional models in the context of model-driven e-service development. Starting from the observation that current approaches to model-driven development have a strong focus on functionality, we argue the necessity of including non-functional aspects, as early as possible in the service design process, from the architectural (computational independent) level through all MDA layers. Furthermore, we distinguish between two modelling spaces (orthogonal to the MDA view), the design space and the analysis space, which could be integrated by means of model transformations. Thus, relating the analysis results to the original design models can be achieved by following a sequence of steps that entail horizontal model-to-model transformations from the design space to the analysis space, vertical model-to-model transformations (within and between the MDA layers) and proprietary analysis techniques that are used for the derivation of required (quantitative) properties. This provides a framework for incorporating nonfunctional analysis into methodological support for e-service development.
{"title":"Integration and analysis of functional and non-functional aspects in model-driven e-service development","authors":"H. Jonkers, M. Iacob, M. Lankhorst, P. Strating","doi":"10.1109/EDOC.2005.18","DOIUrl":"https://doi.org/10.1109/EDOC.2005.18","url":null,"abstract":"In this paper we propose an approach for the integration of functional models with non-functional models in the context of model-driven e-service development. Starting from the observation that current approaches to model-driven development have a strong focus on functionality, we argue the necessity of including non-functional aspects, as early as possible in the service design process, from the architectural (computational independent) level through all MDA layers. Furthermore, we distinguish between two modelling spaces (orthogonal to the MDA view), the design space and the analysis space, which could be integrated by means of model transformations. Thus, relating the analysis results to the original design models can be achieved by following a sequence of steps that entail horizontal model-to-model transformations from the design space to the analysis space, vertical model-to-model transformations (within and between the MDA layers) and proprietary analysis techniques that are used for the derivation of required (quantitative) properties. This provides a framework for incorporating nonfunctional analysis into methodological support for e-service development.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"286 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133534254","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}
The Web services architecture came as answers to the search for interoperability among applications. There has been a growing interest in deploying on the Internet applications with high availability and reliability requirements. However, the technologies associated with this architecture still do not deliver adequate support to this requirement. The model proposed in this article is located in this context and provides a new layer of software that acts as a proxy between client requests and service delivery by providers. The main objective is to ensure client transparent fault tolerance by means of the active replication technique. This model supports the following faults: value, omission and stops. This paper describes the features and outcomes obtained through the implementation of this model.
{"title":"FTWeb: a fault tolerant infrastructure for Web services","authors":"Giuliana Teixeira Santos, L. Lung, C. Montez","doi":"10.1109/EDOC.2005.15","DOIUrl":"https://doi.org/10.1109/EDOC.2005.15","url":null,"abstract":"The Web services architecture came as answers to the search for interoperability among applications. There has been a growing interest in deploying on the Internet applications with high availability and reliability requirements. However, the technologies associated with this architecture still do not deliver adequate support to this requirement. The model proposed in this article is located in this context and provides a new layer of software that acts as a proxy between client requests and service delivery by providers. The main objective is to ensure client transparent fault tolerance by means of the active replication technique. This model supports the following faults: value, omission and stops. This paper describes the features and outcomes obtained through the implementation of this model.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129707182","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 paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language. This language, called Business Contract Language (BCL) was previously developed to express contract conditions of relevance for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.
{"title":"Dealing with contract violations: formalism and domain specific language","authors":"Guido Governatori, Z. Milosevic","doi":"10.1109/EDOC.2005.13","DOIUrl":"https://doi.org/10.1109/EDOC.2005.13","url":null,"abstract":"This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language. This language, called Business Contract Language (BCL) was previously developed to express contract conditions of relevance for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114240662","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}
Devon M. Simmonds, Arnor Solberg, Raghu Reddy, Sudipto Ghosh
In model driven development (MDD), specifying transformations between models at various levels of abstraction can be a complex task. Specifying transformations for pervasive system features that are tangled with other system features is particularly difficult because the elements to be transformed are distributed across a model. This paper presents an aspect oriented model driven framework (AOMDF) that facilitates separation of pervasive features and supports their transformation across different levels of abstraction. The framework is illustrated using an example in which a platform independent model of a banking application is transformed to a platform specific model.
{"title":"An aspect oriented model driven framework","authors":"Devon M. Simmonds, Arnor Solberg, Raghu Reddy, Sudipto Ghosh","doi":"10.1109/EDOC.2005.5","DOIUrl":"https://doi.org/10.1109/EDOC.2005.5","url":null,"abstract":"In model driven development (MDD), specifying transformations between models at various levels of abstraction can be a complex task. Specifying transformations for pervasive system features that are tangled with other system features is particularly difficult because the elements to be transformed are distributed across a model. This paper presents an aspect oriented model driven framework (AOMDF) that facilitates separation of pervasive features and supports their transformation across different levels of abstraction. The framework is illustrated using an example in which a platform independent model of a banking application is transformed to a platform specific model.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128683612","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}
Content-based publish/subscribe offers a convenient abstraction for information producers and consumers, supporting a large-scale system design and evolution by integrating several distributed independent application systems. Unlike in the traditional address-based unicast or multicast, its core problem is how to match events by predicates on the content of events. In existing matching approaches, matching predicates are composed by the conjunction and disjunction of non-semantic constraints. But, in context of enterprise application integration, although they can match events by their contents, this traditional matching predicates are not expressive enough in manipulating the complex event matching, such as the "one-to-many" and "many-to-one" matching. Therefore, traditional matching approaches should be extended to solve the complex matching problems. After analyzing information matching patterns in enterprise application integration, we propose three matching models, extend this simple matching approach to the multi-semantic matching approach and further introduce the temporal constraint variable. The multi-semantic matching approach allows using different operations in accordance with different semantics; the temporal constraint variable supports processing several discrete events in temporal sequences. Then, we extend OBDD graphs into hierarchy coloured OBDD graphs and prove the equivalence of the transformation. Based on the extended OBDD graphs, the composite matching algorithm is presented and analysed. By experiments, we show the proposed algorithm is efficient.
{"title":"An extended event matching approach in content-based pub/sub systems for EAI","authors":"Gang Xu, W. Xu, Tao Huang","doi":"10.1109/EDOC.2005.6","DOIUrl":"https://doi.org/10.1109/EDOC.2005.6","url":null,"abstract":"Content-based publish/subscribe offers a convenient abstraction for information producers and consumers, supporting a large-scale system design and evolution by integrating several distributed independent application systems. Unlike in the traditional address-based unicast or multicast, its core problem is how to match events by predicates on the content of events. In existing matching approaches, matching predicates are composed by the conjunction and disjunction of non-semantic constraints. But, in context of enterprise application integration, although they can match events by their contents, this traditional matching predicates are not expressive enough in manipulating the complex event matching, such as the \"one-to-many\" and \"many-to-one\" matching. Therefore, traditional matching approaches should be extended to solve the complex matching problems. After analyzing information matching patterns in enterprise application integration, we propose three matching models, extend this simple matching approach to the multi-semantic matching approach and further introduce the temporal constraint variable. The multi-semantic matching approach allows using different operations in accordance with different semantics; the temporal constraint variable supports processing several discrete events in temporal sequences. Then, we extend OBDD graphs into hierarchy coloured OBDD graphs and prove the equivalence of the transformation. Based on the extended OBDD graphs, the composite matching algorithm is presented and analysed. By experiments, we show the proposed algorithm is efficient.","PeriodicalId":106387,"journal":{"name":"Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125506499","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
扫码关注我们
求助内容：
应助结果提醒方式：