Visar resultat för..."Hogrefe Verlag GmbH + Co."

This volume contains the proceedings of TestCom 2003, the IFIP TC6/WG 6.1 International Conference on Testing of Communicating Systems, held in Sophia Antipolis, France, during May 26-28, 2003. TestCom denotes a series of int- national working conferences on testing communicating systems in the data and telecommunication domain. The conference provides a forum for researchers, vendors and users to review, discuss and learn about new approaches, concepts andexperiencesinthe?eldoftestingofcommunicatingsystems.Thisconference in particular focuses on new ways of testing for new-generation networks. TestCom2003isthe?fteenthinaseriesofannualmeetingssponsoredbyIFIP TC6/WG6.1.The14previousmeetingswereheldinVancouver,Canada(1988), Berlin, Germany (1989), McLean, USA (1990), Leidschendam, The Netherlands (1991), Montreal, Canada (1992), Pau, France (1993), Tokyo, Japan (1994), Evry, France (1995), Darmstadt, Germany (1996), Cheju Island, Korea (1997), Tomsk, Russia (1998), Budapest, Hungary (1999), Ottawa, Canada (2000), and Berlin, Germany (2002).The scope of the papers presented at TestCom 2003 covers interoperability testing, TTCN-3, automata-based testing, testing of next-generation networks, IPandUMTS,testsystemsandtools,testspeci?cationdesignandmethodology, and industrial experience in testing communication systems. TheTestCom2003programconsistedof6technicalsessions,3positionsta- ment sessions, and a special session on interoperability testing. Three invited speeches gave an overview on actual trends in the testing and telecommuni- tion area and formulated requirements to the testing process. The proceedings contain the 19 regular papers accepted and presented at the conference. They were selected from 53 submitted papers in a careful selection procedure based on the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.

1m Februar 1991 wurde ein Arbeitskreis "Formale Beschreibungstechniken fUr verteilte Systeme" am Rande der Fachtagung "Kommunikation in verteilten Systemen" in Mann- heim in der GI/ITG Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme" gegrundet. Der Arbeitskreis wurde mit dem Ziel gegrundet, einen regelmassigen wissenschaftlichen Gedankenaustausch in organisierter Form zu ermoglichen. Die folgenden Themen wurden als Interessensschwerpunkte im Arbeitskreis erkannt: FDT-basierte Werkzeuge zur Unterstutzung des Systementwurfs Konformitatstesten basierend auf formalen Beschreibungen Leistungsanalyse basierend auf formalen Beschreibungen Verifikation basierend auf formalen Beschreibungen Ergonomie des Arbeitens mit FDTs Anwendung von FDTs in der ODP-Standardisierung theoretische Modelle Datenmodellierung FDTs im System-Life-Cycle FDT-basierte Implementierung (ODP = Open Distributed Processing, Normungsaktivitat ISO) (FDT = Formal Description Technique) Die obige Liste ist selbstverstandlich offen fUr Veranderungen. Der vorliegende Band enthalt Arbeiten aus dem Themengebiet des Arbeitskreises.Einer- seits sind dies Arbeiten, die anlasslich des ersten Fachgesprachs im Juni 1991 in Darm- stadt vorgestellt wurden. Andererseits sind es Arbeiten, die nachtraglich von Autoren eingereicht wurden, denen es nicht moglich war, am Fachgesprach teilzunehmen. Unter den zahlreichen Arbeiten, die eingereicht wurden, ist hier nur eine Auswahl zusammen- gestellt, die nach einem zweistufigen Begutachtungsprozess ubrig blieben: Begutachtung - Revision ausgewahlter Beitrage - erneute Begutachtung.

Das Buch gibt eine Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und außerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgängigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daß durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daß die Darstellung allgemein und leicht verständlich ist. Das Buch bildet daher ein sehr nützliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verständliches und kompaktes Nachschlagewerk in der täglichen Arbeit zu dienen.