{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T12:40:17Z","timestamp":1685796017280},"reference-count":62,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1134\/s0361768810050026","type":"journal-article","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T06:24:48Z","timestamp":1285050288000},"page":"264-275","source":"Crossref","is-referenced-by-count":2,"title":["On complementary principles of object-oriented constraint programming"],"prefix":"10.1134","volume":"36","author":[{"given":"V. A.","family":"Semenov","sequence":"first","affiliation":[]},{"given":"K. V.","family":"Dragalov","sequence":"additional","affiliation":[]},{"given":"D. V.","family":"Ilyin","sequence":"additional","affiliation":[]},{"given":"S. V.","family":"Morozov","sequence":"additional","affiliation":[]},{"given":"O. V.","family":"Sidyaka","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2010,9,22]]},"reference":[{"key":"6078_CR1","volume-title":"Constraint Processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R., Constraint Processing, San Francisco: Morgan Kaufmann, 2003."},{"issue":"3","key":"6078_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.cosrev.2008.10.001","volume":"2","author":"M.G. Buscemia","year":"2008","unstructured":"Buscemia, M.G. and Montanarib, U., A Survey of Constraint-based Programming Paradigms, Computer Science Review, 2008, vol. 2, no. 3, pp. 137\u2013141.","journal-title":"Computer Science Review"},{"key":"6078_CR3","unstructured":"ISO 10303: 1994. Industrial Automation Systems and Integration-Product Data Representation and Exchange."},{"key":"6078_CR4","unstructured":"OMG Model Driven Architecture: How Systems will be Built. http:\/\/www.omg.org\/mda ."},{"key":"6078_CR5","unstructured":"W3C Semantic Web Activity. http:\/\/www.w3.org\/2001\/sw ."},{"key":"6078_CR6","unstructured":"ISO 10303-11: 2004. Industrial Automation Systems and Integration: Product Data Representation and Exchange. Part 11: Description Methods: The EXPRESS Language Reference Manual, 2nd ed."},{"key":"6078_CR7","volume-title":"The Object Data Management Standard: ODMG 3.0","author":"R.G. Cattel","year":"2000","unstructured":"Cattel, R.G., Barry, D.K., Berler, M., et al., The Object Data Management Standard: ODMG 3.0, San Francisco: Morgan Kaufmann, 2000."},{"key":"6078_CR8","unstructured":"Unified Modeling Language, OMG Available Specification. Version 2.2. http:\/\/www.omg.org\/spec\/UML\/2.2 ."},{"key":"6078_CR9","unstructured":"Object Constraint Language Specification. Version 2.0. http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm ."},{"key":"6078_CR10","unstructured":"OWL Web Ontology Language Guide. http:\/\/www.w3.org\/TR\/2004\/REC-owl-guide-20040210 ."},{"key":"6078_CR11","unstructured":"List of STEP Application Protocols. http:\/\/www.step-tools.com\/library\/standard\/step-2.html ."},{"key":"6078_CR12","unstructured":"Energetics. The Energy Standards Resource Centre. http:\/\/www.energistics.org\/posc\/Default.asp ."},{"key":"6078_CR13","unstructured":"BuildingSMART International Alliance for Interoperability. http:\/\/www.buildingsmart.com ."},{"key":"6078_CR14","unstructured":"Catalog of UML Profile Specifications. http:\/\/www.omg.org\/technology\/documents\/profile-catalog.htm ."},{"key":"6078_CR15","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E., Foundations of Constraint Satisfaction, London: Academic, 1993."},{"key":"6078_CR16","doi-asserted-by":"crossref","unstructured":"Saraswat, V. and Lincoln, P., Higher-Order Linear Concurrent Constraint Programming, Tech. Report, Xerox PARC, Department of Computer Science, Stanford University, 1992.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"6078_CR17","unstructured":"ISO\/IEC 13211-1:1995. Information Technology: Programming Languages: Prolog. Part 1: General Core."},{"issue":"11","key":"6078_CR18","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/141018.141026","volume":"27","author":"B. Liu","year":"1992","unstructured":"Bing Liu and Yuen-Wah Ku, ConstraintLisp: An Object-Oriented Constraint Programming Language, ACM SIGPLAN Notices, 1992, vol. 27, no 11, pp. 17\u201326.","journal-title":"ACM SIGPLAN Notices"},{"key":"6078_CR19","unstructured":"ANSI INCITS 226-1994 (R2004). Information Technology: Programming Language: Common Lisp."},{"key":"6078_CR20","doi-asserted-by":"crossref","unstructured":"Sutherland, I.E., Sketchpad: A Man-machine Graphical Communication System, Tech. Report no. 296, Lincoln Laboratory, Massachusetts Institute of Technology, 1963.","DOI":"10.1145\/1461551.1461591"},{"key":"6078_CR21","unstructured":"Alice. http:\/\/www.ps.uni-saarland.de\/alice\/index.html ."},{"issue":"4","key":"6078_CR22","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"Borning, A., The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Trans. Programming Languages Systems, 1981, vol. 3, no. 4, pp. 353\u2013387.","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"6078_CR23","volume-title":"Declarative Constraint Modelling and Specification-level Reasoning","author":"T. Mancini","year":"2005","unstructured":"Mancini, T., Declarative Constraint Modelling and Specification-level Reasoning, PhD Thesis, Universit\u00e0 degli Studi di Roma \u201cLa Sapienza,\u201d Roma, Italy, 2005."},{"issue":"7","key":"6078_CR24","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Colmerauer, A., An Introduction to Prolog III, Commun. ACM, 1990, vol. 33, no. 7, pp. 69\u201390.","journal-title":"Commun. ACM"},{"key":"6078_CR25","unstructured":"CHIP V5. http:\/\/www.cosytec.com ."},{"key":"6078_CR26","unstructured":"Beaulieu, A., Learning SQL, O\u2019Reilly Media, 2009, 2nd ed."},{"key":"6078_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04031-7","volume-title":"Constraint Databases","author":"G. Kuper","year":"2000","unstructured":"Kuper, G. and Libkin, L., Constraint Databases, Berlin: Springer, 2000."},{"key":"6078_CR28","volume-title":"Doctoral Thesis","author":"G. Tack","year":"2009","unstructured":"Tack, G., Constraint Propagation: Models, Techniques, Implementation, Doctoral Thesis, Saarland University, Germany, 2009."},{"issue":"1","key":"6078_CR29","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"B.N. Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B.N., Maloney, J., and Borning, A., An Incremental Constraint Solver, Commun. ACM, 1990, vol. 33, no. 1, pp. 54\u201363.","journal-title":"Commun. ACM"},{"key":"6078_CR30","doi-asserted-by":"crossref","unstructured":"Sannella, M., SkyBlue: A Multi-Way Local Propagation Constraint Solver for User Interface Construction, Proc. of the 1994 ACM Symp. on User Interface Software and Technology, 1994, pp. 137\u2013146.","DOI":"10.1145\/192426.192485"},{"key":"6078_CR31","doi-asserted-by":"crossref","unstructured":"Borning, A., Marriott, K., Stuckey, P., and Xiao, Y., Solving Linear Arithmetic Constraints for User Interface Applications: Algorithm Details, Tech. Report 97-06-01, Department of Computer Science and Engineering University of Washington, 1997.","DOI":"10.1145\/263407.263518"},{"key":"6078_CR32","unstructured":"McAloon, K. and Tretkoff, C., 2LP: Linear Programming and Logic Programming, Proc. of PPCP\u201993, Newport, Rhode Island, 1993, pp. 178\u2013189."},{"key":"6078_CR33","unstructured":"IBM ILOG CP: Features and Benefits. http:\/\/www-01.ibm.com\/software\/integration\/optimization\/cp1\/about\/?S-CMP=rnav ."},{"key":"6078_CR34","unstructured":"Charme Reference Manual, AI Development Centre, Bull, France, 1990."},{"issue":"1","key":"6078_CR35","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(96)00190-9","volume":"173","author":"L. Michel","year":"1997","unstructured":"Michel, L. and Van Hentenryck, P., Helios: A Modeling Language for Global Optimization and its Implementation in Newton, Theoretical Comput. Sci., 1997, vol. 173, no. 1, pp. 3\u201348.","journal-title":"Theoretical Comput. Sci"},{"issue":"1\u20132","key":"6078_CR36","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0167-6423(97)00008-7","volume":"30","author":"P. Hentenryck Van","year":"1998","unstructured":"Van Hentenryck, P., Michel, L., and Benhamou, F., Newton: Constraint Programming over Nonlinear Constraints, Sci. Comput. Programming, 1998, vol. 30, no. 1\u20132, pp. 83\u2013118.","journal-title":"Sci. Comput. Programming"},{"key":"6078_CR37","unstructured":"Brand, P., Enhancing the AKL Compiler Using Global Analysis, Tech. Report, Deliverable D.WP2.1.3.M2 in the ESPRIT Project ParForce, 6707, 1994."},{"key":"6078_CR38","unstructured":"The Mozart Programming System. http:\/\/www.mozart-oz.org ."},{"issue":"1","key":"6078_CR39","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1009701123606","volume":"2","author":"M. Hermenegildo","year":"1997","unstructured":"Hermenegildo, M., Some Challenges for Constraint Programming, Constraints, 1997, vol. 2, no. 1, pp. 63\u201369.","journal-title":"Constraints"},{"key":"6078_CR40","unstructured":"Shvetsov, I., Nesterenko, T., and Starovit, S., Technology of Active Objects, AAAI Tech. Report WS-97-05, Russian Research Institute of Artificial Intelligence & Institute of Informatics Systems, 1997."},{"key":"6078_CR41","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Concurrent Constraint Programming, The MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"6078_CR42","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/978-3-540-85958-1_23","volume":"5202","author":"I. Araya","year":"2008","unstructured":"Araya, I., Neveu, B., and Trombettoni, G., Exploiting Common Subexpressions in Numerical CSPs, Lecture Notes in Computer Sciences, 2008, vol. 5202, pp. 342\u2013357.","journal-title":"Lecture Notes in Computer Sciences"},{"key":"6078_CR43","unstructured":"Sam-Haroud, D., Intervals in Constraint Programming: Some Trends and Open Issues, Small Workshop on Interval Methods, 2009."},{"key":"6078_CR44","volume-title":"Handbook of Constraint Programming","author":"J. Hendler","year":"2006","unstructured":"Hendler, J., Kitano, H., and Nebel, B., Handbook of Constraint Programming, Amsterdam: Elsevier, B.V., 2006."},{"key":"6078_CR45","doi-asserted-by":"crossref","unstructured":"Granvilliers, L., Monfroy, E., and Benhamou, F., Symbolic-Interval Cooperation in Constraint Programming, Proc. of the 2001 Int. Symp. on Symbolic and Algebraic Computation, Canada, 2001, pp. 150\u2013166.","DOI":"10.1145\/384101.384123"},{"key":"6078_CR46","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/1101908.1101958","volume-title":"Proc. of the 20th IEEE\/ACM Int. Conf. on Automated Software Engineering","author":"A. Gotlieb","year":"2005","unstructured":"Gotlieb, A., Denmat, T., and Botella, B., Constraint-based Test Data Generation in the Presence of Stackdirected Pointers, Proc. of the 20th IEEE\/ACM Int. Conf. on Automated Software Engineering, Long Beach, USA, 2005, pp. 313\u2013316."},{"key":"6078_CR47","volume-title":"Cand. Sci. (Phys.-Math.) Dissertation","author":"M.V. Arkhipova","year":"2006","unstructured":"Arkhipova, M.V., Automatic Test Generation for Semantic Translator Analyzers, Cand. Sci. (Phys.-Math.) Dissertation, Moscow: Inst. for System Programming, Russ. Acad. Sci., 2006."},{"key":"6078_CR48","unstructured":"Petrenko, A., Britvina, E., Groshev, S., Monakhov, A., and Petrenko, O., Model-based Testing, Otkrytye sistemy, 2003, no. 9. http:\/\/www.osp.ru\/os\/2003\/09\/183388 ."},{"key":"6078_CR49","first-page":"83","volume-title":"Trudy instituta sistemnogo programmirovaniya","author":"A.V. Demakov","year":"2006","unstructured":"Demakov, A.V., Zelenov, S.V., and Zelenova, S.A., Generation of Test Data of Complex Structure with Regard to Context Constraints, Trudy instituta sistemnogo programmirovaniya (Proceedings of the Institute for System Programming), Ivannikov, V.P., Ed., Moscow: Inst. for System Programming, Russ. Acad. Sci., 2006, pp. 83\u201396."},{"key":"6078_CR50","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/3-540-45575-2_29","volume":"2244","author":"A.K. Petrenko","year":"2001","unstructured":"Petrenko, A.K., Specification Based Testing: Towards Practice, Lecture Notes in Computer Sciences, 2001, vol. 2244, pp. 287\u2013300.","journal-title":"Lecture Notes in Computer Sciences"},{"key":"6078_CR51","first-page":"41","volume-title":"Trudy instituta sistemnogo programmirovaniya","author":"S.V. Zelenov","year":"2004","unstructured":"Zelenov, S.V. and Zelenova, S.A., Automatic Generation of Positive and Negative Tests for Testing Syntax Analysis Phase, Trudy instituta sistemnogo programmirovaniya (Proceedings of the Institute for System Programming), Ivannikov, V.P., Ed., Moscow: Inst. for System Programming, 2004, pp. 41\u201358."},{"key":"6078_CR52","volume-title":"Lineinoe programmirovanie","author":"F.P. Vasil\u2019ev","year":"2003","unstructured":"Vasil\u2019ev, F.P. and Ivanitskii, A.Yu., Lineinoe programmirovanie (Linear Programming), Moscow: Faktorial, 2003."},{"key":"6078_CR53","unstructured":"Khamisov, O.V., Numerical Solution of Special problems of Nonconvex Quadratic Programming, Diskretnyi analiz issledovanie operatsii, Ser. 1, vol. 12, no. 4, pp. 81\u201391."},{"key":"6078_CR54","volume-title":"Nonlinear Programming: A Unified Approach","author":"W.I. Zangwill","year":"1969","unstructured":"Zangwill, W.I., Nonlinear Programming: A Unified Approach, Englewood Cliffs: N.J. Prentice-Hall, 1969."},{"key":"6078_CR55","volume-title":"Algoritmy iskusstvennogo intellekta na yazyke PROLOG","author":"I. Bratko","year":"2004","unstructured":"Bratko, I., Algoritmy iskusstvennogo intellekta na yazyke PROLOG (Artificial Intelligence Algorithms in PROLOG), Moscow: Vil\u2019yams, 2004."},{"key":"6078_CR56","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E., The Art of Prolog, Cambridge, Mass.: The MIT Press, 1986."},{"key":"6078_CR57","doi-asserted-by":"crossref","unstructured":"Chetty, M. and Dabke, K.P., Symbolic Computations: An Overview and Application to Controller Design, Proc. of IEEE Sponsored Int. Conf. on Information, Decision and Control, Adelaide, 1999, pp. 451\u2013456.","DOI":"10.1109\/IDC.1999.754199"},{"key":"6078_CR58","volume-title":"Metody vychislitel\u2019noi matematiki","author":"G.I. Marchuk","year":"1977","unstructured":"Marchuk, G.I., Metody vychislitel\u2019noi matematiki (Computational Mathematics Methods), Moscow: Nauka, 1977."},{"key":"6078_CR59","doi-asserted-by":"crossref","unstructured":"Semenov, V.A. and Karaulov, A.A., Semantic-Based Decomposition of Long-Lived Transactions in Advanced Collaborative Environments, Proc. of the 6th Europ. Conf. on Product and Process Modeling, ECPPM, Valencia, 2006, pp. 223\u2013232.","DOI":"10.1201\/9781003060819-36"},{"key":"6078_CR60","first-page":"141","volume-title":"Trudy instituta sistemnogo programmirovaniya","author":"V.A. Semenov","year":"2007","unstructured":"Semenov, V.A., Eroshkin, S.G., Karaulov, A.A., and Enkovich, I.V., Model-based Semantic Reconciliation of Application Data, Trudy instituta sistemnogo programmirovaniya (Proceedings of the Institute for System Programming), Ivannikov, V.P., Ed., Moscow: Inst. for System Programming, Russ. Acad. Sci., 2007, vol. 13, part 2, pp. 141\u2013164."},{"key":"6078_CR61","doi-asserted-by":"crossref","unstructured":"Semenov, V.A., Collaborative Software Engineering Using Metamodel-Driven Approach, Proc. of the 16th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE 2007, IEEE Computer Society Conference Publishing Services, 2007, pp. 178\u2013179.","DOI":"10.1109\/WETICE.2007.4407148"},{"key":"6078_CR62","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-1-84628-976-7_62","volume-title":"Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability","author":"V.A. Semenov","year":"2007","unstructured":"Semenov, V.A., Semantics-Based Reconciliation of Divergent Replicas in Advanced Concurrent Engineering Environments, in Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability, London: Springer, 2007, pp. 557\u2013564."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810050026.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1134\/S0361768810050026\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810050026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T12:07:18Z","timestamp":1685794038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1134\/S0361768810050026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":62,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["6078"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810050026","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}