Verification of e-Commerce Business ProcessesSven Feja (Christian-Albrechts-University of Kiel, Germany), Andreas Speck (Christian-Albrechts-University of Kiel, Germany), Elke Pulvermüller (University Osnabrück, Germany) and Marcel Schulz (Intershop Communications AG, Germany)
Copyright © 2011. 19 pages.
OnDemand Chapter PDF Download
Download link will be e-mailed upon order completion.
| $30.00 | Add to Cart |
DOI: 10.4018/978-1-60960-485-1.ch006, ISBN13: 9781609604851, ISBN10: 1609604857, EISBN13: 9781609604868 Sample PDFCite Chapter
MLA
Feja, Sven, Andreas Speck, Elke Pulvermüller and Marcel Schulz. "Verification of e-Commerce Business Processes." Electronic Business Interoperability: Concepts, Opportunities and Challenges. IGI Global, 2011. 105-123. Web. 23 May. 2012. doi:10.4018/978-1-60960-485-1.ch006
APA
Feja, S., Speck, A., Pulvermüller, E., & Schulz, M. (2011). Verification of e-Commerce Business Processes. In E. Kajan (Ed.), Electronic Business Interoperability: Concepts, Opportunities and Challenges (pp. 105-123). Hershey, PA: Business Science Reference. doi:10.4018/978-1-60960-485-1.ch006
Chicago
Feja, Sven, Andreas Speck, Elke Pulvermüller and Marcel Schulz. "Verification of e-Commerce Business Processes." In Electronic Business Interoperability: Concepts, Opportunities and Challenges, ed. Ejub Kajan, 105-123 (2011), accessed May 23, 2012. doi:10.4018/978-1-60960-485-1.ch006
Export Reference
 | | TopAbstractNevertheless distinctive improvements are necessary before this technology can be applied in the real system development. Graphical formal requirement notations for different kinds of process model notations as representations of the specification of rules are also crucial, along with the ability to present the positive and especially negative results to the different types of stakeholders. And finally, the model checking technique has to be improved in order to deal with different types of model elements which are typical for business process models. TopComplete Chapter List|
1.
| E-Business Interoperability: A Systematization Attempt Based on the Morphology Concept
(pages 1-14)
Frank-Dieter Dorloff (University of Duisburg-Essen, Germany), Veit Jahns (University of Duisburg-Essen, Germany), Volker Schmitz (University of Duisburg-Essen, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
2.
| Business Artifacts for E-Business Interoperability
(pages 15-36)
Youakim Badr (INSA-Lyon, France), Nanjangud C. Narendra (IBM Research India, India), Zakaria Maamar (Zayed University, UAE)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
3.
| A Semantic Similarity Analysis for Data Mappings between Heterogeneous XML Schemas
(pages 37-52)
Jaewook Kim (University of Maryland Baltimore County, USA), Yun Peng (University of Maryland Baltimore County, USA)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
4.
| Putting Interoperability on the Map: Towards a Framework of Interoperability Approaches and Tools
(pages 53-75)
Stelios Eliakis (Athens University of Economics and Business, Greece), Eleni Zampou (Athens University of Economics and Business, Greece), Katerina Pramatari (Athens University of Economics and Business, Greece)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
5.
| Process Mediation: Requirements, Experiences and Challenges
(pages 77-104)
Roman Vaculín (Czech Academy of Sciences, Czech Republic), Roman Neruda (Czech Academy of Sciences, Czech Republic), Katia Sycara (The Robotics Institute, Carnegie Mellon University)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
6.
| Verification of e-Commerce Business Processes
(pages 105-123)
Sven Feja (Christian-Albrechts-University of Kiel, Germany), Andreas Speck (Christian-Albrechts-University of Kiel, Germany), Elke Pulvermüller (University Osnabrück, Germany), Marcel Schulz (Intershop Communications AG, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
7.
| Validating Component-Based Implementations of Business Processes
(pages 124-151)
Jens Lemcke (SAP Research Karlsruhe, Germany), Andreas Friesen (SAP Research Karlsruhe, Germany), Tirdad Rahmani (SAP Research Karlsruhe, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
8.
| E-Business Interoperability and Collaboration
(pages 153-184)
Alexander Kipp (High Performance Computing Center Stuttgart, Germany), Lutz Schubert (High Performance Computing Center Stuttgart, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
9.
| Requirements Metadata Driven Dynamic Configuration of Business Processes
(pages 185-209)
Marcus Spies (Ludwig-Maximilians-University of Munich, Germany), Azzelarabe Taleb-Bendiab (Liverpool John Moores University, UK)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
10.
| Planning Based Service Composition
(pages 210-241)
|
$30.00
Add to Cart |
|
11.
| Semantic Technologies and E-Business
(pages 243-278)
Ivan Bedini (Alcatel Lucent, Bell Labs, Ireland), Georges Gardarin (University of Versailles, France), Benjamin Nguyen (University of Versailles, France)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
12.
| Context-Sensitive Ontology Matching in Electronic Business
(pages 279-301)
|
$30.00
Add to Cart |
|
13.
| Approaches for Evaluating the Conformance and Interoperability of Ontology Engineering Tools
(pages 302-330)
Raúl García-Castro (Universidad Politécnica de Madrid, Spain), Asunción Gómez-Pérez (Universidad Politécnica de Madrid, Spain)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
14.
| Semantic Interoperability Enablement in E-Business Modeling
(pages 331-361)
|
$30.00
Add to Cart |
|
15.
| Development of an Ontology-Based E-Recruitment Application that Integrates Social Web
(pages 363-395)
Michel Tétreault (University of Montreal, Canada), Aude Dufresne (University of Montreal, Canada), Michel Gagnon (Polytechnique Montréal, Canada)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
16.
| Trade Collaboration Systems
(pages 396-414)
|
$30.00
Add to Cart |
|
17.
| The Semantic Web as a Catalyst for Enterprise/Industrial Interoperability
(pages 415-436)
Athanasios P. Kalogeras (Industrial Systems Institute, PSP Building, 26504 Platani Patras, Greece), Christos Alexakos (Industrial Systems Institute, PSP Building, 26504 Platani Patras, Greece), Manos Georgoudakis (Industrial Systems Institute, PSP Building, 26504 Platani Patras, Greece)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
18.
| ebXML-Based Electronic Business Interoperability Framework and Test Platform
(pages 438-456)
Peng Liang (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Keqing He (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Bing Li (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Zaiwen Feng (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Tao Peng (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Shuai Chen (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Yu’e Pan (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Wei Qing (State Key Lab of Software Engineering (SKLSE), Wuhan University, China), Dan Song (State Key Lab of Software Engineering (SKLSE), Wuhan University, China)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
19.
| An Ontology-Based Framework to Semantically Describe XML-Based Business Documents
(pages 457-481)
Mariela Rico (CIDISI Research Center, Argentina), Ma. Laura Caliusco (CIDISI Research Center, Argentina), Omar Chiotti (INGAR - UTN - CONICET, Argentina), Ma. Rosa Galli (INGAR - UTN - CONICET, Argentina)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
20.
| Business Document Exchange between Small Companies
(pages 482-510)
Flavio Bonfatti (University of Modena and Reggio Emilia, Italy), Paola Daniela Monari (SATA Applicazione Tecnologie Avanzate srl, Italy), Luca Martinelli (University of Modena and Reggio Emilia, Italy)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
21.
| Interoperability in the Building of Next Generation of Collaborative Working Environments
(pages 511-538)
M. Antonia Martínez-Carreras (Universidad de Murcia, Spain), Antonio Ruiz-Martínez (Universidad de Murcia, Spain), Manuel Bernal Llinares (Universidad de Murcia, Spain)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
22.
| HLA Supported, Federation Oriented Enterprise Interoperability
(pages 539-569)
Gregory Zacharewicz (Université de Bordeaux, France), David Chen (Université de Bordeaux, France), Bruno Vallespir (Université de Bordeaux, France)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
23.
| Convergence of Information Security in B2B Networks
(pages 571-595)
|
$30.00
Add to Cart |
|
24.
| E-Business and Information Security Risk Management: Challenges and Potential Solutions
(pages 596-614)
|
$30.00
Add to Cart |
|
25.
| On Interoperability Failures in WS-Security: The XML Signature Wrapping Attack
(pages 615-635)
Nils Gruschka (NEC Laboratories Europe, NEC Europe Ltd., Heidelberg, Germany), Meiko Jensen (Horst Görtz Institute for IT-Security, Ruhr-University Bochum, Germany), Florian Kohlar (Horst Görtz Institute for IT-Security, Ruhr-University Bochum, Germany), Lijun Liao (Horst Görtz Institute for IT-Security, Ruhr-University Bochum, Germany)
Sample PDF |
More details... |
$30.00
Add to Cart |
|
26.
| Interoperability in Identity Management
(pages 636-664)
|
$30.00
Add to Cart |
|
| |