A constraint library for specification of industrial data models
https://doi.org/10.15514/ISPRAS-2015-27(4)-5
Abstract
The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language and widely used in industrial applications. These models play important role for achievement of software interoperability and system integration in accordance with STEP standard family (ISO 10303). The examples of such models are STEP application protocols for machinery construction, automobile industry, shipbuiling, electronics, electrical engineering, systems engineering, furniture production as well as IFC (ISO 16739) model for architecture, engineering and construction, CIS/2 model for manufacturing using constructional steel work, POSC Caesar (ISO 15296) model for oil and gas producing industry. The purpose of the performed analysis is to unify representation of data integrity constraints typically used in the models by means of identification of constraint patterns. The identified patterns are specified at EXPRESS language as an unified constraint library that can be applied both on refactoring of the existing models and on development of new ones. Utilizing the constraint library users can improve clearness of the specifications, to simplify their maintenance and evolution and, on the whole, to accelerate their development. Besides, CASE tools can be effectively applied to analyze the specifications in highly automatic way. Possibility to apply the library for verification of the data models is also discussed in the paper. Rules for resolving the appropriate constraints have been proposed for each pattern. The constraint library can be recommended to industrial consortiums and technical committees that are engaged in development and standardization of the data models. The work is supported by RFBR (grant 13-07-00390).
About the Authors
S. V. Morozov
ISP RAS; Lomonosov Moscow State University, 2nd Education Building, Faculty CMC, GSP-1
Russian Federation
Russian Federation
D. V. Ilyin
ISP RAS
Russian Federation
Russian Federation
V. A. Semenov
ISP RAS; Moscow Institute of Physics and Technology
Russian Federation
Russian Federation
O. A. Tarlapan
ISP RAS; Lomonosov Moscow State University, 2nd Education Building, Faculty CMC, GSP-1
Russian Federation
Russian Federation
References
1. Model Driven Architecture: The Architecture of Choice for a Changing World. Executive Overview, February 2014. http://www.omg.org/mda/executive_overview.htm
2. Unified Modeling Language (UML), V2.4.1, Release Date: August 2011. http://www.omg.org/spec/UML/2.4.1
3. Meta Object Facility (MOF) Core, V2.4.2, Release Date: April 2014. http://www.omg.org/spec/MOF/2.4.2
4. XML Metadata Interchange (XMI), V2.4.2, Release Date: April 2014. http://www.omg.org/spec/XMI/2.4.2
5. Common Warehouse Metamodel (CWM), V1.1, Release Date: March 2003. http://www.omg.org/spec/CWM/1.1
6. ISO 10303-1:1994. Industrial automation systems and integration — Product data representation and exchange — Part 1: Overview and fundamental principles.
7. ISO 10303-11:2004. Industrial automation systems and integration — Product data representation and exchange — Part 11: Description methods: The EXPRESS language reference manual.
8. ISO 10303-21:2002. Industrial automation systems and integration — Product data representation and exchange — Part 21: Implementation methods: Clear text encoding of the exchange structure.
9. ISO 10303-28:2007. Industrial automation systems and integration — Product data representation and exchange — Part 28: Implementation methods: XML representations of EXPRESS schemas and data, using XML schemas.
10. ISO/TS 10303-26:2011. Industrial automation systems and integration — Product data representation and exchange — Part 26: Implementation methods: Binary representation of EXPRESS-driven data.
11. ISO 10303-22:1998. Industrial automation systems and integration — Product data representation and exchange — Part 22: Implementation methods: Standard data access interface.
12. ISO 10303-203:1994. Industrial automation systems and integration — Product data representation and exchange — Part 203: Application protocol: Configuration controlled 3D designs of mechanical parts and assemblies.
13. ISO 10303-210:2014. Industrial automation systems and integration — Product data representation and exchange — Part 210: Application protocol: Electronic assembly, interconnect and packaging design.
14. ISO 10303-212:2001. Industrial automation systems and integration — Product data representation and exchange — Part 212: Application protocol: Electrotechnical design and installation.
15. ISO 10303-214:2001. Industrial automation systems and integration — Product data representation and exchange — Part 214: Application protocol: Core data for automotive mechanical design processes.
16. ISO 10303-215:2004. Industrial automation systems and integration — Product data representation and exchange — Part 215: Application protocol: Ship arrangement.
17. ISO 10303-216:2003. Industrial automation systems and integration — Product data representation and exchange — Part 216: Application protocol: Ship moulded forms.
18. ISO 10303-218:2004. Industrial automation systems and integration — Product data representation and exchange — Part 218: Application protocol: Ship structures.
19. ISO 10303-233:2012. Industrial automation systems and integration — Product data representation and exchange — Part 233: Application protocol: Systems engineering.
20. ISO 10303-236:2006. Industrial automation systems and integration — Product data representation and exchange — Part 236: Application protocol: Furniture catalog and interior design.
21. IFC4 Release Summary, March 2013. http://www.buildingsmart-tech.org/specifications/ifc-releases/ifc4-release/ifc4-release-summary
22. Khemlani L. The CIS/2 Format: Another AEC Interoperability Standard. // AECbytes Newsletter, July 27, 2005. http://www.aecbytes.com/buildingthefuture/2005/CIS2format.html
23. ISO 15926-1:2004. Industrial automation systems and integration — Integration of life-cycle data for process plants including oil and gas production facilities — Part 1: Overview and fundamental principles.
24. CALS-standarty [CALS standards]. // Avtomatizatsiya proektirovaniya [Computer-aided design], no. 2, 1997. http://www.osp.ru/ap/1997/02/13031610 (in Russian).
25. Semenov V.A., Morozov S.V., Tarlapan O.A. Inkremental'naya verifikatsiya ob'ektno-orientirovannyh dannyh na osnove spetsifikatsii ogranichenij [Incremental verification of object-oriented data based on specification of constraints]. Trudy ISP RAN [The Proceedings of ISP RAS], vol. 8, no. 2, 2004, pp. 21–52 (in Russian).
26. Semenov V.A., Eroshkin S.G., Karaulov A.A., Enkovich I.V. Semanticheskaya rekonsilyatsiya prikladnyh dannyh na osnove modelej [Model-based semantic reconciliation of applied data]. Trudy ISP RAN [The Proceedings of ISP RAS], vol. 13, no. 2, 2007, pp. 141–164 (in Russian).
27. ISO 10303-14:2005. Industrial automation systems and integration — Product data representation and exchange — Part 14: Description methods: The EXPRESS-X language reference manual.
28. Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT), V1.2, Release Date: February 2015. http://www.omg.org/spec/QVT/1.2
29. XSL Transformations (XSLT) Version 1.0. W3C Recommendation, November 1999. http://www.w3.org/TR/xslt
30. Nell J. STEP on a page, April 2003. http://www.mel.nist.gov/sc5/soap
31. buildingSmart® — International home of openBIM®, October 2014. http://www.buildingsmart.org
32. ISO 16739:2013. Industry Foundation Classes (IFC) for data sharing in the construction and facility management industries.
33. ISO 10303-41:2005. Industrial automation systems and integration — Product data representation and exchange — Part 41: Integrated generic resource: Fundamentals of product description and support.
34. ISO 10303-42:2003. Industrial automation systems and integration — Product data representation and exchange — Part 42: Integrated generic resource: Geometric and topological representation.
35. ISO 10303-43:2000. Industrial automation systems and integration — Product data representation and exchange — Part 43: Integrated generic resource: Representation structures.
36. ISO 10303-45:2008. Industrial automation systems and integration — Product data representation and exchange — Part 45: Integrated generic resource: Material and other engineering properties.
37. ISO 10303-46:2011. Industrial automation systems and integration — Product data representation and exchange — Part 46: Integrated generic resource: Visual presentation.
38. Staab S., Studer R. (eds.). Handbook on Ontologies, Second Edition. Springer-Verlag, Berlin Heidelberg, 2009.
39. Semenov V.A., Morozov S.V., Ilyin D.V. Kombinirovannyj metod verifikatsii masshtabnyh modelej dannyh [A combined method for verification of large-scale data models]. Trudy ISP RAN [The Proceedings of ISP RAS], vol. 26, no. 2, 2014, pp. 197–230 (in Russian). DOI: 10.15514/ISPRAS-2014-26(2)-9.
40. Tsang E. Foundations of constraint satisfaction. Academic Press Limited, London & San-Diego, 1993.
41. Semenov V.A., Sidyaka O.V. Teoreticheskie i eksperimental'nye otsenki slozhnosti metodov lokal'nogo rasprostraneniya v zadachah programmirovaniya v ogranicheniyah [Theoretical and practical complexity estimates for local propagation methods in constraint-based programming applications]. Trudy ISP RAN [The Proceedings of ISP RAS], vol. 19, 2010, pp. 117–134 (in Russian).
42. Rogers D.F., Adams J.A. Mathematical Elements of Computer Graphics, Second Edition. McGraw Hill, 1990.
Review
For citations:
Morozov S.V., Ilyin D.V., Semenov V.A., Tarlapan O.A. A constraint library for specification of industrial data models. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(4):69-110. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(4)-5
Email this article 