{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,6]],"date-time":"2024-06-06T18:03:34Z","timestamp":1717697014117},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,7,11]],"date-time":"2006-07-11T00:00:00Z","timestamp":1152576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1007\/s10270-006-0029-5","type":"journal-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T12:01:11Z","timestamp":1152532871000},"page":"449-466","source":"Crossref","is-referenced-by-count":7,"title":["TURTLE-P: a UML profile for the formal validation of critical and distributed systems"],"prefix":"10.1007","volume":"5","author":[{"given":"Ludovic","family":"Apvrille","sequence":"first","affiliation":[]},{"given":"Pierre","family":"de Saqui-Sannes","sequence":"additional","affiliation":[]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,7,11]]},"reference":[{"key":"29_CR1","unstructured":"Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specification from MSCs. In: Proceedings of SDL Forum\u201999, Montreal (1999)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Apvrille L., Courtiat J.-P., Lohr C., de Saqui-Sannes P.: TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans. Softw. Eng. 30(7) (2004)","DOI":"10.1109\/TSE.2004.34"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Born, M., Holz, E., Kath, O.: A Method for the design and development of distributed applications using UML, TOOLS-Pacific, Sydney (2000)","DOI":"10.1109\/TOOLS.2000.891374"},{"issue":"11","key":"29_CR4","first-page":"1071","volume":"6","author":"R.G. Clarck","year":"2000","unstructured":"Clarck R.G., Moreira A.M.D.(2000). Use of E-LOTOS in adding formality to UML. J. Univers. Comput. Sci. 6(11): 1071\u20131087","journal-title":"J. Univers. Comput. Sci."},{"issue":"12","key":"29_CR5","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.(2000). Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Comput Commun 23(12): 1104\u20131123","journal-title":"Comput Commun"},{"key":"29_CR6","unstructured":"Douglass, B.P.: Real-time UML Tutorial, OMG real-time and embedded distributed object computing workshop, Arlington (2002)"},{"key":"29_CR7","unstructured":"Espinosa, J.M., Nabuco, O., Drira, K.: A UML model for session management in collaborative design for space activities. In: 8th European concurrent engineering conference (ECEC\u20192001), Valence (Espagne), pp. 170\u2013174 (2001)"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Gerard S., Terrier F., Tanguy Y.(2002). Using the model paradigm for real-time systems development: ACCORD\/UML In: Bruel J.-M., Bellahsene Z. (eds) Proceedings of the advances in object-oriented information systems, OOIS Workshops, LNCS 2426, pp. 260\u2013269","DOI":"10.1007\/3-540-46105-1_30"},{"key":"29_CR9","unstructured":"Gomaa, H.: Designing concurrent, distributed and real-time systems with UML, Addison Wesley, Reading. ISBN 0201657937 (2000)"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Haugen, O.: Comparing UML 2.0 Interactions and MSC-2000. In: SDL and MSC Workshop, (SAM\u201904), Ottawa 1\u20134 June 2004","DOI":"10.1007\/978-3-540-31810-1_5"},{"key":"29_CR11","unstructured":"Huget, M.-P.: Extending agent UML protocol diagrams. In: Agent Oriented Software Engineering (AOSE-02), Giunchiglia, F., Odell, J., Weiss, G. (eds.) Bologna (2002)"},{"key":"29_CR12","unstructured":"Jaragh, M., Saleh, K.A.: Modeling communications protocols using the unified modeling language, TENCON\u20192000. Intelligent Systems and Technologies for the New Millenium, Kuala Lumpur, Malaysia (2000)"},{"key":"29_CR13","unstructured":"Jard, C., J\u00e9z\u00e9quel, J.-M., Pennaneach, F.: Towards using protocol validation tools in UML (in French). Techn Sci Inf 15(11), 1\u201315 (1998)"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: UMLsec: extending UML for secure systems development. UML 2002, Dresden, LNCS 2460, 30 September\u20134 October 2002","DOI":"10.1007\/3-540-45800-X_32"},{"key":"29_CR15","unstructured":"Kavi, K., Kung, D.C., Bhaambhani, H., Pancholi, G., Kanikarla, M., Sah, R.: Extending UML to modeling and design of multi-agent systems. In: Workshop on Software Engineering for Large Multi-Agents Systems, associated with ICSE\u2019 (2003)"},{"key":"29_CR16","unstructured":"Kronos. http:\/\/www-verimag.imag.fr\/TEMPORISE\/kronos"},{"key":"29_CR17","doi-asserted-by":"crossref","unstructured":"Lind, J.: Specifying agent interaction protocols with standard UML. In: 2nd International Workshop on Agent-Oriented Software Engineering (AOSE), LNCS 2222 (2001)","DOI":"10.1007\/3-540-70657-7_9"},{"key":"29_CR18","unstructured":"Lohr, C.: Contribution to real-time system specification relying on the RT-LOTOS formal description technique (in French). Ph.D. Thesis, Institut National Polytechnique de Toulouse (2002)"},{"key":"29_CR19","unstructured":"ITU-T, Message Sequence Charts: MSC-2000, Z.120, Geneva (1999)"},{"key":"29_CR20","unstructured":"Object Management Group: Unified modeling language specification, version 1.5. http:\/\/www.omg.org\/docs\/formal\/03-03-01.pdf, 2003"},{"key":"29_CR21","unstructured":"Object Management Group: UML 2.0 Superstructure Specification. http:\/\/www.omg.org\/docs\/ptc\/03-08-02.pdf"},{"key":"29_CR22","doi-asserted-by":"crossref","unstructured":"Roullet, L.: SAGAM Demonstrator of a G.E.O. Satellite multimedia access system: architecture and integrated resource manager. In: European conference on satellite communication, Toulouse (1999)","DOI":"10.2514\/6.2000-1259"},{"key":"29_CR23","unstructured":"Selic, B.: A UML profile for modeling complex real-time architectures. http:\/\/www.omg.org\/news\/meetings\/workshops \/presentations\/realtime2001\/6-3%20Selic.presentation.pdf."},{"key":"29_CR24","unstructured":"Siu, I.W., Guo, Z.S.: The secure communication protocol for electronic ticket management system, University of Macau (2001)"},{"key":"29_CR25","unstructured":"Verilog: ObjectGeode, Toulouse, France (1999)"},{"key":"29_CR26","unstructured":"Wei, J., Cheung, S.C., Wang, X.: Exploiting automatic analysis of E-commerce protocols. 25th annual computer software and application conference, Chicago (2001)"},{"issue":"3","key":"29_CR27","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S1389-1286(03)00245-7","volume":"42","author":"T. Zheng","year":"2003","unstructured":"Zheng T., Khendek F.(2003). Time consistency of MSC-2000 specifications. Computer Networks, Elsevier 42(3): 303\u2013322","journal-title":"Computer Networks, Elsevier"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0029-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0029-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0029-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:55:23Z","timestamp":1559116523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0029-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,11]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["29"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0029-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,11]]}}}