Asia pacific journal of information systems

The Korea Society of Management Information Systems (한국경영정보학회)
권호 표지

Modeling and Validation of Semantic Constraints for ebXML Business Process Specifications

ebXML 비즈니스 프로세스 명세를 위한 의미 제약의 모델링과 검증

  • 김종우 (한양대학교 경영학부) ;
  • 김형도 (한양사이버대학교 경영정보학과)
  • Published : 2004.03.31
Download PDF
⟨ Previous Next ⟩

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

References

  1. CLIPS, CLIPS Reference Manual (Version 6.20), http://www.ghg.net/clips/CLIPS.htmI, 2002
  2. ebXML, Business Process Project Team, ebXML Business Process Specification Schema (Version 1.03), UN/CEFACT and OASIS, May 2001a
  3. eXML, Business Process Project Team, Business Process Analysis and Guidelines v1.0, UN/CEFACT and OASIS, May 2001b
  4. ebXML, Business Process Project Team, ebXML Business Process Specification Schema(Version 1.05), UN/CEFACT and OASIS, June 2002a
  5. ebXML, 'Enabling a Global Electronic Market,' http://www.ebxml. org, 2002
  6. 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
  7. Holman, G.K. Holman, 'ISO/IEC 19757 - DSDL (Document Schema Definition Languages,' http://www.dsdl.org, 2002
  8. Jelliffe, Rick Jelliffe, 'The Schematron: An XML Structure Validation Language using Patterns in Trees,' http://www.ascc.net/xml/ resource/ schematron/ schematron.html, 2002
  9. Kim, HyoungDo, 'Conceptual Modeling and Specification Generation for B2B Business Process based on ebXML.' ACM SIGMOD Record, Vol. 31, No. 1, March 2002
  10. Kim, HyoungDo, 'Model Management Support for B2B Electronic Commerce,' Proceedings of the 2nd Asian eBiz Workshop, Seoul, August 2002
  11. OAGI, Open Applications Group, http://www.openapplications.org/, 2002
  12. OASIS, OASIS Universal Business Language TC, http://www.oasis- open.org/ committees/ubl/, 2002
  13. OMG, OMG Unified Modeling Language Specification (Version 1.3), OMG, 1999
  14. Rumbaugh, James, Jacobson, Ivar, Booch, Grady, The Unified Modeling Language Reference Manual, Wesley, 1999
  15. Ramalho, Jose Carlos, 'Constraining Content: Specification and Processing,' XML Europe 2001, 2001
  16. Topologi Pty. Ltd., 'Schematron Validator,' http://www.topologi.com/products/ validator/ index.html, 2003
  17. 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
  18. UN/CEFACT Modeling Methodology (UMM), http://www.gefeg.com/tmwg/ n090r10.htm, November 2001
  19. 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
  20. xCBL.org, XML Common Business Library, http://www.xcbl.org/, 2002