-
1
-
-
84948946085
-
On querying UML data models with OCL
-
M. Gogolla and C. Kobryn, editors, volume 2185 of LNCS, Springer
-
D. H. Akehurst and B. Bordbar. On Querying UML Data Models with OCL. In M. Gogolla and C. Kobryn, editors, Proc. 4th International Conference on the Unified Modeling Language (UML'01), volume 2185 of LNCS, pages 91{103. Springer, 2001.
-
(2001)
Proc. 4th International Conference on the Unified Modeling Language (UML'01)
, pp. 91-103
-
-
Akehurst, D.H.1
Bordbar, B.2
-
3
-
-
84868506177
-
On efficient processing of BPMN-Q queries
-
A. Awad and S. Sakr. On efficient processing of BPMN-Q queries. Comp. Ind., 63(9):867{881, 2012.
-
(2012)
Comp. Ind.
, vol.63
, Issue.9
, pp. 867-881
-
-
Awad, A.1
Sakr, S.2
-
4
-
-
79651475709
-
Visually specifying compliance rules and explaining their violations for business processes
-
Feb
-
A. Awad, M. Weidlich, and M. Weske. Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput., 22(1):30{55, Feb. 2011.
-
(2011)
J. Vis. Lang. Comput.
, vol.22
, Issue.1
, pp. 30-55
-
-
Awad, A.1
Weidlich, M.2
Weske, M.3
-
5
-
-
45049087141
-
Querying business processes with BP-QL
-
Sept.
-
C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo. Querying business processes with BP-QL. Inf. Syst., 33(6):477{507, Sept. 2008.
-
(2008)
Inf. Syst.
, vol.33
, Issue.6
, pp. 477-507
-
-
Beeri, C.1
Eyal, A.2
Kamenkovich, S.3
Milo, T.4
-
6
-
-
78650108005
-
An XML-based process repository and process query language for integrated process management
-
I. Choi, K. Kim, and M. Jang. An XML-Based Process Repository and Process Query Language for Integrated Process Management. Knowledge and Process Management, 14(4):303{316, 2007.
-
(2007)
Knowledge and Process Management
, vol.14
, Issue.4
, pp. 303-316
-
-
Choi, I.1
Kim, K.2
Jang, M.3
-
7
-
-
67650002078
-
Crosscutting concern documentation by visual query of business processes
-
D. Ardagna, M. Mecella, and J. Yang, editors, Bus, volume 17 of LNBIP, Springer
-
C. DiFrancescomarino and P. Tonella. Crosscutting Concern Documentation by Visual Query of Business Processes. In D. Ardagna, M. Mecella, and J. Yang, editors, Business Process Management Workshops, volume 17 of LNBIP, pages 18{31. Springer, 2009.
-
(2009)
Iness Process Management Workshops
, pp. 18-31
-
-
Difrancescomarino, C.1
Tonella, P.2
-
8
-
-
84857997360
-
Editorial: Managing large collections of business process models-current techniques and challenges
-
Feb
-
R. Dijkman, M. L. Rosa, and H. A. Reijers. Editorial: Managing large collections of business process models-Current techniques and challenges. Comput. Ind., 63(2):91{97, Feb. 2012.
-
(2012)
Comput. Ind.
, vol.63
, Issue.2
, pp. 91-97
-
-
Dijkman, R.1
Rosa, M.L.2
Reijers, H.A.3
-
9
-
-
0022012464
-
Decision procedures and expressiveness in the temporal logic of branching time
-
E. A. Emerson and J. Y. Halpern. Decision procedures and expressiveness in the temporal logic of branching time. J. Comp. Syst. Sci., 30:1{24, 1985.
-
(1985)
J. Comp. Syst. Sci.
, vol.30
, pp. 1-24
-
-
Emerson, E.A.1
Halpern, J.Y.2
-
10
-
-
0021687954
-
On the psychophysics of workload: Why bother with subjective measures?
-
D. Gopher and R. Braune. On the psychophysics of workload: Why bother with subjective measures? Human Factors, 26(5):519{532, 1984.
-
(1984)
Human Factors
, vol.26
, Issue.5
, pp. 519-532
-
-
Gopher, D.1
Braune, R.2
-
11
-
-
79955125606
-
Querying business process models based on semantics
-
J. X. Yu, M. H. Kim, and R. Unland, editors, volume 6588 of LNCS, Springer
-
T. Jin, J. Wang, and L. Wen. Querying Business Process Models Based on Semantics. In J. X. Yu, M. H. Kim, and R. Unland, editors, Proc. 16th international conference on Database systems for advanced applications (DASFAA'11): Part II, volume 6588 of LNCS, pages 164{178. Springer, 2011.
-
(2011)
Proc. 16th International Conference on Database Systems for Advanced Applications (DASFAA'11): Part II
, pp. 164-178
-
-
Jin, T.1
Wang, J.2
Wen, L.3
-
12
-
-
0031251476
-
Constraint diagrams: Visualizing invariants in object-oriented models
-
ACM
-
S. Kent. Constraint Diagrams: Visualizing Invariants in Object-Oriented Models. In Proc. 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'97, pages 327{341. ACM, 1997.
-
(1997)
Proc. 12th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA'97
, pp. 327-341
-
-
Kent, S.1
-
13
-
-
70349422758
-
On the expressive power of OCL
-
J. M. Wing, J. Woodcock, and J. Davies, editors, volume 1708 of LNCS, Springer, September
-
L. Mandel and M. V. Cengarle. On the Expressive Power of OCL. In J. M. Wing, J. Woodcock, and J. Davies, editors, Proc. World Congress on Formal Methods in the Development of Computing Systems (FM'99), volume 1708 of LNCS, pages 854{874. Springer, September 1999.
-
(1999)
Proc. World Congress on Formal Methods in the Development of Computing Systems (FM'99)
, pp. 854-874
-
-
Mandel, L.1
Cengarle, M.V.2
-
14
-
-
35048892117
-
Process query language: A way to make workow processes more flexible
-
A. Benczur, J. Demetrovics, and G. Gottlob, editors, volume 3255 of LNCS, Springer
-
M. Momotko and K. Subieta. Process Query Language: A Way to Make Workow Processes More Flexible. In A. Benczur, J. Demetrovics, and G. Gottlob, editors, Proc. 8th East European Conference on Advances in Databases and Information Systems (ADBIS'04), volume 3255 of LNCS, pages 306{321. Springer, 2004.
-
(2004)
Proc. 8th East European Conference on Advances in Databases and Information Systems (ADBIS'04)
, pp. 306-321
-
-
Momotko, M.1
Subieta, K.2
-
15
-
-
70649086984
-
A rule-based approach to match structural patterns with business process models
-
G. Governatori, J. Hall, and A. Paschke, editors, volume 5858 of LNCS, Springer
-
J. Müller. A Rule-Based Approach to Match Structural Patterns with Business Process Models. In G. Governatori, J. Hall, and A. Paschke, editors, Proc. 3rd International Symposium on Rules, Applications and Interoperability (RuleML'09), volume 5858 of LNCS, pages 208{215. Springer, 2009.
-
(2009)
Proc. 3rd International Symposium on Rules, Applications and Interoperability (RuleML'09)
, pp. 208-215
-
-
Müller, J.1
-
17
-
-
84882251349
-
Ocl specification v2.3.1 (formal/2012-01-01)
-
OMG., Jan
-
OMG. OCL Specification v2.3.1 (formal/2012-01-01). Technical report, Object Management Group, Jan. 2012.
-
(2012)
Technical Report, Object Management Group
-
-
-
19
-
-
0037412693
-
Cognitive load measurement as a means to advance cognitive load theory
-
F. Paas, J. E. Tuovinen, H. Tabbers, and P. W. Van Gerven. Cognitive Load Measurement as a Means to Advance Cognitive Load Theory. Educational Psychologist, 38(1):63{71, 2003.
-
(2003)
Educational Psychologist
, vol.38
, Issue.1
, pp. 63-71
-
-
Paas, F.1
Tuovinen, J.E.2
Tabbers, H.3
Van Gerven, P.W.4
-
20
-
-
35048851621
-
Query models
-
T. Baar, A. Strohmeier, A. Moreira, and S. J. Mellor, editors, volume 3273 of LNCS, Springer
-
D. Stein, S. Hanenberg, and R. Unland. Query Models. In T. Baar, A. Strohmeier, A. Moreira, and S. J. Mellor, editors, Proc. 7th International Conference on the Unified Modeling Language (UML'04), volume 3273 of LNCS, pages 98{112. Springer, 2004.
-
(2004)
Proc. 7th International Conference on the Unified Modeling Language (UML'04)
, pp. 98-112
-
-
Stein, D.1
Hanenberg, S.2
Unland, R.3
-
21
-
-
33745799046
-
Join point designation diagrams: A graphical representation of join point selections
-
June
-
D. Stein, S. Hanenberg, and R. Unland. Join Point Designation Diagrams: A Graphical Representation Of Join Point Selections. Int. J. Softw. Eng. Knowl. Eng., 16(3):317{346, June 2006.
-
(2006)
Int. J. Softw. Eng. Knowl. Eng.
, vol.16
, Issue.3
, pp. 317-346
-
-
Stein, D.1
Hanenberg, S.2
Unland, R.3
-
22
-
-
73449092819
-
VMQL: A generic visual model query language
-
M. Erwig, R. DeLine, and M. Minas, editors, IEEE Computer Society
-
H. Störrle. VMQL: A Generic Visual Model Query Language. In M. Erwig, R. DeLine, and M. Minas, editors, Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'09), pages 199{206. IEEE Computer Society, 2009.
-
(2009)
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'09)
, pp. 199-206
-
-
Störrle, H.1
-
23
-
-
82855167242
-
Expressing model constraints visually with VMQL
-
G. Costagliola et al. editor, IEEE Computer Society
-
H. Störrle. Expressing Model Constraints Visually with VMQL. In G. Costagliola et al., editor, Proc. IEEE Symp. Visual Languages and Human-Centric Computing (VL/HCC'11), pages 195{202. IEEE Computer Society, 2011.
-
(2011)
Proc. IEEE Symp. Visual Languages and Human-Centric Computing (VL/HCC'11)
, pp. 195-202
-
-
Störrle, H.1
-
24
-
-
79651472391
-
Vmql: A visual language for ad-hoc model querying
-
Feb
-
H. Störrle. VMQL: A Visual Language for Ad-Hoc Model Querying. J. Visual Languages and Computing, 22(1):3{29, Feb. 2011.
-
(2011)
J. Visual Languages and Computing
, vol.22
, Issue.1
, pp. 3-29
-
-
Störrle, H.1
-
25
-
-
68949086619
-
Designing design constraints in the UML using join point designation diagrams
-
volume 33 of LNBIP, Springer
-
V. Stricker, S. Hanenberg, and D. Stein. Designing Design Constraints in the UML Using Join Point Designation Diagrams. In M. Oriol and B. Meyer, editors, Proc. 47th International Conference TOOLS Europe (TOOLS'09), volume 33 of LNBIP, pages 57{76. Springer, 2009.
-
(2009)
M. Oriol and B. Meyer, Editors, Proc. 47th International Conference TOOLS Europe (TOOLS'09)
, pp. 57-76
-
-
Stricker, V.1
Hanenberg, S.2
Stein, D.3
-
27
-
-
47749110280
-
Mata: A tool for aspect-oriented modeling based on graph transformation
-
H. Giese, editor, volume 5002 of LNCS, Springer
-
J. Whittle and P. Jayaraman. MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. In H. Giese, editor, Models in Software Engineering - Proc. Workshops and Symposia at MoDELS 2007, volume 5002 of LNCS, pages 16{27. Springer, 2008.
-
(2008)
Models in Software Engineering - Proc. Workshops and Symposia at MoDELS 2007
, pp. 16-27
-
-
Whittle, J.1
Jayaraman, P.2
-
28
-
-
84866400385
-
FNet: An index for advanced business process querying
-
A. Barros, A. Gal, and E. Kindler, editors, volume 7481 of LNCS, Springer
-
Z. Yan, R. Dijkman, and P. Grefen. FNet: An Index for Advanced Business Process Querying. In A. Barros, A. Gal, and E. Kindler, editors, Proc. 10th International Conference on Business Process Management (BPM'12), volume 7481 of LNCS, pages 246{261. Springer, 2012.
-
(2012)
Proc. 10th International Conference on Business Process Management (BPM'12)
, pp. 246-261
-
-
Yan, Z.1
Dijkman, R.2
Grefen, P.3
|