1 |
H.Bi, J.Zhao, "Applying propositional logic to workflow verification," Information Technology and Management, 5(3-4), pp.293-318, 2004.
DOI
ScienceOn
|
2 |
Eshuis, H., Semantics and Verification of UML Activity Diagrams for Workflow Modeling, PhD thesis, Universty of Twente. CTIT Ph.D.-thesis series No.02-04.
|
3 |
W.M.P. van der Aalst, "Workflow verification: Finding control-flow errors using Petri-net-based techniques", Business Process Management, pp.161-183, 2000.
|
4 |
Kwan Woo Lee, "Managing and Modeling Variability of UML Based FORM Architectures Through Feature-Architecture Mapping," KIPS Transactions, Vol.19-D, No.1, pp.81-94, 2012. 2.
과학기술학회마을
DOI
ScienceOn
|
5 |
staruml.sourceforge.net/ko, "StarUML 5.0-OpenSource UML/MDA Platform"
|
6 |
Gun-Woo Kim, Jeong-Wha Lee, Jin Hyun Son, "Design Anomalies in the Business Process Modeling", Journal of KIISE, Vol.14, No.9, pp.850-863, 2008. 12.
과학기술학회마을
|
7 |
P.Clemens, L.Northrop, Software product lines: practices and patterns, Addison-Wesly Professional, Aug., 2001.
|
8 |
K.Kang, S.Kim, J.Lee, K.Kim, E.Shin, and M.Huh, "FORM: a feature-oriented reuse method with domain-specific reference architecture," Annals of Software Engineering, Vol.5, pp.143-168, May, 1998.
DOI
ScienceOn
|
9 |
Hyesun Lee, Jin-Seok Yang, and Kyo C.Kang, "VULCAN: Architecture-Model-Based Software Development Work bench," The Joint 10th Working IEEE/IFIP Conference on Software Architecture and 6th European Conference on Software Architecture, Aug., 20-24, 2012.
|
10 |
Hyesun Lee, Jin-Seok Yang, and Kyo C. Kang, "VULCAN : Architecture-Model-Based Workbench for Product Line Engineering," The 16th International Software Product Line Conference, Sep., 02-07, 2012.
|
11 |
www.omg.org, "Business Process Model and Notation", Jan., 2011.
|
12 |
Visual Paradigm, "Business Process Visual ARCHITECT (BP-VA)"
|