View in EDS

Guest Editorial: Special Section on Interaction and State-Based Modeling.

Saved in:
Bibliographic Details
Title: Guest Editorial: Special Section on Interaction and State-Based Modeling.
Authors: Uchitel, Sebastian1 s.uchite@imperial.ac.uk, Broy, Manfred2 broy@in.tum.de, Krüger, Ingoif H.3 ikrueger@cs.ucsd.edu, Whittle, Jon4 jwhittle@Ese.gmu.edu
Source: IEEE Transactions on Software Engineering. Dec2005, Vol. 31 Issue 12, p997-998. 2p. 4 Black and White Photographs.
Subjects: Computer systems, Computer graphics, Web services, Application software, Computer network protocols, Graphic methods, Computers, Computer simulation, Computer networks, Computer drawing
Abstract: The article reflects on various issues discussed within the issue. An article by Y. Bontemps, P. Heymans, and P.Y. Schobbens addresses the theoretical and practical limitations of the scenario-development approach. The paper focuses on complexity and decidability of verification and synthesis within the context of live sequence charts. An article by Braberman, N. Kicillof, and A. Olivero addresses the specification and checking of real-time properties. A novel graphical scenario language is presented which allows the description of complex properties not expressible with sequence chart-like notations. In an article, X. Fu, T. Bultan, and J. Su study the interplay between global interaction modeling and local behavior modeling in the web services domain. The authors show how top-down and bottom-up development of web-services requires careful understanding of issues such as reliability and show that the notion of synchronizability can enable tractable analyses to support such development. The authors also provide insights into the relation between conversation protocols and message sequence charts for which issues such as realizability have been studied extensively.
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 19603913
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Guest Editorial: Special Section on Interaction and State-Based Modeling.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Uchitel%2C+Sebastian%22">Uchitel, Sebastian</searchLink><relatesTo>1</relatesTo><i> s.uchite@imperial.ac.uk</i><br /><searchLink fieldCode="AR" term="%22Broy%2C+Manfred%22">Broy, Manfred</searchLink><relatesTo>2</relatesTo><i> broy@in.tum.de</i><br /><searchLink fieldCode="AR" term="%22Krüger%2C+Ingoif+H%2E%22">Krüger, Ingoif H.</searchLink><relatesTo>3</relatesTo><i> ikrueger@cs.ucsd.edu</i><br /><searchLink fieldCode="AR" term="%22Whittle%2C+Jon%22">Whittle, Jon</searchLink><relatesTo>4</relatesTo><i> jwhittle@Ese.gmu.edu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22IEEE+Transactions+on+Software+Engineering%22">IEEE Transactions on Software Engineering</searchLink>. Dec2005, Vol. 31 Issue 12, p997-998. 2p. 4 Black and White Photographs.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+systems%22">Computer systems</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+graphics%22">Computer graphics</searchLink><br /><searchLink fieldCode="DE" term="%22Web+services%22">Web services</searchLink><br /><searchLink fieldCode="DE" term="%22Application+software%22">Application software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+network+protocols%22">Computer network protocols</searchLink><br /><searchLink fieldCode="DE" term="%22Graphic+methods%22">Graphic methods</searchLink><br /><searchLink fieldCode="DE" term="%22Computers%22">Computers</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+simulation%22">Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+networks%22">Computer networks</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+drawing%22">Computer drawing</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The article reflects on various issues discussed within the issue. An article by Y. Bontemps, P. Heymans, and P.Y. Schobbens addresses the theoretical and practical limitations of the scenario-development approach. The paper focuses on complexity and decidability of verification and synthesis within the context of live sequence charts. An article by Braberman, N. Kicillof, and A. Olivero addresses the specification and checking of real-time properties. A novel graphical scenario language is presented which allows the description of complex properties not expressible with sequence chart-like notations. In an article, X. Fu, T. Bultan, and J. Su study the interplay between global interaction modeling and local behavior modeling in the web services domain. The authors show how top-down and bottom-up development of web-services requires careful understanding of issues such as reliability and show that the notion of synchronizability can enable tractable analyses to support such development. The authors also provide insights into the relation between conversation protocols and message sequence charts for which issues such as realizability have been studied extensively.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=19603913
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/TSE.2005.139
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 2
        StartPage: 997
    Subjects:
      – SubjectFull: Computer systems
        Type: general
      – SubjectFull: Computer graphics
        Type: general
      – SubjectFull: Web services
        Type: general
      – SubjectFull: Application software
        Type: general
      – SubjectFull: Computer network protocols
        Type: general
      – SubjectFull: Graphic methods
        Type: general
      – SubjectFull: Computers
        Type: general
      – SubjectFull: Computer simulation
        Type: general
      – SubjectFull: Computer networks
        Type: general
      – SubjectFull: Computer drawing
        Type: general
    Titles:
      – TitleFull: Guest Editorial: Special Section on Interaction and State-Based Modeling.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Uchitel, Sebastian
      – PersonEntity:
          Name:
            NameFull: Broy, Manfred
      – PersonEntity:
          Name:
            NameFull: Krüger, Ingoif H.
      – PersonEntity:
          Name:
            NameFull: Whittle, Jon
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Text: Dec2005
              Type: published
              Y: 2005
          Identifiers:
            – Type: issn-print
              Value: 00985589
          Numbering:
            – Type: volume
              Value: 31
            – Type: issue
              Value: 12
          Titles:
            – TitleFull: IEEE Transactions on Software Engineering
              Type: main
ResultId 1