𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic constraint specification and verification of ebXML business process specifications

✍ Scribed by Jong Woo Kim; Hyoung Do Kim

Book ID
108127649
Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
692 KB
Volume
27
Category
Article
ISSN
0957-4174

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Specification and Verification of Agent
Specification and Verification of Agent Interaction using Social Integrity Constraints
✍ Marco Alberti; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 223 KB

In this paper we propose a logic-based social approach to the specification and verification of agent interaction. We firstly introduce integrity constraints about social acts (called Social Integrity Constraints) as a formalism to express interaction protocols and to give a social semantics to the

Semantic verification and satisfiability
Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing
✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 230 KB πŸ‘ 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,