Monitoring software process interactions: A logic-based approach

DOI10.1007/3-540-45752-6_4MaRDI QIDQ2779711zbMATH OpenFDO

Authors Ilham Alloui, Sorana Cîmpan, Flavio Oquendo

Publication date 15 April 2002

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/2077/20770039

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Specification and verification of declarative open interaction models. A logic-based approach
• A model for process service interaction
• A delegation based model for distributed software process management
• Software process technology. 4th European Workshop, EWSPT'95, Noordwijkerhout, the Netherlands, April 3-5, 1995. Proceedings
• scientific article; zbMATH DE number 3878341

Cited in

(2)

• A delegation based model for distributed software process management
• Theorising monitoring: algebraic models of web monitoring in organisations

This page was built for publication: Monitoring software process interactions: A logic-based approach

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