{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:11:38Z","timestamp":1761487898313},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_22","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T13:29:50Z","timestamp":1186406990000},"page":"287-301","source":"Crossref","is-referenced-by-count":7,"title":["A New UML Profile for Real-Time System Formal Design and Validation"],"prefix":"10.1007","author":[{"given":"L.","family":"Apvrille","sequence":"first","affiliation":[]},{"given":"P.","family":"de Saqui-Sannes","sequence":"additional","affiliation":[]},{"given":"C.","family":"Lohr","sequence":"additional","affiliation":[]},{"given":"P.","family":"S\u00e9nac","sequence":"additional","affiliation":[]},{"given":"J. -P.","family":"Courtiat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"22_CR1","unstructured":"Andr\u00e9, C.: Object and synchronous paradigms in real-time systems (in French). Journ\u00e9e Objets Temps R\u00e9el du Club SEE Syst\u00e9mes Informatiques de Confiance, Paris, 18 January 2001. http:\/\/www.cert.fr\/francais\/deri\/seguin\/SEE\/01.01.18\/annonce.html"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Andriantsiferana L., Courtiat J.-P., de Oliveira R. C., Picci L.: An experiment in using RTLOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system Proceedings IFIP Formal Description Techniques X, Osaka, Japan, November 97, Chapman & Hall (1997)","DOI":"10.1007\/978-0-387-35271-8_27"},{"key":"22_CR3","unstructured":"Apvrille L., de Saqui-Sannes P., S\u00e9nac P., Diaz M.: Formal Modeling of Space-Based Software in the Context of Dynamic Reconfiguration, Proceedings of DAta Systems In Aerospace (DASIA), 28 May-1st June, 2001, Nice, France (2001)"},{"key":"22_CR4","unstructured":"Artisan Software Tools: http:\/\/www.artisan-software.com (1999)"},{"key":"22_CR5","unstructured":"Bjorkander M.: Real-Time Systems in UML and SDL, Embedded System Engineering, October\/November 2000 ( http:\/\/www.telelogic.com )"},{"issue":"1","key":"22_CR6","first-page":"9","volume":"6","author":"S. Dupuy","year":"2000","unstructured":"Dupuy S., Ledru Y., Chabre-Peccoud M.: Towards a useful integration of semi-formal and formal notations: an experiment with UML and Z (in French), Vol.6, No.1, Herm\u00e9s, Paris (2000) 9\u201332","journal-title":"Towards a useful integration of semi-formal and formal notations: an experiment with UML and Z (in French)"},{"key":"22_CR7","unstructured":"Bruel, J.-M. France R. B.: Transforming UML Models to Formal Specifications, Proceedings of the International Conference on Object Oriented Programming Systems Language and Applications (OOPSLA\u201998), Vancouver, Canada (1998)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Bruel J.-M.: Integrating Formal and Informal Specification Techniques. Why? How?, Proceedings of the 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques (WIFT\u201998), Boca Raton, Florida, USA, IEEE Computer Press (1999) 50\u201357","DOI":"10.1109\/WIFT.1998.766297"},{"key":"22_CR9","unstructured":"Terrier, F, G\u00e9rard, S: Real Time System Modeling with UML: Current Status and Some Prospects, Proceedings of the 2nd Workshop of the SDL Forum society on SDL and MSC, SAM 2000, Grenoble, France (2000)"},{"issue":"12","key":"22_CR10","first-page":"1104","volume":"23","author":"J.-P. Courtiat","year":"2000","unstructured":"Courtiat J.-P., Santos C. A. S., Lohr C., Outtaj B.: Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique, Computer Communications, Vol. 23, No. 12 (2000) 1104\u20131123","journal-title":"Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique, Computer Communications"},{"key":"22_CR11","unstructured":"Douglass B. P.: Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks and Patterns, Addison-Wesley Longman (1999) ( http:\/\/www.ilogix.com )"},{"key":"22_CR12","unstructured":"Dupuy S., du Bouquet L.: A Multi-formalism Approach for the Validation of UML Models, Formal Aspects of Computing, No.12 (2001) p.228\u2013230"},{"key":"22_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 2nd International Conference on the Unified Modeling Language, UML\u201999, Colorado, USA","author":"A. S. Evans","year":"1999","unstructured":"Evans A. S., Cook S., Mellor S., Warmer J., Wills A.: Advanced Methods and Tools for a Precise UML, Proceedings of the 2nd International Conference on the Unified Modeling Language, UML\u201999, Colorado, USA, LNCS 1723 (1999)"},{"key":"22_CR14","unstructured":"Le Guennec, A.: Formal Methods with UML Modeling, Validation and Test Generation, Proceedings of CFIP\u20192000\", Toulouse, October 2000, Herm\u00e9s, p.151\u2013166 (2000) (in French)"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Bolognesi T, Brinksma E.: Introduction to the ISO specification Language LOTOS, Computer Networks and ISDN Systems, vol 14, No1 (1987)","DOI":"10.1016\/0169-7552(87)90085-7"},{"issue":"No9","key":"22_CR16","first-page":"1083","volume":"17","author":"C. Jard","year":"1998","unstructured":"Jard C., J\u00e9z\u00e9quel J.-M., Pennaneac\u2019h F.: Towards Using Protocol Validation Tools in UML, Technique et Science Informatiques, Vol. 17, No9, Herm\u00e9s, Paris, p. 1083\u20131098 (1998) (in French)","journal-title":"Towards Using Protocol Validation Tools in UML, Technique et Science Informatiques"},{"key":"22_CR17","unstructured":"OMG Unified Modeling Language Specification. Version 1.3, Object Management Group http:\/\/www.omg.org\/technology\/uml\/index.htm (1999)"},{"key":"22_CR18","unstructured":"Object Management Group, UML Profile for Scheduling, Performance, and Time, Request for Proposal (1999) ftp:\/\/ftp.omg.org\/pub\/docs\/ad\/99-03-13.doc"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Delatour J. Paludetto M.: UML\/PNO, a way to merge UML and Petri net objects for the analysis of real-time systems, OO Technology and Real Time Systems Workshop (ECOOP\u201998), Bruxelles, Belgium (1998)","DOI":"10.1007\/3-540-49255-0_169"},{"key":"22_CR20","volume-title":"Specification, Validation and Verification of Real-Time Systems in ETLOTOS","author":"C. Hernalsteen","year":"1998","unstructured":"Hernalsteen C., Specification, Validation and Verification of Real-Time Systems in ETLOTOS, Ph.D. dissertation, Universit\u00e9 Libre de Bruxelles, Belgium (1998)"},{"key":"22_CR21","unstructured":"de Saqui-Sannes P., \u201cDiagramming TURTLE classes using Rhapsody\u201d, ENSICA internal report (2001)"},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Selic B., Rumbaugh J.: Using UML for Modeling Complex Real-Time Systems, http:\/\/www.rational.com (1998)","DOI":"10.1007\/BFb0057795"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"S\u00e9nac P., Diaz M., de Saqui-Sannes P., L\u00e9ger A.: Modeling Logical and Temporal Synchronization in Hypermedia Systems\", IEEE Journal on Selected Areas in Communication, special issue on multimedia synchronization (1996)","DOI":"10.1109\/49.481696"},{"issue":"11","key":"22_CR24","first-page":"1088","volume":"6","author":"I. Traor\u00e9","year":"2000","unstructured":"Traor\u00e9 I.: An Outline of PVS Semantics for UML Statecharts, Journal of Universal Computer Science, Vol. 6, No. 11 \u20192000) 1088\u20131108","journal-title":"Journal of Universal Computer Science"},{"issue":"11","key":"22_CR25","first-page":"1071","volume":"6","author":"R. G. Clarck","year":"2000","unstructured":"Clarck, R. G., Moreira, A. M. D.: Use of E-LOTOS in Adding Formality to UML, Journal of Universal Computer Science, vol.6, no 11, p. 1071\u20131087 (2000)","journal-title":"Journal of Universal Computer Science"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:45:33Z","timestamp":1556725533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}