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 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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. Applying Formal Methods: Testing, Performance, and M/E-Commerce

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 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions