107
click to vote
FMCO
15 years 2 months ago
2008 Springer 
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
FMCO
15 years 2 months ago
2008 Springer 
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
FMCO
15 years 2 months ago
2008 Springer 
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
74
Voted
FMCO
15 years 2 months ago
2008 Springer  123
Voted
FMCO
15 years 2 months ago
2008 Springer 
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
|
Formal Methods