On complementary principles of object-oriented constraint programming

The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP), which combines complementary ideas and principles of the object-oriented programming (OOP) and constraint logical programming (CLP). Although the idea looks attractive and there have been...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software Jg. 36; H. 5; S. 264 - 275
Hauptverfasser: Semenov, V. A., Dragalov, K. V., Ilyin, D. V., Morozov, S. V., Sidyaka, O. V.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Dordrecht SP MAIK Nauka/Interperiodica 01.09.2010
Springer Nature B.V
Schlagworte:
Artificial Intelligence
Computer models
Computer programs
Computer Science
Computer simulation
Mathematical models
Object oriented
Object oriented programming
Object-oriented languages
Operating Systems
Principles
Programming
Programming languages
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Strategy
Test Data Generation
Constraint Problem
Semantic Rule
Constraint Programming
Regular Polyhedron
ISSN:0361-7688, 1608-3261
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP), which combines complementary ideas and principles of the object-oriented programming (OOP) and constraint logical programming (CLP). Although the idea looks attractive and there have been attempts to implement it with the use of logical and functional languages, its future outline is still not clear. In the paper, a survey of the existing technologies of the constraint programming is given, and a new systematic approach to the implementation of the object-oriented constraint programming based on the use of declarative data modeling languages is discussed. The advantages of the approach related to the expressiveness and generality of the constraint problem declarations are demonstrated on the example of the classical mathematical queen problem. A general algorithmic strategy of solving the constraint problems is also discussed.
AbstractList The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP), which combines complementary ideas and principles of the object-oriented programming (OOP) and constraint logical programming (CLP). Although the idea looks attractive and there have been attempts to implement it with the use of logical and functional languages, its future outline is still not clear. In the paper, a survey of the existing technologies of the constraint programming is given, and a new systematic approach to the implementation of the object-oriented constraint programming based on the use of declarative data modeling languages is discussed. The advantages of the approach related to the expressiveness and generality of the constraint problem declarations are demonstrated on the example of the classical mathematical queen problem. A general algorithmic strategy of solving the constraint problems is also discussed.
Author Ilyin, D. V.
Morozov, S. V.
Dragalov, K. V.
Semenov, V. A.
Sidyaka, O. V.
Author_xml – sequence: 1
  givenname: V. A.
  surname: Semenov
  fullname: Semenov, V. A.
  email: sem@ispras.ru
  organization: Institute for System Programming, Russian Academy of Sciences
– sequence: 2
  givenname: K. V.
  surname: Dragalov
  fullname: Dragalov, K. V.
  organization: Institute for System Programming, Russian Academy of Sciences
– sequence: 3
  givenname: D. V.
  surname: Ilyin
  fullname: Ilyin, D. V.
  organization: Institute for System Programming, Russian Academy of Sciences
– sequence: 4
  givenname: S. V.
  surname: Morozov
  fullname: Morozov, S. V.
  organization: Institute for System Programming, Russian Academy of Sciences
– sequence: 5
  givenname: O. V.
  surname: Sidyaka
  fullname: Sidyaka, O. V.
  organization: Institute for System Programming, Russian Academy of Sciences
BookMark eNp9kE9LwzAYh4NMcJt-AG8DD56q79ukaXqUMf_AYAf1XNI2GRltMpPs4Lc3ZYIw0VMgv-eXvO8zIxPrrCLkGuEOkbL7V6AcSy4EAhQAOT8jU-QgMppznJDpGGdjfkFmIewAEsfYlKw2dtG6Yd-rQdko_edi741tTboIC6cXrtmpNmbOmxSrLrE2RC-NjQl0Wy-HwdjtJTnXsg_q6vuck_fH1dvyOVtvnl6WD-uspUzETDNRUlWiLDWCYhplI0UlK8YrQXPsioZrJrlUhcSqQSkh7xA0JIyXRdfQObk9vpv-_jioEOvBhFb1vbTKHUJdcSoKKAVN5M0JuXMHb9NwdV6h4FgUgiWqPFKtdyF4pevWRBmNs-OOfY1Qj3brX3ZTE0-ayduQ_P3byY-dMDreKv8z09-lL2TUjM8
CitedBy_id crossref_primary_10_1007_s11370_012_0109_z
crossref_primary_10_1134_S0361768824700774
Cites_doi 10.1145/384101.384123
10.1023/A:1009701123606
10.1109/WETICE.2007.4407148
10.1145/141018.141026
10.7551/mitpress/2086.001.0001
10.1145/76372.77531
10.1109/IDC.1999.754199
10.1201/9781003060819-36
10.1007/3-540-45575-2_29
10.1145/263407.263518
10.1007/978-1-84628-976-7_62
10.1145/357146.357147
10.1007/978-3-662-04031-7
10.1016/j.cosrev.2008.10.001
10.1145/79204.79210
10.1145/1461551.1461591
10.1145/1101908.1101958
10.1016/S0167-6423(97)00008-7
10.1145/192426.192485
10.1016/S0304-3975(96)00190-9
10.1007/978-3-540-85958-1_23
ContentType Journal Article
Copyright Pleiades Publishing, Ltd. 2010
Pleiades Publishing, Ltd. 2010.
Copyright_xml – notice: Pleiades Publishing, Ltd. 2010
– notice: Pleiades Publishing, Ltd. 2010.
DBID AAYXX
CITATION
8FE
8FG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
7SC
8FD
L7M
L~C
L~D
DOI 10.1134/S0361768810050026
DatabaseName CrossRef
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central UK/Ireland
Health Research Premium Collection
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
ProQuest advanced technologies & aerospace journals
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
Computer and Information Systems Abstracts
Technology Research Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
DatabaseTitle CrossRef
Advanced Technologies & Aerospace Collection
Computer Science Database
ProQuest Central Student
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
ProQuest One Academic Eastern Edition
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central
Advanced Technologies & Aerospace Database
ProQuest One Applied & Life Sciences
ProQuest One Academic UKI Edition
ProQuest Central Korea
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Computer and Information Systems Abstracts
Technology Research Database
Computer and Information Systems Abstracts – Academic
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts Professional
DatabaseTitleList Advanced Technologies & Aerospace Collection
Computer and Information Systems Abstracts
Database_xml – sequence: 1
  dbid: P5Z
  name: Advanced Technologies & Aerospace Database
  url: https://search.proquest.com/hightechjournals
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1608-3261
EndPage 275
ExternalDocumentID 10_1134_S0361768810050026
GroupedDBID -59
-5G
-BR
-EM
-Y2
-~C
.86
.DC
.VR
06D
0R~
0VY
123
1N0
29P
2J2
2JN
2JY
2KG
2KM
2LR
2P1
2VQ
2~H
30V
4.4
406
408
409
40D
40E
5VS
67Z
6NX
8TC
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYTO
AAYZH
ABAKF
ABBBX
ABBXA
ABDZT
ABECU
ABFTD
ABFTV
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEMSY
AENEX
AEOHA
AEPYU
AETLH
AEVLU
AEXYK
AFBBN
AFGCZ
AFKRA
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHSBF
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARAPS
ARMRJ
ASPBG
AVWKF
AXYYD
AZFZN
B-.
BA0
BDATZ
BENPR
BGLVJ
BGNMA
BSONS
CAG
CCPQU
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
DU5
EBLON
EBS
EIOEI
EJD
ESBYG
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ6
GQ7
GQ8
GXS
H13
HCIFZ
HF~
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
IHE
IJ-
IKXTQ
IWAJR
IXC
IXD
IXE
IZIGR
IZQ
I~X
I~Z
J-C
JBSCW
JCJTX
JZLTJ
K7-
KDC
KOV
LAK
LLZTM
M4Y
MA-
N2Q
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
OVD
P2P
P9O
PF0
PT4
QOS
R89
R9I
RIG
RNI
RNS
ROL
RPX
RSV
RZC
RZE
S16
S1Z
S27
S3B
SAP
SCO
SDH
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TEORI
TN5
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WK8
XU3
YLTOR
Z7R
Z7X
Z83
Z88
ZMTXR
~A9
AAPKM
AAYXX
ABDBE
ABFSG
ABRTQ
ACSTC
ADHKG
AEZWR
AFDZB
AFFHD
AFHIU
AFOHR
AGQPQ
AHPBZ
AHWEU
AIXLP
ATHPR
CITATION
PHGZM
PHGZT
PQGLB
8FE
8FG
AZQEC
DWQXO
GNUQQ
JQ2
P62
PKEHL
PQEST
PQQKQ
PQUKI
7SC
8FD
L7M
L~C
L~D
ID FETCH-LOGICAL-c348t-f4873e71a7f10e4f1aba89a94698321d5b6f4a6ae5a19b1aa02d10f0aba675db3
IEDL.DBID P5Z
ISICitedReferencesCount 2
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000282092900002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0361-7688
IngestDate Sun Nov 09 09:54:38 EST 2025
Sat Nov 08 00:17:37 EST 2025
Sat Nov 29 04:55:41 EST 2025
Tue Nov 18 22:25:46 EST 2025
Fri Feb 21 02:34:03 EST 2025
IsPeerReviewed true
IsScholarly true
Issue 5
Keywords Test Data Generation
Constraint Problem
Semantic Rule
Constraint Programming
Regular Polyhedron
Language English
License http://www.springer.com/tdm
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c348t-f4873e71a7f10e4f1aba89a94698321d5b6f4a6ae5a19b1aa02d10f0aba675db3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
PQID 2918615584
PQPubID 2043762
PageCount 12
ParticipantIDs proquest_miscellaneous_963850783
proquest_journals_2918615584
crossref_citationtrail_10_1134_S0361768810050026
crossref_primary_10_1134_S0361768810050026
springer_journals_10_1134_S0361768810050026
PublicationCentury 2000
PublicationDate 20100900
2010-9-00
20100901
PublicationDateYYYYMMDD 2010-09-01
PublicationDate_xml – month: 9
  year: 2010
  text: 20100900
PublicationDecade 2010
PublicationPlace Dordrecht
PublicationPlace_xml – name: Dordrecht
– name: New York
PublicationTitle Programming and computer software
PublicationTitleAbbrev Program Comput Soft
PublicationYear 2010
Publisher SP MAIK Nauka/Interperiodica
Springer Nature B.V
Publisher_xml – name: SP MAIK Nauka/Interperiodica
– name: Springer Nature B.V
References ManciniT.Declarative Constraint Modelling and Specification-level Reasoning2005ItalyUniversità degli Studi di Roma “La Sapienza,” Roma
BuscemiaM.G.MontanaribU.A Survey of Constraint-based Programming ParadigmsComputer Science Review20082313714110.1016/j.cosrev.2008.10.001
Energetics. The Energy Standards Resource Centre. http://www.energistics.org/posc/Default.asp.
ISO/IEC 13211-1:1995. Information Technology: Programming Languages: Prolog. Part 1: General Core.
PetrenkoA.K.Specification Based Testing: Towards PracticeLecture Notes in Computer Sciences2001224428730010.1007/3-540-45575-2_292049169
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.
GotliebA.DenmatT.BotellaB.Constraint-based Test Data Generation in the Presence of Stackdirected PointersProc. of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering2005USALong Beach31331610.1145/1101908.1101958
ArayaI.NeveuB.TrombettoniG.Exploiting Common Subexpressions in Numerical CSPsLecture Notes in Computer Sciences2008520234235710.1007/978-3-540-85958-1_23
Beaulieu, A., Learning SQL, O’Reilly Media, 2009, 2nd ed.
MarchukG.I.Metody vychislitel’noi matematiki1977MoscowNauka(Computational Mathematics Methods)
Charme Reference Manual, AI Development Centre, Bull, France, 1990.
ZelenovS.V.ZelenovaS.A.IvannikovV.P.Automatic Generation of Positive and Negative Tests for Testing Syntax Analysis PhaseTrudy instituta sistemnogo programmirovaniya2004MoscowInst. for System Programming4158(Proceedings of the Institute for System Programming)
LiuB.KuY.-W.ConstraintLisp: An Object-Oriented Constraint Programming LanguageACM SIGPLAN Notices19922711172610.1145/141018.141026
MichelL.Van HentenryckP.Helios: A Modeling Language for Global Optimization and its Implementation in NewtonTheoretical Comput. Sci199717313480905.6507010.1016/S0304-3975(96)00190-9
SemenovV.A.Semantics-Based Reconciliation of Divergent Replicas in Advanced Concurrent Engineering EnvironmentsComplex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability2007LondonSpringer557564
Khamisov, O.V., Numerical Solution of Special problems of Nonconvex Quadratic Programming, Diskretnyi analiz issledovanie operatsii, Ser. 1, vol. 12, no. 4, pp. 81–91.
Sam-Haroud, D., Intervals in Constraint Programming: Some Trends and Open Issues, Small Workshop on Interval Methods, 2009.
Object Constraint Language Specification. Version 2.0. http://www.omg.org/technology/documents/formal/ocl.htm.
W3C Semantic Web Activity. http://www.w3.org/2001/sw.
Sutherland, I.E., Sketchpad: A Man-machine Graphical Communication System, Tech. Report no. 296, Lincoln Laboratory, Massachusetts Institute of Technology, 1963.
ZangwillW.I.Nonlinear Programming: A Unified Approach1969Englewood CliffsN.J. Prentice-Hall0195.20804
Saraswat, V.A., Concurrent Constraint Programming, The MIT Press, 1993.
TsangE.Foundations of Constraint Satisfaction1993LondonAcademic
Van HentenryckP.MichelL.BenhamouF.Newton: Constraint Programming over Nonlinear ConstraintsSci. Comput. Programming1998301–2831180891.6801510.1016/S0167-6423(97)00008-7
HendlerJ.KitanoH.NebelB.Handbook of Constraint Programming2006AmsterdamElsevier, B.V.
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–179.
List of STEP Application Protocols. http://www.step-tools.com/library/standard/step-2.html.
SterlingL.ShapiroE.The Art of Prolog1986Cambridge, Mass.The MIT Press0605.68002
ISO 10303: 1994. Industrial Automation Systems and Integration-Product Data Representation and Exchange.
DechterR.Constraint Processing2003San FranciscoMorgan Kaufmann
BorningA.The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation LaboratoryACM Trans. Programming Languages Systems19813435338710.1145/357146.357147
Catalog of UML Profile Specifications. http://www.omg.org/technology/documents/profile-catalog.htm.
Alice. http://www.ps.uni-saarland.de/alice/index.html.
CattelR.G.BarryD.K.BerlerM.The Object Data Management Standard: ODMG 3.02000San FranciscoMorgan Kaufmann
OMG Model Driven Architecture: How Systems will be Built. http://www.omg.org/mda.
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–146.
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.
The Mozart Programming System. http://www.mozart-oz.org.
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–166.
Unified Modeling Language, OMG Available Specification. Version 2.2. http://www.omg.org/spec/UML/2.2.
ColmerauerA.An Introduction to Prolog IIICommun. ACM1990337699010.1145/79204.79210
ANSI INCITS 226-1994 (R2004). Information Technology: Programming Language: Common Lisp.
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.
McAloon, K. and Tretkoff, C., 2LP: Linear Programming and Logic Programming, Proc. of PPCP’93, Newport, Rhode Island, 1993, pp. 178–189.
DemakovA.V.ZelenovS.V.ZelenovaS.A.IvannikovV.P.Generation of Test Data of Complex Structure with Regard to Context ConstraintsTrudy instituta sistemnogo programmirovaniya2006MoscowInst. for System Programming, Russ. Acad. Sci.8396(Proceedings of the Institute for System Programming)
Freeman-BensonB.N.MaloneyJ.BorningA.An Incremental Constraint SolverCommun. ACM1990331546310.1145/76372.77531
OWL Web Ontology Language Guide. http://www.w3.org/TR/2004/REC-owl-guide-20040210.
CHIP V5. http://www.cosytec.com.
IBM ILOG CP: Features and Benefits. http://www-01.ibm.com/software/integration/optimization/cp1/about/?S-CMP=rnav.
ArkhipovaM.V.Automatic Test Generation for Semantic Translator AnalyzersCand. Sci. (Phys.-Math.) Dissertation2006MoscowInst. for System Programming, Russ. Acad. Sci.
Vasil’evF.P.IvanitskiiA.Yu.Lineinoe programmirovanie2003MoscowFaktorial(Linear Programming)
BratkoI.Algoritmy iskusstvennogo intellekta na yazyke PROLOG2004MoscowVil’yams(Artificial Intelligence Algorithms in PROLOG)
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–456.
Saraswat, V. and Lincoln, P., Higher-Order Linear Concurrent Constraint Programming, Tech. Report, Xerox PARC, Department of Computer Science, Stanford University, 1992.
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.
Brand, P., Enhancing the AKL Compiler Using Global Analysis, Tech. Report, Deliverable D.WP2.1.3.M2 in the ESPRIT Project ParForce, 6707, 1994.
BuildingSMART International Alliance for Interoperability. http://www.buildingsmart.com.
KuperG.LibkinL.Constraint Databases2000BerlinSpringer0935.00022
HermenegildoM.Some Challenges for Constraint ProgrammingConstraints199721636910.1023/A:1009701123606
SemenovV.A.EroshkinS.G.KaraulovA.A.EnkovichI.V.IvannikovV.P.Model-based Semantic Reconciliation of Application DataTrudy instituta sistemnogo programmirovaniya2007MoscowInst. for System Programming, Russ. Acad. Sci.141164(Proceedings of the Institute for System Programming)
TackG.Constraint Propagation: Models, Techniques, ImplementationDoctoral Thesis2009GermanySaarland University
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–232.
R. Dechter (6078_CR1) 2003
S.V. Zelenov (6078_CR51) 2004
M.G. Buscemia (6078_CR2) 2008; 2
G. Tack (6078_CR28) 2009
6078_CR61
I. Araya (6078_CR42) 2008; 5202
J. Hendler (6078_CR44) 2006
6078_CR20
6078_CR21
A. Borning (6078_CR22) 1981; 3
6078_CR25
6078_CR26
A.V. Demakov (6078_CR49) 2006
A. Gotlieb (6078_CR46) 2005
B.N. Freeman-Benson (6078_CR29) 1990; 33
A.K. Petrenko (6078_CR50) 2001; 2244
P. Hentenryck Van (6078_CR36) 1998; 30
6078_CR38
6078_CR30
6078_CR31
6078_CR32
6078_CR33
6078_CR34
6078_CR37
6078_CR9
6078_CR8
6078_CR5
6078_CR6
6078_CR3
6078_CR4
6078_CR40
E. Tsang (6078_CR15) 1993
6078_CR41
B. Liu (6078_CR18) 1992; 27
A. Colmerauer (6078_CR24) 1990; 33
6078_CR43
V.A. Semenov (6078_CR62) 2007
6078_CR45
R.G. Cattel (6078_CR7) 2000
6078_CR48
T. Mancini (6078_CR23) 2005
W.I. Zangwill (6078_CR54) 1969
V.A. Semenov (6078_CR60) 2007
6078_CR16
6078_CR17
6078_CR19
L. Michel (6078_CR35) 1997; 173
G. Kuper (6078_CR27) 2000
M.V. Arkhipova (6078_CR47) 2006
I. Bratko (6078_CR55) 2004
L. Sterling (6078_CR56) 1986
G.I. Marchuk (6078_CR58) 1977
6078_CR53
6078_CR10
6078_CR11
6078_CR12
6078_CR13
F.P. Vasil’ev (6078_CR52) 2003
6078_CR57
6078_CR14
M. Hermenegildo (6078_CR39) 1997; 2
6078_CR59
References_xml – reference: IBM ILOG CP: Features and Benefits. http://www-01.ibm.com/software/integration/optimization/cp1/about/?S-CMP=rnav.
– reference: 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–166.
– reference: ISO 10303: 1994. Industrial Automation Systems and Integration-Product Data Representation and Exchange.
– reference: BratkoI.Algoritmy iskusstvennogo intellekta na yazyke PROLOG2004MoscowVil’yams(Artificial Intelligence Algorithms in PROLOG)
– reference: Brand, P., Enhancing the AKL Compiler Using Global Analysis, Tech. Report, Deliverable D.WP2.1.3.M2 in the ESPRIT Project ParForce, 6707, 1994.
– reference: ArkhipovaM.V.Automatic Test Generation for Semantic Translator AnalyzersCand. Sci. (Phys.-Math.) Dissertation2006MoscowInst. for System Programming, Russ. Acad. Sci.
– reference: 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–232.
– reference: Energetics. The Energy Standards Resource Centre. http://www.energistics.org/posc/Default.asp.
– reference: Freeman-BensonB.N.MaloneyJ.BorningA.An Incremental Constraint SolverCommun. ACM1990331546310.1145/76372.77531
– reference: 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–146.
– reference: List of STEP Application Protocols. http://www.step-tools.com/library/standard/step-2.html.
– reference: TsangE.Foundations of Constraint Satisfaction1993LondonAcademic
– reference: BuscemiaM.G.MontanaribU.A Survey of Constraint-based Programming ParadigmsComputer Science Review20082313714110.1016/j.cosrev.2008.10.001
– reference: Beaulieu, A., Learning SQL, O’Reilly Media, 2009, 2nd ed.
– reference: MichelL.Van HentenryckP.Helios: A Modeling Language for Global Optimization and its Implementation in NewtonTheoretical Comput. Sci199717313480905.6507010.1016/S0304-3975(96)00190-9
– reference: 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.
– reference: OWL Web Ontology Language Guide. http://www.w3.org/TR/2004/REC-owl-guide-20040210.
– reference: ZangwillW.I.Nonlinear Programming: A Unified Approach1969Englewood CliffsN.J. Prentice-Hall0195.20804
– reference: DechterR.Constraint Processing2003San FranciscoMorgan Kaufmann
– reference: BorningA.The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation LaboratoryACM Trans. Programming Languages Systems19813435338710.1145/357146.357147
– reference: ColmerauerA.An Introduction to Prolog IIICommun. ACM1990337699010.1145/79204.79210
– reference: 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.
– reference: Charme Reference Manual, AI Development Centre, Bull, France, 1990.
– reference: 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.
– reference: Vasil’evF.P.IvanitskiiA.Yu.Lineinoe programmirovanie2003MoscowFaktorial(Linear Programming)
– reference: DemakovA.V.ZelenovS.V.ZelenovaS.A.IvannikovV.P.Generation of Test Data of Complex Structure with Regard to Context ConstraintsTrudy instituta sistemnogo programmirovaniya2006MoscowInst. for System Programming, Russ. Acad. Sci.8396(Proceedings of the Institute for System Programming)
– reference: KuperG.LibkinL.Constraint Databases2000BerlinSpringer0935.00022
– reference: Catalog of UML Profile Specifications. http://www.omg.org/technology/documents/profile-catalog.htm.
– reference: ISO/IEC 13211-1:1995. Information Technology: Programming Languages: Prolog. Part 1: General Core.
– reference: CHIP V5. http://www.cosytec.com.
– reference: TackG.Constraint Propagation: Models, Techniques, ImplementationDoctoral Thesis2009GermanySaarland University
– reference: OMG Model Driven Architecture: How Systems will be Built. http://www.omg.org/mda.
– reference: BuildingSMART International Alliance for Interoperability. http://www.buildingsmart.com.
– reference: PetrenkoA.K.Specification Based Testing: Towards PracticeLecture Notes in Computer Sciences2001224428730010.1007/3-540-45575-2_292049169
– reference: Khamisov, O.V., Numerical Solution of Special problems of Nonconvex Quadratic Programming, Diskretnyi analiz issledovanie operatsii, Ser. 1, vol. 12, no. 4, pp. 81–91.
– reference: The Mozart Programming System. http://www.mozart-oz.org.
– reference: ZelenovS.V.ZelenovaS.A.IvannikovV.P.Automatic Generation of Positive and Negative Tests for Testing Syntax Analysis PhaseTrudy instituta sistemnogo programmirovaniya2004MoscowInst. for System Programming4158(Proceedings of the Institute for System Programming)
– reference: Object Constraint Language Specification. Version 2.0. http://www.omg.org/technology/documents/formal/ocl.htm.
– reference: HermenegildoM.Some Challenges for Constraint ProgrammingConstraints199721636910.1023/A:1009701123606
– reference: HendlerJ.KitanoH.NebelB.Handbook of Constraint Programming2006AmsterdamElsevier, B.V.
– reference: Sutherland, I.E., Sketchpad: A Man-machine Graphical Communication System, Tech. Report no. 296, Lincoln Laboratory, Massachusetts Institute of Technology, 1963.
– reference: SemenovV.A.EroshkinS.G.KaraulovA.A.EnkovichI.V.IvannikovV.P.Model-based Semantic Reconciliation of Application DataTrudy instituta sistemnogo programmirovaniya2007MoscowInst. for System Programming, Russ. Acad. Sci.141164(Proceedings of the Institute for System Programming)
– reference: Unified Modeling Language, OMG Available Specification. Version 2.2. http://www.omg.org/spec/UML/2.2.
– reference: Saraswat, V.A., Concurrent Constraint Programming, The MIT Press, 1993.
– reference: 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–456.
– reference: 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.
– reference: GotliebA.DenmatT.BotellaB.Constraint-based Test Data Generation in the Presence of Stackdirected PointersProc. of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering2005USALong Beach31331610.1145/1101908.1101958
– reference: ArayaI.NeveuB.TrombettoniG.Exploiting Common Subexpressions in Numerical CSPsLecture Notes in Computer Sciences2008520234235710.1007/978-3-540-85958-1_23
– reference: Sam-Haroud, D., Intervals in Constraint Programming: Some Trends and Open Issues, Small Workshop on Interval Methods, 2009.
– reference: MarchukG.I.Metody vychislitel’noi matematiki1977MoscowNauka(Computational Mathematics Methods)
– reference: CattelR.G.BarryD.K.BerlerM.The Object Data Management Standard: ODMG 3.02000San FranciscoMorgan Kaufmann
– reference: ANSI INCITS 226-1994 (R2004). Information Technology: Programming Language: Common Lisp.
– reference: W3C Semantic Web Activity. http://www.w3.org/2001/sw.
– reference: Saraswat, V. and Lincoln, P., Higher-Order Linear Concurrent Constraint Programming, Tech. Report, Xerox PARC, Department of Computer Science, Stanford University, 1992.
– reference: SemenovV.A.Semantics-Based Reconciliation of Divergent Replicas in Advanced Concurrent Engineering EnvironmentsComplex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability2007LondonSpringer557564
– reference: McAloon, K. and Tretkoff, C., 2LP: Linear Programming and Logic Programming, Proc. of PPCP’93, Newport, Rhode Island, 1993, pp. 178–189.
– reference: LiuB.KuY.-W.ConstraintLisp: An Object-Oriented Constraint Programming LanguageACM SIGPLAN Notices19922711172610.1145/141018.141026
– reference: Alice. http://www.ps.uni-saarland.de/alice/index.html.
– reference: 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–179.
– reference: SterlingL.ShapiroE.The Art of Prolog1986Cambridge, Mass.The MIT Press0605.68002
– reference: ManciniT.Declarative Constraint Modelling and Specification-level Reasoning2005ItalyUniversità degli Studi di Roma “La Sapienza,” Roma
– reference: Van HentenryckP.MichelL.BenhamouF.Newton: Constraint Programming over Nonlinear ConstraintsSci. Comput. Programming1998301–2831180891.6801510.1016/S0167-6423(97)00008-7
– volume-title: Metody vychislitel’noi matematiki
  year: 1977
  ident: 6078_CR58
– start-page: 141
  volume-title: Trudy instituta sistemnogo programmirovaniya
  year: 2007
  ident: 6078_CR60
– volume-title: The Object Data Management Standard: ODMG 3.0
  year: 2000
  ident: 6078_CR7
– ident: 6078_CR11
– ident: 6078_CR53
– ident: 6078_CR34
– ident: 6078_CR45
  doi: 10.1145/384101.384123
– volume: 2
  start-page: 63
  issue: 1
  year: 1997
  ident: 6078_CR39
  publication-title: Constraints
  doi: 10.1023/A:1009701123606
– ident: 6078_CR61
  doi: 10.1109/WETICE.2007.4407148
– ident: 6078_CR3
– volume-title: Declarative Constraint Modelling and Specification-level Reasoning
  year: 2005
  ident: 6078_CR23
– volume-title: Foundations of Constraint Satisfaction
  year: 1993
  ident: 6078_CR15
– volume: 27
  start-page: 17
  issue: 11
  year: 1992
  ident: 6078_CR18
  publication-title: ACM SIGPLAN Notices
  doi: 10.1145/141018.141026
– ident: 6078_CR41
  doi: 10.7551/mitpress/2086.001.0001
– ident: 6078_CR21
– ident: 6078_CR40
– ident: 6078_CR14
– ident: 6078_CR37
– volume: 33
  start-page: 54
  issue: 1
  year: 1990
  ident: 6078_CR29
  publication-title: Commun. ACM
  doi: 10.1145/76372.77531
– start-page: 83
  volume-title: Trudy instituta sistemnogo programmirovaniya
  year: 2006
  ident: 6078_CR49
– ident: 6078_CR57
  doi: 10.1109/IDC.1999.754199
– ident: 6078_CR59
  doi: 10.1201/9781003060819-36
– volume-title: Nonlinear Programming: A Unified Approach
  year: 1969
  ident: 6078_CR54
– ident: 6078_CR12
– ident: 6078_CR33
– volume: 2244
  start-page: 287
  year: 2001
  ident: 6078_CR50
  publication-title: Lecture Notes in Computer Sciences
  doi: 10.1007/3-540-45575-2_29
– volume-title: Algoritmy iskusstvennogo intellekta na yazyke PROLOG
  year: 2004
  ident: 6078_CR55
– ident: 6078_CR25
– ident: 6078_CR31
  doi: 10.1145/263407.263518
– start-page: 557
  volume-title: Complex Systems Concurrent Engineering: Collaboration, Technology Innovation and Sustainability
  year: 2007
  ident: 6078_CR62
  doi: 10.1007/978-1-84628-976-7_62
– ident: 6078_CR8
– ident: 6078_CR16
  doi: 10.7551/mitpress/2086.001.0001
– ident: 6078_CR4
– ident: 6078_CR19
– ident: 6078_CR43
– volume-title: Cand. Sci. (Phys.-Math.) Dissertation
  year: 2006
  ident: 6078_CR47
– volume: 3
  start-page: 353
  issue: 4
  year: 1981
  ident: 6078_CR22
  publication-title: ACM Trans. Programming Languages Systems
  doi: 10.1145/357146.357147
– volume-title: Constraint Databases
  year: 2000
  ident: 6078_CR27
  doi: 10.1007/978-3-662-04031-7
– ident: 6078_CR32
– ident: 6078_CR9
– volume: 2
  start-page: 137
  issue: 3
  year: 2008
  ident: 6078_CR2
  publication-title: Computer Science Review
  doi: 10.1016/j.cosrev.2008.10.001
– volume: 33
  start-page: 69
  issue: 7
  year: 1990
  ident: 6078_CR24
  publication-title: Commun. ACM
  doi: 10.1145/79204.79210
– ident: 6078_CR13
– ident: 6078_CR5
– ident: 6078_CR26
– volume-title: Constraint Processing
  year: 2003
  ident: 6078_CR1
– start-page: 41
  volume-title: Trudy instituta sistemnogo programmirovaniya
  year: 2004
  ident: 6078_CR51
– ident: 6078_CR20
  doi: 10.1145/1461551.1461591
– volume-title: Handbook of Constraint Programming
  year: 2006
  ident: 6078_CR44
– volume-title: Lineinoe programmirovanie
  year: 2003
  ident: 6078_CR52
– start-page: 313
  volume-title: Proc. of the 20th IEEE/ACM Int. Conf. on Automated Software Engineering
  year: 2005
  ident: 6078_CR46
  doi: 10.1145/1101908.1101958
– volume: 30
  start-page: 83
  issue: 1–2
  year: 1998
  ident: 6078_CR36
  publication-title: Sci. Comput. Programming
  doi: 10.1016/S0167-6423(97)00008-7
– volume-title: Doctoral Thesis
  year: 2009
  ident: 6078_CR28
– ident: 6078_CR10
– ident: 6078_CR30
  doi: 10.1145/192426.192485
– ident: 6078_CR48
– ident: 6078_CR6
– volume: 173
  start-page: 3
  issue: 1
  year: 1997
  ident: 6078_CR35
  publication-title: Theoretical Comput. Sci
  doi: 10.1016/S0304-3975(96)00190-9
– ident: 6078_CR17
– volume: 5202
  start-page: 342
  year: 2008
  ident: 6078_CR42
  publication-title: Lecture Notes in Computer Sciences
  doi: 10.1007/978-3-540-85958-1_23
– volume-title: The Art of Prolog
  year: 1986
  ident: 6078_CR56
– ident: 6078_CR38
SSID ssj0010044
Score 1.7790651
Snippet The paper is devoted to the implementation of the paradigm of the object-oriented constraint programming (OOCP), which combines complementary ideas and...
SourceID proquest
crossref
springer
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 264
SubjectTerms Artificial Intelligence
Computer models
Computer programs
Computer Science
Computer simulation
Mathematical models
Object oriented
Object oriented programming
Object-oriented languages
Operating Systems
Principles
Programming
Programming languages
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Strategy
SummonAdditionalLinks – databaseName: SpringerLink Journals
  dbid: RSV
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFH_o9ODF-YnVKTl4UoJNm27pUWTiaYpT2a0kbQIDbce6Cf73vrTphp-gt0Jf0keS95Xf63sAp4IbkxrGKT4ElAdaU8kFR4mPgkikXDKjqmYTvcFAjEbxnfuPu2yy3RtIstLUdd8RfjFEXcvQORbM1izB0GEV1tDaCduv4X74tIAOLERZA5SMWnIHZX47xUdjtPQwP4Gila25bv-Lyy3YdK4luazPwjas6HwH2k3bBuKkeBf6tzmpMsnrxPHpG5k0N-4lKQwplL2boYWtgIz-KNLaKrNynM-Iy-Z6QY724PG6_3B1Q103BZqGXMyowdAk1D0me4b5mhsmlRSxjG0LyTBgWaS6hsuu1JFksWJS-kHGfOMjGQYVmQr3oZUXuT4AYmOWbuBnIkXvQEmmOA7VQsks9OM0FB74zbImqSs1bvl8TqqQI-TJl2Xy4GwxZFLX2fiNuNPsVeJErkyCmAkLsgruAVm8RmGxCIjMdTEvE6ttIgtcenDebN9yhh-_d_gn6iPYqFMMbCJaB1qz6Vwfw3r6OhuX05PqsL4D6Ong6w
  priority: 102
  providerName: Springer Nature
Title On complementary principles of object-oriented constraint programming
URI https://link.springer.com/article/10.1134/S0361768810050026
https://www.proquest.com/docview/2918615584
https://www.proquest.com/docview/963850783
Volume 36
WOSCitedRecordID wos000282092900002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1608-3261
  dateEnd: 20241213
  omitProxy: false
  ssIdentifier: ssj0010044
  issn: 0361-7688
  databaseCode: P5Z
  dateStart: 20000101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1608-3261
  dateEnd: 20241213
  omitProxy: false
  ssIdentifier: ssj0010044
  issn: 0361-7688
  databaseCode: K7-
  dateStart: 20000101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1608-3261
  dateEnd: 20241213
  omitProxy: false
  ssIdentifier: ssj0010044
  issn: 0361-7688
  databaseCode: BENPR
  dateStart: 20000101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
– providerCode: PRVAVX
  databaseName: SpringerLINK Contemporary 1997-Present
  customDbUrl:
  eissn: 1608-3261
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0010044
  issn: 0361-7688
  databaseCode: RSV
  dateStart: 20000101
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED_8evDFb3F-jDz4pASbNt3SJ1HZEIQ5NpXhS0naBARt5zoF_3tzbbqJoi--lJImvbSXS-7ud9wBHAtuTGIYp_bGp9zXmkouuJX40A9FwiUzqiw20e71xGgU9Z3DrXBhlfWeWG7UaZ6gj_zMj5hADE3w8_ErxapRiK66EhqLsIxZErB0Qz98nKEIiFZWWCWjVq0WDtVkAT8bYiO2McyAUuZW-HouzZXNb_hoeex01_874Q1YcwonuahWyCYs6GwL1utiDsTJ9jZ0bjNSxpdX4eSTDzKu_fAFyQ3JFXpskAJm8UxtX8w9K5-yKXExXi_2A3bgvtu5u7qmrsYCTQIuptRYgyXQbSbbhnmaGyaVFJGMsLBk4LM0VC3DZUvqULJIMSk9P2We8Ww3a2qkKtiFpSzP9B4QtGRavpeKxOoMSjLF7VAtlEwDL0oC0QCv_sNx4hKQ4zyf49IQCXj8gykNOJkNGVfZN_7qfFgzInaCWMRzLjSAzB5bEUJcRGY6fyti3INChDMbcFpze_6GX-nt_03vAFarSAOMRzuEpenkTR_BSvI-fSomTVi-7PT6gyYs3rRps1y29joYPnwClU3v7w
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LTxsxEB6loVK5FPpABAL1gV5aWawfm3gPVVWVICJoqNRU4ra1d20JCXZDNmnFn-pvxLOPpAKRG4feVl4_1p7xeMbf7AzAgZLOJY5J6h84ldxaqqWSfseHPFSJ1MyZMtlEfzRSFxfR9xb8bf6FQbfKRiaWgjrNE7wjP-QRU4ihKfl5ckMxaxSiq00KjYotTu3tH2-yFZ-GR56-7zk_Hoy_ntA6qwBNhFQz6ryKLmyf6b5jgZWOaaNVpCNMpSg4S0PTc1L3tA01iwzTOuApC1zgq3nlOjXC9_sM1qTw3SAI3KcL1ALR0QobZdSr8apGUZmQhz-wEMsYRlwpYzn8ew4uldt7eGx5zB1v_G8LtAkva4WafKl2wCto2ew1bDTJKkgtu97A4Dwjpf985S4_vSWTBmcoSO5IbvBGCmeEUUpTXxdj6-rLbEZqH7Zrv2Bv4eeTTGYL2lme2W0gaKn1eJCqxOtERjMjfVOrjE5FECVCdSBoKBondYB1_M6ruDS0hIwfMEEHPiyaTKroIqsqdxvCx7WgKeIl1TtAFq-9iEDcR2c2nxcxytgQ4doOfGy4a9nDo-PtrB7vHbw4GX87i8-Go9NdWK-8KtD3rgvt2XRu9-B58nt2WUz3y01C4NdTM90dBc9KNQ
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED90ivji_MTp1Dz4pBSbNt3SR9ENRZmCH_hWkjaBgbZj7QT_e3NtuuEniG-FXtIjySV3-f16B3DImdaxpswxD57DPKUcwTgzFh94AY-ZoFqWxSa6gwF_egpvbZ3TvGa715Bk9U8DZmlKi5NRom0NEnZyZ_ZdahxlTjF_iQkj5mGBIY8ew_W7xymMgHBlBVZSB8UtrPltFx8Pppm3-QkgLc-dfvPfGq_CinU5yWm1RtZgTqXr0KzLORBr3RvQu0lJyTCvCOXjNzKqb-JzkmmSSbyzcTLMjGz8VCOL2WfFMC2IZXm9GO024aHfuz-7cGyVBSf2GS8cbUIWX3Wp6GrqKqapkIKHIsTSkr5Hk0B2NBMdoQJBQ0mFcL2Euto1YibYSKS_BY00S9U2EIxlOp6b8Nh4DVJQyUxTxaVIfDeMfd4Ctx7iKLYpyFHP56gMRXwWfRmmFhxNm4yq_Bu_CbfreYusKeaRF1KO4CtnLSDT18aIEBkRqcomeYS7UICAZguO66mc9fDj93b-JH0AS7fn_ej6cnC1C8sVCwG5am1oFOOJ2oPF-LUY5uP9cg2_A4M97LM
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+complementary+principles+of+object-oriented+constraint+programming&rft.jtitle=Programming+and+computer+software&rft.au=Semenov%2C+V.+A.&rft.au=Dragalov%2C+K.+V.&rft.au=Ilyin%2C+D.+V.&rft.au=Morozov%2C+S.+V.&rft.date=2010-09-01&rft.issn=0361-7688&rft.eissn=1608-3261&rft.volume=36&rft.issue=5&rft.spage=264&rft.epage=275&rft_id=info:doi/10.1134%2FS0361768810050026&rft.externalDBID=n%2Fa&rft.externalDocID=10_1134_S0361768810050026
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0361-7688&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0361-7688&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0361-7688&client=summon