Browse > Article

Modeling and Validation of Semantic Constraints for ebXML Business Process Specifications  

Kim, Jong-Woo (한양대학교 경영학부)
Kim, Hyoung-Do (한양사이버대학교 경영정보학과)
Publication Information
Asia pacific journal of information systems / v.14, no.1, 2004 , pp. 79-100 More about this Journal
Abstract
As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.
Keywords
ebXML; UML(Unified Modeling Language); constraints modeling; model validation; rule-based language;
Citations & Related Records
연도 인용수 순위
  • Reference
1 CLIPS, CLIPS Reference Manual (Version 6.20), http://www.ghg.net/clips/CLIPS.htmI, 2002
2 ebXML, 'Enabling a Global Electronic Market,' http://www.ebxml. org, 2002
3 Jacinto et al., Jacinto, Marta Henriques, Librelotto, Giovani Rubert, Ramalho, Jose Carlos Leite, Henrigues, Pedro Randgel, 'Constraint Specification Languages: Comparing XCSL, Schematron, and XML-Schemas,' Proceedings of the XML Europe 2002, Barcelona, May 2002
4 UN/CEFACT, Numerical Representation of Dates, Time, and Periods of Time (Recommendation No.7, TRADE/WP.4/INF. 108, TD/B/FAI/INF. 108), UN/CEFACT, 1998
5 UN/CEFACT Modeling Methodology (UMM), http://www.gefeg.com/tmwg/ n090r10.htm, November 2001
6 OASIS, OASIS Universal Business Language TC, http://www.oasis- open.org/ committees/ubl/, 2002
7 Holman, G.K. Holman, 'ISO/IEC 19757 - DSDL (Document Schema Definition Languages,' http://www.dsdl.org, 2002
8 OAGI, Open Applications Group, http://www.openapplications.org/, 2002
9 eXML, Business Process Project Team, Business Process Analysis and Guidelines v1.0, UN/CEFACT and OASIS, May 2001b
10 Widhalm, Richard and Mueck, Thomas A., 'Web Metadata Semantics - On the Road to Well Formed Topic Maps,' Proceedings of the Second International Conference on Web Information Systems Engineering, Vol.2, Kyoto, December 2001
11 xCBL.org, XML Common Business Library, http://www.xcbl.org/, 2002
12 OMG, OMG Unified Modeling Language Specification (Version 1.3), OMG, 1999
13 Ramalho, Jose Carlos, 'Constraining Content: Specification and Processing,' XML Europe 2001, 2001
14 ebXML, Business Process Project Team, ebXML Business Process Specification Schema (Version 1.03), UN/CEFACT and OASIS, May 2001a
15 Topologi Pty. Ltd., 'Schematron Validator,' http://www.topologi.com/products/ validator/ index.html, 2003
16 Kim, HyoungDo, 'Conceptual Modeling and Specification Generation for B2B Business Process based on ebXML.' ACM SIGMOD Record, Vol. 31, No. 1, March 2002
17 Jelliffe, Rick Jelliffe, 'The Schematron: An XML Structure Validation Language using Patterns in Trees,' http://www.ascc.net/xml/ resource/ schematron/ schematron.html, 2002
18 ebXML, Business Process Project Team, ebXML Business Process Specification Schema(Version 1.05), UN/CEFACT and OASIS, June 2002a
19 Kim, HyoungDo, 'Model Management Support for B2B Electronic Commerce,' Proceedings of the 2nd Asian eBiz Workshop, Seoul, August 2002
20 Rumbaugh, James, Jacobson, Ivar, Booch, Grady, The Unified Modeling Language Reference Manual, Wesley, 1999