Constraint-Based Object-Oriented Programming
The application and importance of constraint programming (CP) has grown remarkably in the past two decades. Developers widely use constraints for many planning, scheduling, and optimization tasks.Both the OO and constraint-based paradigms have advantages for certain application fields and programmin...
Uloženo v:
| Vydáno v: | IEEE software Ročník 27; číslo 5; s. 53 - 56 |
|---|---|
| Hlavní autor: | |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Los Alamitos
IEEE
01.09.2010
IEEE Computer Society |
| Témata: | |
| ISSN: | 0740-7459, 1937-4194 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | The application and importance of constraint programming (CP) has grown remarkably in the past two decades. Developers widely use constraints for many planning, scheduling, and optimization tasks.Both the OO and constraint-based paradigms have advantages for certain application fields and programming techniques. Imperative OO languages such as Java and C++ let us model precisely and efficiently the behavior of state-changing systems. |
|---|---|
| AbstractList | The application and importance of constraint programming (CP) has grown remarkably in the past two decades. Developers widely use constraints for many planning, scheduling, and optimization tasks.Both the OO and constraint-based paradigms have advantages for certain application fields and programming techniques. Imperative OO languages such as Java and C++ let us model precisely and efficiently the behavior of state-changing systems. Constraint programming (CP) is a young but rapidly developing technology that supports the modeling and solution of a wide range of planning, scheduling, search, and optimization problems. The integration of CP concepts into languages from other paradigms yields constraint-based multiparadigm programming. This article briefly introduces the constraint-based paradigm and discusses methods, problems, gains, and experiences in integrating CP techniques into the object-oriented paradigm, using Java as an example. |
| Author | Hofstedt, P |
| Author_xml | – sequence: 1 givenname: P surname: Hofstedt fullname: Hofstedt, P email: hofstedt@informatik.tu-cottbus.de organization: Brandenburg Univ. of Technol. Cottbus, Brandenburg, Germany |
| BookMark | eNptkM1LAzEQxYNUsFYvXr2IF0HcOvnaTY5a_IKWCtVzyKbZkrKb1CQ9-N-7peKhOJfhwe8N894pGvjgLUIXGMYYg7yfLcYEeiHkERpiSauCYckGaAgVg6JiXJ6g05TWAMAxhSG6mwSfctTO5-JRJ7u8mtdra3Ixj8763Ov3GFZRd53zqzN03Og22fPfPUKfz08fk9diOn95mzxMC0Mx5EKAEQRkLQmrNZacN6wRurYNwZhj0CWtmDTMmqXgmtZL2TRgbEkYLjXR2NARutnf3cTwtbUpq84lY9tWexu2SQksBO2H9-T1AbkO2-j751TFqCyhKnEPwR4yMaQUbaOMyzq74HfBW4VB7cpTs4XalaeE7C23B5ZNdJ2O3__Dl3vYWWv_QM4qSoDQH_JueC8 |
| CODEN | IESOEG |
| CitedBy_id | crossref_primary_10_1007_s10845_025_02605_5 crossref_primary_10_1007_s13218_011_0153_4 |
| Cites_doi | 10.1007/11963578_2 |
| ContentType | Journal Article |
| Copyright | Copyright IEEE Computer Society Sep/Oct 2010 |
| Copyright_xml | – notice: Copyright IEEE Computer Society Sep/Oct 2010 |
| DBID | 97E RIA RIE AAYXX CITATION 3V. 7WY 7WZ 7XB 87Z 88F 88I 88K 8AL 8FE 8FG 8FK 8FL 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ GUQSH HCIFZ JQ2 K60 K6~ K7- L.- L6V M0C M0N M1Q M2O M2P M2T M7S MBDVC P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U 7SC 7SP 8FD F28 FR3 L7M L~C L~D |
| DOI | 10.1109/MS.2010.89 |
| DatabaseName | IEEE Xplore (IEEE) IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef ProQuest Central (Corporate) ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Military Database (Alumni Edition) Science Database (Alumni Edition) Telecommunications (Alumni Edition) Computing Database (Alumni Edition) ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) ProQuest Research Library ProQuest SciTech Premium Collection Technology Collection Materials Science & Engineering Database ProQuest Central (Alumni) ProQuest Central UK/Ireland ProQuest SciTech Premium Collection Technology Collection Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central Business Premium Collection ProQuest Technology Collection ProQuest One ProQuest Central Korea Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ProQuest Engineering Collection ABI/INFORM Global Computing Database Military Database Research Library Science Database Telecommunications Database Engineering Database Research Library (Corporate) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering Research Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef ProQuest Business Collection (Alumni Edition) Research Library Prep Computer Science Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest Military Collection ProQuest Central China ABI/INFORM Complete ProQuest Telecommunications ProQuest One Applied & Life Sciences ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global Engineering Database ProQuest Science Journals (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest Telecommunications (Alumni Edition) ProQuest Business Collection ProQuest One Academic UKI Edition ProQuest One Academic ProQuest One Academic (New) ABI/INFORM Global (Corporate) ProQuest One Business Technology Collection ProQuest One Academic Middle East (New) ProQuest Central (Alumni Edition) ProQuest One Community College Research Library (Alumni Edition) ProQuest Central ABI/INFORM Professional Advanced ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library ABI/INFORM Complete (Alumni Edition) ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Science Journals ProQuest Computing (Alumni Edition) ProQuest Military Collection (Alumni Edition) ProQuest SciTech Collection Advanced Technologies & Aerospace Database Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest Central (Alumni) Business Premium Collection (Alumni) Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | ProQuest Business Collection (Alumni Edition) Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher – sequence: 2 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1937-4194 |
| EndPage | 56 |
| ExternalDocumentID | 2110653071 10_1109_MS_2010_89 5473202 |
| Genre | orig-research Feature |
| GroupedDBID | -DZ -~X .4S .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 7WY 85S 88I 8FE 8FG 8FL 8G5 8R4 8R5 97E 9M8 AAJGR AARMG AASAJ AAVXG AAWTH ABAZT ABJCF ABQJQ ABUWG ABVLG ACGFO ACGOD ACIWK AENEX AETIX AFKRA AFOGA AGCDD AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ARAPS ARCSS ASUFR ATWAV AZLTO AZQEC BEFXN BENPR BEZIV BFFAM BGLVJ BGNUA BKEBE BKOMP BPEOZ BPHCQ CCPQU CS3 DU5 DWQXO EBS EDO EJD FRNLG GNUQQ GUQSH HCIFZ HZ~ H~9 I-F IBMZZ ICLAB IEDLZ IFIPE IFJZH IPLJI ITG ITH JAVBF K60 K6V K6~ K7- L6V LAI M0C M1Q M2O M2P M43 M7S MS~ O9- OCL OHT P2P P62 PHGZM PHGZT PQBIZ PQBZA PQGLB PQQKQ PROAC PTHSS PUEGO Q2X RIA RIE RNI RNS RXW RZB TAE TN5 UHB UKR UQL VH1 WH7 YZZ ZCG AAYXX AFFHD CITATION 3V. 7XB 88K 8AL 8FK JQ2 L.- M0N M2T MBDVC PKEHL PQEST PQUKI PRINS Q9U 7SC 7SP 8FD F28 FR3 L7M L~C L~D |
| ID | FETCH-LOGICAL-c310t-80c8209b924ba1955f4f8abef211510a63749c4ecd85a3bd9ff0ce62416a2a1c3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000281114300011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0740-7459 |
| IngestDate | Wed Oct 01 14:57:24 EDT 2025 Mon Nov 10 02:57:46 EST 2025 Sat Nov 29 03:04:52 EST 2025 Tue Nov 18 21:44:59 EST 2025 Wed Aug 27 03:05:13 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 5 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c310t-80c8209b924ba1955f4f8abef211510a63749c4ecd85a3bd9ff0ce62416a2a1c3 |
| Notes | SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 14 ObjectType-Article-2 content type line 23 |
| PQID | 743960761 |
| PQPubID | 37787 |
| PageCount | 4 |
| ParticipantIDs | crossref_primary_10_1109_MS_2010_89 ieee_primary_5473202 crossref_citationtrail_10_1109_MS_2010_89 proquest_miscellaneous_818833335 proquest_journals_743960761 |
| PublicationCentury | 2000 |
| PublicationDate | 2010-09-01 |
| PublicationDateYYYYMMDD | 2010-09-01 |
| PublicationDate_xml | – month: 09 year: 2010 text: 2010-09-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Los Alamitos |
| PublicationPlace_xml | – name: Los Alamitos |
| PublicationTitle | IEEE software |
| PublicationTitleAbbrev | S-M |
| PublicationYear | 2010 |
| Publisher | IEEE IEEE Computer Society |
| Publisher_xml | – name: IEEE – name: IEEE Computer Society |
| References | van hentenryck (ref5) 1999 lopez (ref4) 1997 grabm ller (ref2) 2003 (ref1) 2006 ref3 |
| References_xml | – year: 2006 ident: ref1 publication-title: Handbook of Constraint Programming – year: 1997 ident: ref4 publication-title: The Design and Implementation of Kaleidoscope a Constraint Imperative Programming Language – ident: ref3 doi: 10.1007/11963578_2 – year: 1999 ident: ref5 publication-title: The OPL Optimization Programming Language – start-page: 185 year: 2003 ident: ref2 publication-title: Innovate Applications of Artificial Intelligence |
| SSID | ssj0005130 |
| Score | 1.9206525 |
| Snippet | The application and importance of constraint programming (CP) has grown remarkably in the past two decades. Developers widely use constraints for many... Constraint programming (CP) is a young but rapidly developing technology that supports the modeling and solution of a wide range of planning, scheduling,... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 53 |
| SubjectTerms | Airplanes Arithmetic Assembly C plus plus Computer programs Constraint optimization constraints Design Dynamic programming Gain Java Java (programming language) Knapsack problem Libraries Marine vehicles Mathematical models Multiparadigm programming Object oriented Object oriented modeling Object oriented programming object-oriented languages Optimization Personnel Production planning Programming Programming languages Scheduling Semantics software engineering Studies Theory of constraints User interface Variables |
| SummonAdditionalLinks | – databaseName: Military Database dbid: M1Q link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8QwEB509eDFVVexrkpBL4LB9J2cRMXFyz5kFfZWmkdB0O66D3-_mTatguLFXhtKmGbyfZN8zAdwHiqRMel5RCSJxAJFEaZCTQKmpIp9mrNElGYTyWDAJhM-stqchZVV1ntiuVGrqcQz8iskzjEW3dezd4KmUXi5ah001mHD8GSOrfP73uOXwsMrrUYMSFKShBG33Uk9yq_640rVhe7u3_CoNFj5sSuXUNNr_3OSO7BtOaZ7Uy2KXVjTxR60a_8G16ZzBy7RrbP0iFiSW4Nmyh0KPJYhQ2x-bKioO6rUW28G3_bhuXf_dPdArHsCkYayLQ30SIPuXJgCS2Qej6I8zFkmdG5KPpOIWRwkIZehlopFWSAUz3MqdWwQPc78zJPBAbSKaaEPwU2oygUNlZ8Yssip4HGuw1hjbeVzLakDF3UMU2lbi-PsX9OyxKA87Y9TjHfKuANnzdhZ1VDj11Ed_BXNCHRI9qnvQLeOe2pzbZE2QXfAbd6aJMGbj6zQ09UiNayEBeaJjv78QBe2KnEASsiOobWcr_QJbMqP5ctiflourk_uj9V6 priority: 102 providerName: ProQuest |
| Title | Constraint-Based Object-Oriented Programming |
| URI | https://ieeexplore.ieee.org/document/5473202 https://www.proquest.com/docview/743960761 https://www.proquest.com/docview/818833335 |
| Volume | 27 |
| WOSCitedRecordID | wos000281114300011&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: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1937-4194 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: RIE dateStart: 19840101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE – providerCode: PRVPQU databaseName: ABI/INFORM Collection customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: 7WY dateStart: 19840101 isFulltext: true titleUrlDefault: https://www.proquest.com/abicomplete providerName: ProQuest – providerCode: PRVPQU databaseName: ABI/INFORM Collection (ProQuest) customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: M0C dateStart: 19840101 isFulltext: true titleUrlDefault: https://search.proquest.com/abiglobal providerName: ProQuest – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: P5Z dateStart: 19840101 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: K7- dateStart: 19840101 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: M7S dateStart: 19840101 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Military Database customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: M1Q dateStart: 19840101 isFulltext: true titleUrlDefault: https://search.proquest.com/military providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: BENPR dateStart: 19840101 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: Research Library customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: M2O dateStart: 19840101 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVPQU databaseName: Science Database customDbUrl: eissn: 1937-4194 dateEnd: 20120331 omitProxy: false ssIdentifier: ssj0005130 issn: 0740-7459 databaseCode: M2P dateStart: 19840101 isFulltext: true titleUrlDefault: https://search.proquest.com/sciencejournals providerName: ProQuest |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT-MwEB7xOnCBZQuiPKpI7AUJg_O0fQQEWgm1DbQIlksUPyIhQYtoy-9nxknLSstlcxglihVZY0--GXs8H8CvxOpSmjBkWghDAYpl0iaOxdIam0W8kkJ7sgnR68nHR5UvwcniLIxzziefuVO69Xv5dmxmtFR2Rjy5EVWOXBYiq89qfaVzhJ5XBBGRM5GkqilFGnJ11h3UKVxE5f4X-Hg2lX9-wR5Xrjf_r0c_YKPxH4PzesC3YMmNfsLmnJshaEy1BSfExOn5H6bsApHKBn1NSy6sT4WN0c0M8joz6xWxaxvur6-Gl79Zw4zADLpjU4QVg8itNAZPugxVmlZJJUvtKgzn0MjKLBaJMokzVqZlrK2qKm5chmidlVEZmngHVkbjkduFQHBbaZ7YSKAjqLhWWeWSzFHcFClneBuO5yorTFM2nHr_UvjwgauiOyhIvYVUbThatH2ri2V826pFily0aHTYhv35SBSNHU0KCpcyWmppQ7B4iwZAuxrlyI1nkwI9Dhnjle59_919WK93_Ckv7ABWpu8zdwhr5mP6PHnv4FR6-NOB1YurXn6HTzeCoezyS5LhLcmo72Xu5ZCkGKDM06eOn4KfYQTO_w |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LSxxBEC6MCsklGk1wY6IDiQchjT0zPdPdBwnxhbLuKmjAW2f6MSAku8ZdFX-U_9GqeWwEJTcPznWappmqqa--7ur6AL4Kbwvl4phZKR0RFM-UF4GlyjufJ7xU0lZiE7LfV2dn-ngK7tq7MFRW2cbEKlD7oaM98g1KnHMi3d8v_jISjaLD1VZBo_aKbri9QcY22jzYQfOuJcne7un2PmtEBZjDTGaMEdkh6GmLvMMWsc6yUpSqsKFEJoT-WeSpFNqJ4LzKitR6XZbchRyBLi-SInYpzvsKZkSqJP1WXcn-VZTElbQJgjJnUmS66YYac73RO6mryEhN_gH-VYIuj1Cggra9uRf2UebhbZNDRz9qp38HU2GwAHOtPkXUhKtF-EZqpJUGxphtIVr76MjSthM7oubOmGpHx3V12h_E7_fw81nW_AGmB8NBWIJIcl9aLnwiMRnW3Oq8DCIPxB0THRzvwHprM-Oa1um0-t-molBcm96JIfsapTvwZTL2om4Y8uSoRTL9ZAQpQCc86cBya2fTxJKRmRi5A9HkLQYBOtkpBmF4NTKYdakUn-zjfydYhdf7p71Dc3jQ7y7Dm7oQgsrlPsH0-PIqfIZZdz0-H12uVI4dwa_ndpp7q34yLw |
| 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=Constraint-Based+Object-Oriented+Programming&rft.jtitle=IEEE+software&rft.au=Hofstedt%2C+P&rft.date=2010-09-01&rft.pub=IEEE&rft.issn=0740-7459&rft.volume=27&rft.issue=5&rft.spage=53&rft.epage=56&rft_id=info:doi/10.1109%2FMS.2010.89&rft.externalDocID=5473202 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0740-7459&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0740-7459&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0740-7459&client=summon |