Abstract
Recent progress of network and web technologies has made time constraints more critical issues in business processes. Business process specification languages like BPNM and BPEL are equipped with the temporal description elements, however they do not provide enough formality and rigorousness. In this paper we focus on two software design tools. One is the UML timing diagram, which enables us to express accurate time constraints. The other is the Colored Petri Net (CPN), which can validate time constraints rigorously. These two tools are consolidated into a single standardized process to express and validate the time constraints, which is applicable to both the business process and software design phases. Our proposed approach can resolve the temporal conflicts between these two different design phases.
