Login / Signup
A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.
Mohammad Reza Nami
Mohsen Sharifi
Abbas Malekpour
Published in:
SERA (2007)
Keyphrases
</>
formal specification
specification language
virtual organization
model checking
formal methods
workflow management
business process
distributed computing
process algebra
reverse engineering
concurrent systems
object oriented design
business rules
software components
business processes
conceptual framework