Fundamental Approaches to Software Engineering

DOI10.1007/B107062MaRDI QIDQ5316442zbMATH OpenOpenAlexFDO

Authors Axel Martens

Publication date 13 September 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107062

zbMATH Keywords

BPEL4WSBusiness Process ModelingPetri netsTool based VerificationWeb Service

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Analysis and simulation of Web services.
• Modeling and model checking web services
• A Petri net approach for the design and analysis of web services choreographies
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• Towards a performance analysis of composite web services using Petri nets

Cited in

(18)

• An analytical method for well-formed workflow/Petri net verification of classical soundness
• Towards a performance analysis of composite web services using Petri nets
• A Petri net approach for the design and analysis of web services choreographies
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Session types for safe web service orchestration
• Analysing and determining substitutability of different granularity Web services
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• Discovery, Verification and Conformance of Workflows with Cancellation
• A Formal Model for Organisational Structures behind Process-Aware Information Systems
• Does My Service Have Partners?
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• A formal model for service-oriented interactions
• Soundness of workflow nets: classification, decidability, and analysis
• Lectures on Concurrency and Petri Nets
• On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
• Service net algebra based on logic Petri nets
• Can I find a partner? Undecidability of partner existence for open nets
• Formal semantics and analysis of control flow in WS-BPEL

Describes a project that uses

Uses Software

• YAWL
• XRL/Flower

This page was built for publication: Fundamental Approaches to Software Engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5316442)