{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,21]],"date-time":"2022-04-21T02:09:17Z","timestamp":1650506957306},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. Telecommun."],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1007\/bf03253293","type":"journal-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T06:33:22Z","timestamp":1625639602000},"page":"847-870","source":"Crossref","is-referenced-by-count":2,"title":["Constraint-based model for network service provisioning"],"prefix":"10.1007","volume":"62","author":[{"given":"Rudy","family":"Deca","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Omar","family":"Cherkaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvon","family":"Savaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doug","family":"Slone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"BF03253293_CR1","first-page":"15","volume":"17","author":"D. Lopez","year":"2003","unstructured":"Lopez De Vergara J. E., Villagra V. A., Asensio J. L, Berrocal J., Ontologies: Giving Semantics to Network Management Models, IEEE Network, 17, no 3 pp. 15\u201321, 2003.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR2","first-page":"201","volume":"43","author":"F. Keller","year":"1995","unstructured":"Keller F., An Extension of GDMO for Formalizing Managed Objects Behaviour, Proceedings of the IFIP TC6 8th International Conference on Formal Description Techniques VIII, 43, pp. 201\u2013217, ISBN:0-412-73270-X, 1995.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"issue":"4","key":"BF03253293_CR3","first-page":"267","volume":"6","author":"A. Franzke","year":"1998","unstructured":"Franzke A., Frohnhoff B., Formalizing GDMO Action and Notification. Definitions \u2014 Results from a Case Study, Journal of Network and Systems Management, 6, no 4, pp. 267\u2013282, 1998.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR4","first-page":"147","volume-title":"Proc. 15th IFIP\/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM\u201904)","author":"S. Halle","year":"2004","unstructured":"Halle S., Deca R., Cherkaoui O., Villemaire R., A formal validation model for the Netconf protocol, Proc. 15th IFIP\/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM\u201904), Davis, CA, USA, November 15\u201317, pp. 147\u2013158, 2004."},{"key":"BF03253293_CR5","first-page":"29","volume-title":"Workshop on Policies for Distributed Systems and Networks (Policy2001)","author":"N. Damianou","year":"2001","unstructured":"Damianou N., Dulay N., Lupu E., Sloman M., The Ponder policy Specification Language, Workshop on Policies for Distributed Systems and Networks (Policy2001), HP Labs Bristol, Springer, pp. 29\u201331, 2001."},{"key":"BF03253293_CR6","volume-title":"M.Se. Thesis","author":"S. Halle","year":"2005","unstructured":"Halle S., Formalismes logiques pour la gestion des configurations dans les r\u00e9seaux informatiques, M.Se. Thesis, UQAM Montr\u00e9al, 2005."},{"key":"BF03253293_CR7","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1998","unstructured":"Warmer J., Kleppe A., The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, Redwood City, 1998."},{"key":"BF03253293_CR8","volume-title":"Ph.D. Thesis","author":"M. Richters","year":"2000","unstructured":"Richters M., A Precise Approach to Validating UML Models and OCL Constraints, Ph.D. Thesis, Universit\u00e4t Bremen, 2000."},{"key":"BF03253293_CR9","volume-title":"Proceedings of the IEEE IFIP TC6 Conference on Network Control and Engineering for QoS, Security and Mobility (Net-Con \u20192004)","author":"R. Deca","year":"2004","unstructured":"Deca R., Cherkaoui O., Puche D., Configuration Model for Network Management, Proceedings of the IEEE IFIP TC6 Conference on Network Control and Engineering for QoS, Security and Mobility (Net-Con \u20192004), Palma de Mallorca, Spain, 2004."},{"key":"BF03253293_CR10","first-page":"27","volume":"00","author":"S. Halle","year":"2006","unstructured":"Halle S., Villemaire R., Cherkaoui O., CTL Model Checking for Labelled Tree Queries, Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME\u201906), 00, pp. 27\u201335, 2006.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR11","first-page":"175","volume-title":"Actes du 5e colloque international sur les Nouvelles Technologies de la R\u00e9partition (NOTERE2005)","author":"R. Deca","year":"2005","unstructured":"Deca R., Mahrez O., Cherkaoui O., Slone D., Contributions to Automated Testing of Network Service Interactions. Actes du 5e colloque international sur les Nouvelles Technologies de la R\u00e9partition (NOTERE2005), Gatineau, Canada, pp. 175\u2013180, 2005."},{"key":"BF03253293_CR12","volume-title":"NetDoctor \u2014 Ensuring Network Integrity and Security","author":"Opnet Technologies, Inc.","year":"2005","unstructured":"Opnet Technologies, Inc., NetDoctor \u2014 Ensuring Network Integrity and Security, http:\/\/www.opnet.com\/products\/modules\/netdoctor.pdf, 2005."},{"issue":"3","key":"BF03253293_CR13","first-page":"134","volume":"44","author":"E. S. Al-Shaer","year":"2006","unstructured":"Al-Shaer E. S., Hamed H. H., Taxonomy of Conflicts in Network Security Policies, IEEE Communications Magazine, 44, no 3, pp. 134\u2013141, March, 2006.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR14","first-page":"1","volume-title":"Proceedings of the 2nd USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201905)","author":"N. Feamster","year":"2005","unstructured":"Feamster N., Balakrishnan H., Detecting BGP configuration faults with static analysis, Proceedings of the 2nd USENIX Symposium on Networked Systems Design and Implementation (NSDI \u201905), pp. 1\u201311, Boston, MA, USA, May 2005."},{"key":"BF03253293_CR15","volume-title":"Proc. 22nd Annual Joint Conference of the IEEE Computer and Communications Societies","author":"R. Bush","year":"2003","unstructured":"Bush R., Griffin T., Integrity for Virtual Private Routed Networks, Proc. 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, (INFOCOM\u201903), San Francisco, CA, U.S.A., 2003."},{"key":"BF03253293_CR16","volume-title":"IEEE\/IFIP Integrated Management (IM 2001)","author":"A. Kittel","year":"2001","unstructured":"Kittel A., Bhatnagar A., Hum R., Weintraub K., Service Creation and Service Management for Advanced IP Networks and Services \u2014 An Experience Paper, IEEE\/IFIP Integrated Management (IM 2001), Seattle, WA, U.S.A., 2001."},{"key":"BF03253293_CR17","first-page":"43","volume":"43","author":"A. Clemm","year":"2003","unstructured":"Clemm A., Shen F., Lee V., Generic provisioning of heterogeneous services \u2014 a close encounter with service profiles, Computer Networks\n                  43, pp. 43\u201357, Elsevier, 2003.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"issue":"4","key":"BF03253293_CR18","first-page":"297","volume":"3","author":"M. Garschhammer","year":"2001","unstructured":"Garschhammer M., Hauck R., Kempter B., Radisic I., Roelle H., Schmidt H., The MNM Service Model \u2014 Refined Views on Generic Service Management, Journal of Communications and Networks, 3, no 4, pp. 297\u2013306, 2001.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR19","first-page":"171","volume-title":"IFIP\/IEEE Workshop on Distributed Systems: Operations and Management (DSOM\u201903)","author":"G. Dreo Rodosek","year":"2003","unstructured":"Dreo Rodosek G., A Generic Model for IT Services and Service Management\u201d. Proceedings of the 14th IFIP\/IEEE Workshop on Distributed Systems: Operations and Management (DSOM\u201903), pp. 171\u2013184, 2003."},{"issue":"3","key":"BF03253293_CR20","first-page":"333","volume":"8","author":"M. Burgess","year":"1995","unstructured":"Burgess M., Cfengine: a site configuration engine, USENIX Computing systems, 8, no 3, pp. 333\u2013360, 1995.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR21","volume-title":"Proceedings of the 15th USENIX conference on Systemadministration","author":"L. Couch","year":"2001","unstructured":"Couch L., Daniels N., The maelstrom: Network service debugging via \u201cineffective procedures\u201d. Proceedings of the 15th USENIX conference on Systemadministration, San Diego, California, December, 2001."},{"key":"BF03253293_CR22","volume-title":"Proceedings of the 15th USENIX conference on System administration","author":"F. E. Sandness","year":"2001","unstructured":"Sandness F. E., Scheduling partially ordered events in a randomised framework: Empirical results and implications for automatic configuration management, Proceedings of the 15th USENIX conference on System administration, San Diego, Calif., December 02-07, 2001."},{"key":"BF03253293_CR23","first-page":"28","volume-title":"Proc.IEEE DSOM 2003","author":"A. Couch","year":"2003","unstructured":"Couch A., Sun Y., On the Algebraic Structure of Convergence, Proc.IEEE DSOM 2003, Heidelberg, Germany, Springer, pp. 28\u201340, 2003."},{"key":"BF03253293_CR24","volume-title":"7e Colloque francophone de Gestion de R\u00e9seaux et de Services","author":"S. Halle","year":"2006","unstructured":"Halle S., Deca R., Cherkaoui O., Villemaire R., Puche D., Sequential dependencies in configuration operations, 7e Colloque francophone de Gestion de R\u00e9seaux et de Services, Bordeaux, France, May 9\u201312, 2006."},{"key":"BF03253293_CR25","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/GLOCOM.1997.632539","volume-title":"Proceedings of the IEEE Global Telecommunications Conference (GLOBECOM\u201997)","author":"S. Znaty","year":"1997","unstructured":"Znaty S., Cherakoui O., IDEAL: An IntegrateD REsource MAnagement Language, Proceedings of the IEEE Global Telecommunications Conference (GLOBECOM\u201997), Phoenix, AZ, U.S.A., November 1997, 1, pp. 202\u2013206, IEEE, Piscataway, NJ, U.S.A."},{"issue":"4","key":"BF03253293_CR26","first-page":"333","volume":"6","author":"A.-L. Rivi\u00e8re","year":"1998","unstructured":"Rivi\u00e8re A.-L, Sibilla M., Management Information Models Integration: From Existing Approaches to new Unifying Guidelines, Journal of Network and Systems Management, 6, no 4, pp. 333\u2013356, 1998.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR27","volume-title":"Proceedings of the 7th IFIP\/IEEE Workshop on \u201cDistributed Systems: Operations and Management\u201d (DSOM 1996)","author":"A.-I). Rivi\u00e8re","year":"1996","unstructured":"Rivi\u00e8re A.-I)., Pell A., Sibilla M., Network Management Information: From Protocols to Information Integration, Proceedings of the 7th IFIP\/IEEE Workshop on \u201cDistributed Systems: Operations and Management\u201d (DSOM 1996), L\u2019Aquila, Italy, 1996."},{"issue":"12","key":"BF03253293_CR28","first-page":"92","volume":"41","author":"J. P. D. Marttn-Flatin","year":"2003","unstructured":"Marttn-Flatin J. P.), D. Srivastava D., Westerinen A, Iterative Multi-Tier Management Information Modeling, IEEE Communications Magazine, 41, no 12, pp. 92\u201399, 2003","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR29","volume-title":"Proceedings of the 6th IFIP\/IEEE International Symposium on Integrated Network Management (IM 1999)","author":"A. Keller","year":"1999","unstructured":"Keller A., Managing the Management: CORBA-based Instrumentation of Management Systems, Proceedings of the 6th IFIP\/IEEE International Symposium on Integrated Network Management (IM 1999), Boston, MA, U.S.A., 1999."},{"key":"BF03253293_CR30","volume-title":"A Script MIB based Java Policy Management System: Design and Implementation Report, Technical University Braunschweig","author":"F. Strauss","year":"2001","unstructured":"Strauss F., A Script MIB based Java Policy Management System: Design and Implementation Report, Technical University Braunschweig, Germany, September 2001."},{"issue":"6","key":"BF03253293_CR31","first-page":"852","volume":"25","author":"E. C. Lupu","year":"1999","unstructured":"Lupu E. C., Sloman M., Conflicts in Policy-Based Distributed Systems management, IEEE Transactions in Software Engineering, 25, no 6, pp. 852\u2013869, 1999.","journal-title":"Annales Des T\u00e9l\u00e9communications"},{"key":"BF03253293_CR32","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/IWSOC.2004.1319857","volume-title":"In Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (iwsoc\u201904)","author":"N. Gorse","year":"2004","unstructured":"Gorse N., Aboulhamid E. M., Savaria Y., Consistency Validation of High-Level Requirements, In Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (iwsoc\u201904), pp. 93\u201398, Banff, AB, Canada, July 2004."},{"key":"BF03253293_CR33","volume-title":"3rd Conference on the Practical Applications of Intelligent Agents and Multi-Agents (PAAM\u201998)","author":"M. Barbuceanu","year":"1998","unstructured":"Barbuceanu M., Gray T., Mankowski S., HOW to make your agents fulfill their obligations, 3rd Conference on the Practical Applications of Intelligent Agents and Multi-Agents (PAAM\u201998), London, UK, 1998."},{"key":"BF03253293_CR34","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/EDOC.2002.1137715","volume-title":"Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC\u20192002)","author":"K. T. Krishnakumar","year":"2002","unstructured":"Krishnakumar K. T., Sloman M., Constraint based Network Adaptation for Ubiquitous Applications, Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC\u20192002), pp. 258\u2013271, Lausanne, Switzerland, September 2002."},{"key":"BF03253293_CR35","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1109\/INM.2005.1440836","volume-title":"Proceedings of the 9th IFIP\/IEEE International Symposium on Integrated Network Management (IM 2005)","author":"A. B. Brown","year":"2005","unstructured":"Brown A. B., Keller A., Hellerstein J., A Model of Configuration Complexity and its Application to a Change Management System, Proceedings of the 9th IFIP\/IEEE International Symposium on Integrated Network Management (IM 2005), pp. 631\u2013644, May 2005."},{"key":"BF03253293_CR36","first-page":"575","volume-title":"Proceedings of the IEEE\/IFIP Network Operations and Management Symposium (NOMS 2002)","author":"I. Khalil","year":"2002","unstructured":"Khalil I., Braun T., Automated Service Provisioning in Heterogeneous Large-Scale Environment, Proceedings of the IEEE\/IFIP Network Operations and Management Symposium (NOMS 2002), pp.575\u2013588, Florence, Italy, April 2002."},{"key":"BF03253293_CR37","volume-title":"Cisco Modular Quality of Service Command Line Interface","author":"Cisco Systems, Inc.","year":"2005","unstructured":"Cisco Systems, Inc., Cisco Modular Quality of Service Command Line Interface, http:\/\/www.cisco.com\/cn\/US\/tech\/tk543\/technologies_white_paper09186a0080123415.shtml, 2005"},{"key":"BF03253293_CR38","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/INM.2003.1194182","volume-title":"Proceedings of the 8th IFIP\/IEEE International Symposium on Integrated Network Management (IM 2003)","author":"P. Flegkas","year":"2003","unstructured":"Flegkas P., Trimintzios P., Pavlou G., Liotta A., Design and Implementation of a Policy-based Resource Management Architecture, Proceedings of the 8th IFIP\/IEEE International Symposium on Integrated Network Management (IM 2003), Kluwer, pp. 215\u2013229, Colorado Springs, co, U.S.A., March 2003."},{"key":"BF03253293_CR39","volume-title":"Configuring a Basic MPLS VPN, Document ID: 13733","author":"Cisco Systems, INC.","year":"2005","unstructured":"Cisco Systems, INC., Configuring a Basic MPLS VPN, Document ID: 13733, http:\/\/www.cisco.com\/warp\/public\/105\/mpls_vpn_basic.html, August 2005."}],"container-title":["Annales Des T\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03253293.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF03253293\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03253293.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T07:47:51Z","timestamp":1625644071000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF03253293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":39,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["BF03253293"],"URL":"https:\/\/doi.org\/10.1007\/bf03253293","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}