-
2
-
-
0036722895
-
A formal framework for viewpoint consistency
-
September
-
Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods in System Design, 21, September (2002) 111-166
-
(2002)
Formal Methods in System Design
, vol.21
, pp. 111-166
-
-
Bowman, H.1
Steen, M.W.A.2
Boiten, E.A.3
Derrick, J.4
-
3
-
-
35048821640
-
Semantical integration of object-oriented viewpoint specification techniques
-
Integration of Software Specification Techniques for Applications in Engineering, Springer
-
Braatz, B., Klein, M., Schröter, G.: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. In Integration of Software Specification Techniques for Applications in Engineering, Lecture Notes in Computer Science, Springer. (2004)
-
(2004)
Lecture Notes in Computer Science
-
-
Braatz, B.1
Klein, M.2
Schröter, G.3
-
4
-
-
84936999677
-
An approach to relate viewpoints and modeling languages
-
Brisbane, Australia
-
Dijkman, R.M., Quartel, D.A.C., Pires, L.F., Sinderen van M.J.: An Approach to Relate Viewpoints and Modeling Languages. In: Proceedings of the 7th IEEE Enterprise Distributed Object Computing (EDOC) Conference, Brisbane, Australia (2003) 14-27
-
(2003)
Proceedings of the 7th IEEE Enterprise Distributed Object Computing (EDOC) Conference
, pp. 14-27
-
-
Dijkman, R.M.1
Quartel, D.A.C.2
Pires, L.F.3
Van Sinderen, M.J.4
-
6
-
-
84947589230
-
Business modelling is not process modelling
-
Conceptual Modeling for E-Business and the Web. Salt Lake City, USA, October 9-12
-
Gordijn, J., Akkermans, J.M., Vliet van, J.C.: Business Modelling is not Process Modelling. In: Conceptual Modeling for E-Business and the Web, LNCS 1921. Salt Lake City, USA, October 9-12 (2000) 40-51
-
(2000)
LNCS
, vol.1921
, pp. 40-51
-
-
Gordijn, J.1
Akkermans, J.M.2
Vliet Van, J.C.3
-
7
-
-
1142304948
-
Value based requirements engineering: Exploring innovative e-commerce idea
-
Gordijn, J., Akkermans, J.M.: Value based requirements engineering: exploring innovative e-commerce idea. Requirements Engineering Journal, 8, 2 (2003) 114-134.
-
(2003)
Requirements Engineering Journal
, vol.8
, Issue.2
, pp. 114-134
-
-
Gordijn, J.1
Akkermans, J.M.2
-
9
-
-
23044520720
-
Inter-operability of workflow applications: Local criteria for global soundness
-
Kindler, E., Martens, A., Reisig, W.: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management, Models, Techniques, and Empirical Studies (2000) 235-253
-
(2000)
Business Process Management, Models, Techniques, and Empirical Studies
, pp. 235-253
-
-
Kindler, E.1
Martens, A.2
Reisig, W.3
-
10
-
-
4644362590
-
-
OMG: OMG UML Specification (2003) http://www.omg.org/cgi-bin/doc7formal/ 03-03-01
-
(2003)
OMG UML Specification
-
-
-
13
-
-
33644546005
-
Value-oriented design of service coordination processes: Correctness and trust
-
Wieringa, R.J., Gordijn, J.: Value-Oriented Design of Service Coordination Processes: Correctness and Trust. ACM Symposium on Applied Computing (2005)
-
(2005)
ACM Symposium on Applied Computing
-
-
Wieringa, R.J.1
Gordijn, J.2
-
15
-
-
84948960269
-
A formal foundation for distributed workflow execution based on state charts
-
Afrati, F.N., Kolaitis, P. (eds.)
-
Wodtke, D., Weikum, G.: A Formal Foundation for Distributed Workflow Execution Based on State Charts. In: Afrati, F.N., Kolaitis, P. (eds.): Proceedings of the 6th International Conference on Database Theory (ICDT) (1997) 230-246
-
(1997)
Proceedings of the 6th International Conference on Database Theory (ICDT)
, pp. 230-246
-
-
Wodtke, D.1
Weikum, G.2
-
16
-
-
30944452811
-
Overview on decentralized establishment of consistent multi-lateral collaborations based on asynchronous communication
-
Wombacher, A., Fankhauser, P., Aberer, K.: Overview on Decentralized Establishment of Consistent Multi-Lateral Collaborations Based on Asynchronous Communication. Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE) (2005) 164-170
-
(2005)
Proceedings of the 2005 IEEE International Conference on e-technology, e-commerce and e-service (EEE)
, pp. 164-170
-
-
Wombacher, A.1
Fankhauser, P.2
Aberer, K.3
-
17
-
-
33646681863
-
Process composition of web services with complex conversation protocols: A colored petri nets based approach
-
Yi, X., Kochut, K.J.: Process Composition of Web Services with Complex Conversation Protocols: a Colored Petri Nets Based Approach. Proceedings of the Design, Analysis, and Simulation of Distributed Systems (2004) 141-148
-
(2004)
Proceedings of the Design, Analysis, and Simulation of Distributed Systems
, pp. 141-148
-
-
Yi, X.1
Kochut, K.J.2
-
18
-
-
84870447153
-
Multi-perspective requirements engineering for networked business systems: A framework for pattern composition
-
Porto, 13-14 June
-
Zlatev, Z., Daneva, M., Wieringa, R.J.: Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. 8th Workshop on Requirements Engineering. Porto, 13-14 June (2005)
-
(2005)
8th Workshop on Requirements Engineering
-
-
Zlatev, Z.1
Daneva, M.2
Wieringa, R.J.3
|