Formal methods in enterprise computing

DOI10.1007/3-540-36103-0_4MaRDI QIDQ4412472zbMATH OpenFDO

Authors Richard Jüllig

Publication date 15 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950022.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• A formal framework for business process modelling and design
• Inter-organizational business process management with XML nets
• scientific article; zbMATH DE number 2065566
• Towards a formal framework for inter-enterprise application integration
• scientific article; zbMATH DE number 2231484

Cited in

(11)

• POETS: process-oriented event-driven transaction systems
• Fractal businesses in an E-business world
• Business object modeling, validation, and mediation for integrating heterogeneous application systems
• Enterprise integration and interoperability
• scientific article; zbMATH DE number 5722463 (Why is no real title available?)
• Finding trading partners to establish ad-hoc business processes
• scientific article; zbMATH DE number 1964841 (Why is no real title available?)
• scientific article; zbMATH DE number 2001225 (Why is no real title available?)
• Modelling the ICE standard with a formal language for information commerce
• scientific article; zbMATH DE number 2085261 (Why is no real title available?)
• scientific article; zbMATH DE number 2231484 (Why is no real title available?)

This page was built for publication: Formal methods in enterprise computing

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