{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:54:54Z","timestamp":1649008494047},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"11-12","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann. Telecommun."],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1007\/bf03219900","type":"journal-article","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T08:09:34Z","timestamp":1342771774000},"page":"1347-1368","source":"Crossref","is-referenced-by-count":1,"title":["Un environnement de conception de syst\u00e8mes distribu\u00e9s bas\u00e9 sur UML"],"prefix":"10.1007","volume":"61","author":[{"given":"Ludovic","family":"Apvrille","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Saqui-Sannes","sequence":"additional","affiliation":[]},{"given":"Renaud","family":"Pacalet","sequence":"additional","affiliation":[]},{"given":"Axelle","family":"Apvrille","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"BF03219900_CR1","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/TSE.2004.34","volume":"30","author":"(L.) Apvrille","year":"2004","unstructured":"Apvrille (L.), Courtiat (J.-P), Lohr (C), De Saqui-Sannes (P.), \u201cTurtle: A Real-TimeUml Profile Supported by a Formal Validation Toolkit\u201d,IEEE Transactions on Software Engineering,30, no 7, pp. 473\u2013487, July 2004.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF03219900_CR2","unstructured":"Apvrille (L.),De Saqui-Sannes (P.),Khendek (F.), \u00abTurtle-p: un profilUml pour la validation d\u2019architectures \u00bb, 10e Colloque Francophone sur l\u2019Ing\u00e9nierie des Protocoles (Cfip\u20192003), Paris (France), 7\u201310 Octobre 2003, Herm\u00e8s, pp. 17\u201332."},{"key":"BF03219900_CR3","unstructured":"Apvrille (L.),De Saqui-Sannes (P.),Khendek (F.), \u00abSynth\u00e8se d\u2019une conceptionUml temps-r\u00e9el \u00e0 partir de diagrammes de s\u00e9quences \u00bb, 11e Colloque Francophone sur l\u2019Ing\u00e9nierie des Protocoles (Cfip\u201905), Bordeaux, France, 2005, Herm\u00e8s."},{"key":"BF03219900_CR4","unstructured":"Ttool, http:\/\/labsoc.comelec.enst.fr\/turtle"},{"key":"BF03219900_CR5","unstructured":"Uml 2.0 Infrastructure Specification, http:\/\/www.omg.org\/docs\/ptc\/03-09-15.pdf"},{"key":"BF03219900_CR6","unstructured":"Ethereal, http:\/\/www.ethereal.com\/"},{"issue":"11","key":"BF03219900_CR7","first-page":"1","volume":"15","author":"(C.) Jard","year":"1998","unstructured":"Jard (C.), J\u00e9z\u00e9quel (J.-M), Pennaneach (F.), \u00abVers l\u2019utilisation d\u2019outils de validation de protocoles dans UML\u00bb,Techniques et Sciences Informatiques, v.15, no 11, pp. 1\u201315, 1998.","journal-title":"Techniques et Sciences Informatiques"},{"key":"BF03219900_CR8","unstructured":"Jaragh (M.),Saleh (K. A.), \u201cModeling Communications protocols using the Unified Modeling Language\u201d,Tencon\u20192000, Intelligent Systems and Technologies for the New Millenium, Kuala Lumpur, Malaysia, September 2000."},{"key":"BF03219900_CR9","unstructured":"Espinosa (J. M. M.),Nabuco (O.),Drira (K.), \u201cAUml Model for Session Management in Collaborative Design for Space Activities\u201d, 8th European Concurrent Engineering Conference (Ecec\u20192001), Valence, Spain, pp. 170\u2013174, April 2001."},{"key":"BF03219900_CR10","unstructured":"Siu (I. W.),Guo (Z. S.), \u201cThe Secure Communication Protocol for Electronic Ticket Management System\u201d, University of Macau, June 2001."},{"key":"BF03219900_CR11","unstructured":"Kavi (K.),Kung (D. C.),Bhambhani (H.),Pancholi (G.),Kanikarla (M.),Sah (R.), \u201cExtendingUml to Modeling and Design of Multi-Agent Systems\u201d, in Proc. ofInternational workshop on Software Engineering for large-scale multi-agent systems, Selmas, May 2003."},{"key":"BF03219900_CR12","doi-asserted-by":"crossref","unstructured":"Lind (J.), \u201cSpecifying Agent Interaction Protocols with StandardUml\u201d, Second International Workshop on Agent-Oriented Software Engineering (Aose-2001),Lncs 2222,Springer Verlag, Heidelberg, March, 2002.","DOI":"10.1007\/3-540-70657-7_9"},{"key":"BF03219900_CR13","unstructured":"Born (M.),Holz (E.),Kath (O.), \u201cA Method for the Design and Development of Distributed Applications UsingUml\u201d,Tools-Pacific 2000, Sydney, Australia."},{"key":"BF03219900_CR14","unstructured":"Huget (M.-P), \u201cExtending AgentUml Protocol Diagrams\u201d, Agent Oriented Software Engineering (Aose-02), Fausto Giunchiglia, James Odell, Gerhard Weiss (eds.), Bologna, Italy, July 2002."},{"key":"BF03219900_CR15","doi-asserted-by":"crossref","unstructured":"Kand\u00e9 (M. M.),Mazaher (S.),Prnjat (O.),Sacks (L.),Vittig (M.), \u201cApplyingUml to Design an Inter-Domain Service Management Application\u201d,Uml\u201998, Mulhouse, France, June 1998.","DOI":"10.1007\/978-3-540-48480-6_16"},{"key":"BF03219900_CR16","unstructured":"Cariou (E.), \u201cSp\u00e9cification de composants de communication enUml\u201d,Ocm 2000, Nantes, France, mai 2000."},{"key":"BF03219900_CR17","unstructured":"Wei (J.),Cheung (S. C),Wang (X.), \u201cExploiting Automatic Analysis of E-Commerce Protocols\u201d,25th Annual Computer Software and Application Conference, Chicago, USA, October 2001."},{"key":"BF03219900_CR18","unstructured":"Le Guennec (A.), \u00abG\u00e9nie logiciel et m\u00e9thodes formelles avecUml : sp\u00e9cification, validation et g\u00e9n\u00e9ration de tests\u00bb, doctorat de l\u2019Universit\u00e9 de Rennes I, juin 2001."},{"key":"BF03219900_CR19","doi-asserted-by":"crossref","unstructured":"Kaveh (N.),Emmerich (W.), \u00abDeadlock Detection in Distributed Object Systems\u00bb, Proceedings of the8th European software engineering conference, Vienna, Austria, pp. 44\u201351, 2001.","DOI":"10.1145\/503271.503216"},{"key":"BF03219900_CR20","doi-asserted-by":"crossref","unstructured":"Gomaa (H.),Menasc\u00e9 (D. A.), \u201cDesign and performance modeling of component interconnection patterns for distributed software architectures\u201d, 2nd Int. workshop on Software and performance Ottawa, Ont., Canada, pp. 117\u2013126, 2000.","DOI":"10.1145\/350391.350418"},{"key":"BF03219900_CR21","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens (J.), \u201cUmlsec: ExtendingUml for Secure Systems Development\u201d,Uml 2002, Dresden, September\u2013October 2002,Lncs.","DOI":"10.1145\/508791.508990"},{"key":"BF03219900_CR22","unstructured":"Rfc 2617, \u201cHttp Authentication: Basic and Digest Access Authentication\u201d, June 1999."},{"key":"BF03219900_CR23","unstructured":"Gomaa (H.), \u201cDesigning Concurrent, Distributed, and Real-Time Applications withUml\u201d,Addison-Wesley Professional, January 2000."},{"issue":"12","key":"BF03219900_CR24","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1016\/S0140-3664(99)00240-6","volume":"23","author":"(J.-P.) Courtiat","year":"2000","unstructured":"Courtiat (J.-P.), Santos (C. A. S.), Lohr (C.), Outtaj (B.), \u201cExperience withRt-lotos, a Temporal Extension of theLotos Formal Description Technique\u201d,Computer Communications,23, no 12, 2000, p. 1104\u20131123.","journal-title":"Computer Communications"},{"key":"BF03219900_CR25","unstructured":"OutilRtl, http:\/\/www.laas.fr\/Rt-lotos"},{"key":"BF03219900_CR26","unstructured":"OutilCadp-Aldebaran, http:\/\/www.inrialpes.fr\/vasy\/cadp\/"}],"container-title":["annals of telecommunications - annales des t\u00e9l\u00e9communications"],"original-title":[],"language":"fr","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03219900.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03219900\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03219900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T05:58:43Z","timestamp":1561960723000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03219900"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":26,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["BF03219900"],"URL":"https:\/\/doi.org\/10.1007\/bf03219900","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}