{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:20:12Z","timestamp":1742401212021},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["STTT"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1007\/s10009-003-0119-4","type":"journal-article","created":{"date-parts":[[2004,3,19]],"date-time":"2004-03-19T18:53:20Z","timestamp":1079722400000},"page":"107-123","source":"Crossref","is-referenced-by-count":55,"title":["Lightweight coarse-grained coordination: a scalable system-level approach"],"prefix":"10.1007","volume":"5","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2004,3,1]]},"reference":[{"key":"119_CR1","unstructured":"Andrade L, Fiadeiro J, Gouveia J, Koutsoukos G, Lopes A, Wermelinger M (2002) Coordination technologies for component-based systems. In: Proceedings of the international conference on integrated design and process technology (IDPT-2002), Pasadena, CA, June 2002"},{"key":"119_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"Berry","year":"1992","unstructured":"Berry G, Gonthier G (1992) The Esterel Synchronous Programming language: design, semantics, implementation. Sci Comput Programm 19(2):87\u2013152","journal-title":"Sci Comput Programm"},{"key":"119_CR3","doi-asserted-by":"crossref","unstructured":"Dwyer M, Avrunin G, Corbett J (1999) Patterns in property specifications for finite-state verification. In: Proceedings of the international conference on software engineering, Los Angeles, May 1999. ACM Press, New York, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"119_CR4","doi-asserted-by":"crossref","unstructured":"Emerson E (1990) Temporal and modal logic. In: Van Leeuwen J (ed) Handbook of theoretical computer science. Elsevier, Amsterdam","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"119_CR5","doi-asserted-by":"crossref","unstructured":"Fernandez JC, Jard C, J\u00e9ron T, Viho C (1997) An experiment in automatic generation of test suites for protocols with verification technology. Sci Comput Programm 29(1\u20132):123\u2013146","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"119_CR6","doi-asserted-by":"crossref","unstructured":"Gouveia J, Koutsoukos G, Andrade L, Fiadeiro J (2001) Tool support for coordination based evolution. In: Pree W (ed) Proceedings of TOOLS Europe 2001. IEEE Press, New York, pp 184\u2013196","DOI":"10.1109\/TOOLS.2001.911772"},{"key":"119_CR7","first-page":"1033","volume":"55","author":"Hagerer","year":"2001","unstructured":"Hagerer A, Margaria T, Niese O, Steffen B, Brune G, Ide HD (2001) An efficient regression testing of CTI systems: testing a complex call-center solution. Annu Rev Commun 55:1033\u20131040. International Engineering Consortium, Chicago","journal-title":"Annu Rev Commun"},{"key":"119_CR8","unstructured":"Halbwachs N, Lagnier F, Ratel C (1992) Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. IEEE Trans Softw Eng (Special Issue on the Specification and Analysis of Real-Time Systems) 18(9):785\u2013793"},{"key":"119_CR9","unstructured":"Herakom GmbH, Germany. http:\/\/www.herakom.de"},{"key":"119_CR10","unstructured":"Jard C, Jeron T (2002) TGV: Theory, principles and algorithms. In: Proceedings of the international symposium on integrated design and process technology, Pasadena, CA, June 2002 (in press)"},{"key":"119_CR11","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"Katz","year":"1993","unstructured":"Katz S (1993) A superimposition control construct for distributed systems. ACM TOPLAS 15(2):337\u2013356","journal-title":"ACM TOPLAS"},{"key":"119_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"Kozen","year":"1983","unstructured":"Kozen D (1983) Results on the propositional \u03bc-Calculus. Theor Comput Sci 27:333\u2013354","journal-title":"Theor Comput Sci"},{"key":"119_CR13","unstructured":"Lindner B, Margaria T, Steffen B (2001) Ein personalisierter Internetdienst f\u00fcr wissenschaftliche Begutachtungsprozesse. GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Gesch\u00e4fts-prozesse (eBusiness Processes), Universit\u00e4t Klagenfurt. Availabe at: http:\/\/syssec.uni-klu.ac.at\/EBP2001\/"},{"key":"119_CR14","doi-asserted-by":"crossref","unstructured":"Margaria T (2002) The electronic tool integration platform as a supplier and user of graph transformation tools \u2013 experience and perspectives. In: Proceedings of the international workshop on graph based tools (GraBaTs\u201902), Barcelona, 7\u20138 October 2002. Satellite to ICGT 2002, international conference on graph transformations. ENTCS 72(2). Available at: http:\/\/www.elsevier.com\/locate\/entcs\/volume72.html","DOI":"10.1016\/S1571-0661(05)80527-4"},{"key":"119_CR15","unstructured":"Margaria T, Karusseit M (2002) Community usage of the online conference service: an experience report from three CS conferences. In: Proceedings of the 2nd IFIP conference on e-commerce, e-business, e-government (I3E 2002), Lisbon, Portugal, 7\u20139 October 2002. In: Towards the knowledge society \u2013 eCommerce, eBusiness and eGovernment, Kluwer, Amsterdam, pp 497\u2013511"},{"key":"119_CR16","doi-asserted-by":"crossref","unstructured":"Margaria T, Niese O, Steffen B, Erochok A (2002) System level testing of virtual switch (re-) configuration over IP. In: Proceedings of the IEEE European test workshop, Corfu, Greece, May 2002. IEEE Press, New York","DOI":"10.1109\/ETW.2002.1029641"},{"key":"119_CR17","unstructured":"Margaria T, Niese O, Steffen B (2002) Automated functional testing of Web-based applications. In: Proceedings of the 5th international conference on software and Internet quality week Europe, Brussels, March 2002, pp 157\u2013166"},{"key":"119_CR18","doi-asserted-by":"crossref","unstructured":"M\u00fcller-Olm M, Schmidt D, Steffen B (1999) Model-checking: a tutorial introduction. In: Proceedings of SAS\u201999, Venice, September 1999. Lecture notes in computer science, vol 1503. Springer, Berlin Heidelberg New York, pp 330\u2013354","DOI":"10.1007\/3-540-48294-6_22"},{"key":"119_CR19","first-page":"927","volume":"54","author":"Niese","year":"2000","unstructured":"Niese O, Margaria T, Hagerer A, Nagelmann M, Steffen B, Brune G, Ide HD (2000) An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annu Rev Commun IEC 54:927\u2013935","journal-title":"Annu Rev Commun IEC"},{"key":"119_CR20","doi-asserted-by":"crossref","unstructured":"Niese O, Margaria T, Hagerer A, Steffen B, Brune G, Goerigk W, Ide HD (2001) Automated regression testing of CTI systems. In: Proceedings of the IEEE European test workshop, Stockholm, Sweden, May 2001, pp 51\u201357","DOI":"10.1109\/ETW.2001.946662"},{"key":"119_CR21","doi-asserted-by":"crossref","unstructured":"Niese O, Steffen B, Margaria T, Hagerer A, Brune G, Ide HD (2001) Library-based design and consistency checking of system-level industrial test cases. In: Proceedings of the international conference on fundamental aspects of software engineering (FASE 2001), Genoa, Italy, April 2001. Lecture notes in computer science, vol 2029. Springer, Berlin Heidelberg New York, pp 233\u2013248","DOI":"10.1007\/3-540-45314-8_17"},{"key":"119_CR22","first-page":"architecture","volume":"Broker","author":"Object","year":"1999","unstructured":"Object Management Group (1999) The Common Object Request Broker: architecture and specification, Revision 2.3. Object Management Group","journal-title":"The Common Object Request"},{"key":"119_CR23","unstructured":"Rational, Inc. The Rational Suite description. Available at: http:\/\/www.rational.com\/products"},{"key":"119_CR24","unstructured":"Schmitt M, Koch B, Grabowski J, Hogrefe D (1998) Autolink \u2013 a tool for automatic and semi-automatic test generation from SDL-specifications. Technical Report A-98-05, Medical University of L\u00fcbeck, Germany"},{"key":"119_CR25","doi-asserted-by":"crossref","unstructured":"Steffen B, Classen A, Klein M, Knoop J, Margaria T (1995) The Fixpoint Analysis machine. In: Proceedings of CONCUR\u201995 (invited paper), Pittsburgh, August 1995. Lecture notes in computer science, vol 962. Springer, Berlin Heidelberg New York","DOI":"10.1007\/3-540-60218-6_6"},{"key":"119_CR26","doi-asserted-by":"crossref","unstructured":"Steffen B, Margaria T (1999) METAFrame in practice: intelligent network service design. In: Correct system design \u2013 issues, methods and perspectives. Lecture notes in computer science, vol 1710. Springer, Berlin Heidelberg New York, pp 390\u2013415","DOI":"10.1007\/3-540-48092-7_17"},{"key":"119_CR27","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s100090050003","volume":"1","author":"Steffen","year":"1997","unstructured":"Steffen B, Margaria T, Braun V (1997) The Electronic Tool Integration platform: concepts and design. Int J Softw Tool Technol Transfer 1:9\u201330","journal-title":"Int J Softw Tool Technol Transfer"},{"key":"119_CR28","first-page":"847","volume":"55","author":"Steffen","year":"1997","unstructured":"Steffen B, Margaria T, Braun V, Kalt N (1997) Hierarchical service definition. Annu Rev Commun 55:847\u2013856 International Engineering Consortium, Chicago","journal-title":"Annu Rev Commun"},{"key":"119_CR29","unstructured":"Sun Microsystems: Java Remote Method Invocation. Available at: http:\/\/java.sun.com\/products\/jdk\/rmi"},{"key":"119_CR30","unstructured":"Telelogic: Telelogic Tau. Available at: http:\/\/www.telelogic.com"},{"key":"119_CR31","unstructured":"Tretmans J, Belinfante A (1999) Automatic testing with formal methods. In: Proceedings of the 7th European international conference on software testing, analysis and review (EuroSTAR\u201999), Galway, Ireland, 8\u201312 November 1999"},{"key":"119_CR32","doi-asserted-by":"crossref","unstructured":"Wolper P (1996) The meaning of \u201cformal\u201d. Position statement for the workshop on strategic directions in computing research, Formal Methods Working Group. ACM Comput Surv 28(4es):127. See also: Wolper P (1997) The meaning of formal: from weak to strong formal methods. Int J Soft Technol Transfer 1(1\u20132):6\u20138","DOI":"10.1145\/242224.242386"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0119-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-003-0119-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0119-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-003-0119-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T17:56:13Z","timestamp":1585677373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-003-0119-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["119"],"URL":"https:\/\/doi.org\/10.1007\/s10009-003-0119-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}