-
3
-
-
62949143037
-
Formal semantics of BPMN process models using YAWL
-
dec
-
Jian Hong Ye, Shi Xin Sun, Wen Song, and Li Jie Wen. Formal Semantics of BPMN Process Models Using YAWL. In Intelligent Information Technology Application, volume 2, pages 70-74, dec 2008.
-
(2008)
Intelligent Information Technology Application
, vol.2
, pp. 70-74
-
-
Ye, J.H.1
Sun, S.X.2
Song, W.3
Wen, L.J.4
-
5
-
-
67649948964
-
Towards a BPMN semantics using UML models
-
of LNBIP, Springer
-
Oana Nicolae, Mirel Cosulschi, Adrian Giurca, and Gerd Wagner. Towards a BPMN Semantics Using UML Models. In BPM Workshops, volume 17 of LNBIP, pages 585-596. Springer, 2009.
-
(2009)
BPM Workshops
, vol.17
, pp. 585-596
-
-
Nicolae, O.1
Cosulschi, M.2
Giurca, A.3
Wagner, G.4
-
6
-
-
79651474058
-
Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language
-
S. Mazanek and M. Hanus. Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language. J. of Visual Languages & Computing, 22(1):66-89, 2011.
-
(2011)
J. of Visual Languages & Computing
, vol.22
, Issue.1
, pp. 66-89
-
-
Mazanek, S.1
Hanus, M.2
-
8
-
-
57049137870
-
A unified foundational ontology and some applications of it in business modeling
-
Giancarlo Guizzardi and Gerd Wagner. A unified foundational ontology and some applications of it in business modeling. In In CAiSE Workshops (3, pages 129-143, 2004.
-
(2004)
CAiSE Workshops (3
, pp. 129-143
-
-
Guizzardi, G.1
Wagner, G.2
-
9
-
-
84873476520
-
Sweetening ontologies with DOLCE
-
A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, and L. Schneider. Sweetening Ontologies with DOLCE. In Proc. EKAW '02, volume 2473 of LNCS, pages 166-181, 2002.
-
(2002)
Proc. EKAW '02, Volume 2473 of LNCS
, pp. 166-181
-
-
Gangemi, A.1
Guarino, N.2
Masolo, C.3
Oltramari, A.4
Schneider, L.5
-
10
-
-
78650439948
-
Semantically-aided business process modeling
-
Springer
-
C. Di Francescomarino, C. Ghidini, M. Rospocher, L. Serafini, and P. Tonella. Semantically-aided business process modeling. In 8th International Semantic Web Conference (ISWC 2009), volume 5823 of Lecture Notes in Computer Science, pages 114-129. Springer, 2009.
-
(2009)
8th International Semantic Web Conference (ISWC 2009), Volume 5823 of Lecture Notes in Computer Science
, pp. 114-129
-
-
Di Francescomarino, C.1
Ghidini, C.2
Rospocher, M.3
Serafini, L.4
Tonella, P.5
-
11
-
-
85182343381
-
Semantic technology to enable business and IT alignment
-
H. Kondylakis, D. Plexousakis, H. Wache, D. Fieldkamp, K. Hinkelmann, and A. Bergmayr. Semantic Technology to enable Business and IT alignment. In Open Knowledge Models Workshop, 2010.
-
(2010)
Open Knowledge Models Workshop
-
-
Kondylakis, H.1
Plexousakis, D.2
Wache, H.3
Fieldkamp, D.4
Hinkelmann, K.5
Bergmayr, A.6
-
12
-
-
58049107321
-
Reasoning on semantically annotated processes
-
Springer
-
Chiara Di Francescomarino, Chiara Ghidini, Marco Rospocher, Luciano Serafini, and Paolo Tonella. Reasoning on semantically annotated processes. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC'08), volume 5364 of LNCS, pages 132-146. Springer, 2008.
-
(2008)
Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC'08), Volume 5364 of LNCS
, pp. 132-146
-
-
Francescomarino, C.D.1
Ghidini, C.2
Rospocher, M.3
Serafini, L.4
Tonella, P.5
-
13
-
-
84886735543
-
Semantic enrichment of models to assist knowledge management in a PLM environment
-
Springer
-
Yongxin Liao, Mario Lezoche, Eduardo Loures, Hervé Panetto, and Nacer Boudjlida. Semantic Enrichment of Models to Assist Knowledge Management in a PLM Environment. In On the Move to Meaningful Internet Systems: OTM 2013, volume 8185 of LNCS, pages 267-274. Springer, 2013.
-
(2013)
On the Move to Meaningful Internet Systems: OTM 2013, Volume 8185 of LNCS
, pp. 267-274
-
-
Liao, Y.1
Lezoche, M.2
Loures, E.3
Panetto, H.4
Boudjlida, N.5
-
14
-
-
84887954813
-
Towards ontology evaluation across the life cycle
-
F. Neuhaus, A. Vizedom, K. Baclawski, M. Bennett, M. Dean, M. Denny, M. Grüninger, A. Hashemi, T. Longstreth, L. Obrst, S. Ray, R. D. Sriram, T. Schneider, M. Vegetti, M. West, and P. Yim. Towards ontology evaluation across the life cycle. Applied Ontology, 8(3):179-194, 2013.
-
(2013)
Applied Ontology
, vol.8
, Issue.3
, pp. 179-194
-
-
Neuhaus, F.1
Vizedom, A.2
Baclawski, K.3
Bennett, M.4
Dean, M.5
Denny, M.6
Grüninger, M.7
Hashemi, A.8
Longstreth, T.9
Obrst, L.10
Ray, S.11
Sriram, R.D.12
Schneider, T.13
Vegetti, M.14
West, M.15
Yim, P.16
-
15
-
-
85182344948
-
-
Web page. Version 1.0 - July 31, 2002 - Accessed January 30
-
F. Curbera, Y. Goland, Y. Klein, F. Leymann, D. Roller, and S. Weerawarana. Business Process Execution Language for Web Services. Web page. Version 1.0 - July 31, 2002 - Accessed January 30, 2014.
-
(2014)
Business Process Execution Language for Web Services
-
-
Curbera, F.1
Goland, Y.2
Klein, Y.3
Leymann, F.4
Roller, D.5
Weerawarana, S.6
-
17
-
-
33845462433
-
A model driven approach for building OWL DL and OWL full ontologies
-
Springer
-
S. Brockmans, R. Colomb, E. Kendall, E. Wallace, C. Welty, G. Xie, and P. Haase. A Model Driven Approach for Building OWL DL and OWL Full Ontologies. In The Semantic Web - ISWC 2006, volume 4273 of LNCS, pages 187-200. Springer, 2006.
-
(2006)
The Semantic Web - ISWC 2006, Volume 4273 of LNCS
, pp. 187-200
-
-
Brockmans, S.1
Colomb, R.2
Kendall, E.3
Wallace, E.4
Welty, C.5
Xie, G.6
Haase, P.7
-
18
-
-
0007904166
-
Practical reasoning for very expressive description logics
-
May
-
I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL, 8(3):239-264, May 2000.
-
(2000)
Logic Journal of the IGPL
, vol.8
, Issue.3
, pp. 239-264
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
22
-
-
84655162200
-
Semantics-based aspect-oriented management of exceptional flows in business processes
-
Chiara Ghidini, Chiara Di Francescomarino, Marco Rospocher, Paolo Tonella, and Luciano Serafini. Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 42(1):25-37, 2012.
-
(2012)
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
, vol.42
, Issue.1
, pp. 25-37
-
-
Ghidini, C.1
Di Francescomarino, C.2
Rospocher, M.3
Tonella, P.4
Serafini, L.5
-
24
-
-
84872457931
-
Corpus-based terminological evaluation of ontologies
-
Marco Rospocher, Sara Tonelli, Luciano Serafini, and Emanuele Pianta. Corpus-based terminological evaluation of ontologies. Applied Ontology, 7(4):429-448, 2012.
-
(2012)
Applied Ontology
, vol.7
, Issue.4
, pp. 429-448
-
-
Rospocher, M.1
Tonelli, S.2
Serafini, L.3
Pianta, E.4
-
25
-
-
78650506867
-
A proposal of merging axioms between BPMN and DOLCE ontologies
-
FBK-irst
-
C. Ghidini, M. K. Hasan, M. Rospocher, and L. Serafini. A proposal of merging axioms between BPMN and DOLCE ontologies. Technical report, FBK-irst, 2009. http://dkm.fbk.eu/rospocher/resources/bpmn/MergingAxiomsBPMN-DOLCE.html.
-
(2009)
Technical Report
-
-
Ghidini, C.1
Hasan, M.K.2
Rospocher, M.3
Serafini, L.4
-
26
-
-
85182318003
-
-
Evolved Version
-
W. Abramowicz, C. Liliana, A. Filipowska, G. Pierre, N. Joerg, B. Norton, C. Pedrinaci, G. Zeissler, and S. Zoeller. D.1.5. SUPER Process Ontology Stack, Evolved Version, 2009.
-
(2009)
D.1.5. SUPER Process Ontology Stack
-
-
Abramowicz, W.1
Liliana, C.2
Filipowska, A.3
Pierre, G.4
Joerg, N.5
Norton, B.6
Pedrinaci, C.7
Zeissler, G.8
Zoeller, S.9
|