Skip to main content
  • Conference proceedings
  • © 2004

Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Conference proceedings info: FORTE 2004.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-30233-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (27 papers)

  1. Front Matter

  2. TheFormEMC

    1. Formal Analysis of the Internet Open Trading Protocol

      • Chun Ouyang, Jonathan Billington
      Pages 1-15
    2. Life-Cycle E-commerce Testing with OO-TTCN-3

      • Robert L. Probert, Pulei Xiong, Bernard Stepien
      Pages 16-29
    3. Specification of Autonomous Agents in E-commerce Systems

      • Ismael Rodríguez, Manuel Núñez, Fernando Rubio
      Pages 30-43
    4. An Approach for Assessment of Electronic Offers

      • Bettina Bazijanec, Key Pousttchi, Klaus Turowski
      Pages 44-57
    5. A Construction Kit for Modeling the Security of M-commerce Applications

      • Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
      Pages 72-85
    6. A Minimal Market Model in Ephemeral Markets

      • Daniel Rolli, Dirk Neumann, Christof Weinhardt
      Pages 86-100
  3. EPEW

    1. Formal Specification of Symbolic-Probabilistic Systems

      • Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 114-127
    2. A Bounded True Concurrency Process Algebra for Performance Evaluation

      • M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, J. José Pardo, Hermenegilda Macià
      Pages 143-155
    3. Branching Time Equivalences for Interactive Markov Chains

      • Guangping Qin, Jinzhao Wu
      Pages 156-169
    4. Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times

      • Peixia Gao, Sabine Wittevrongel, Herwig Bruneel
      Pages 184-195
    5. Performance Evaluation of a SNAP-Based Grid Resource Broker

      • Iain Gourlay, Mohammed Haji, Karim Djemame, Peter Dew
      Pages 220-232
    6. An Analytical Design of a Practical Replication Protocol for Distributed Systems

      • Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí
      Pages 248-261

Other Volumes

  1. Formal Techniques for Networked and Distributed Systems – FORTE 2004

    24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
  2. Applying Formal Methods: Testing, Performance, and M/E-Commerce

    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Keywords

  • Internet
  • agent specification
  • architecture
  • distributed applications
  • distributed computing
  • distributed systems
  • e-commerce
  • formal methods
  • formal performance engineering
  • formal specification
  • internet protocol analysis
  • m-commerce
  • modeling
  • security
  • security protocols

Editors and Affiliations

  • Dept. Sistemas Informáticos y Programación Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Manuel Núñez

  • CIT, Zayed University, Dubai, United Arab Emirates, United Arab Emirates

    Zakaria Maamar

  • Dept. de Sistemas Informáticos Escuela Politécnica Superior, Universidad Castilla-La Mancha, Albacete, Spain

    Fernando L. Pelayo

  • Business Informatics and Systems Engineering, University of Augsburg, Augsburg, Germany

    Key Pousttchi

  • Dept. Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain

    Fernando Rubio

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-30233-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)