Modelling Business Services with Situation Theory
Authors: 
Eugene Doma, David LevyAuthors Info & Claims
Pages 153 - 156
Abstract
In the business domain requirements are typically expressed in natural language. Any formal specifications based on high level abstractions are generally imprecise, incomplete and inconsistent. As a result the implementation of business systems often fails to deliver solutions as expected as consequence of the discontinuity between models at different levels of abstraction. Situation theory combines linguistics and logic to form a framework for capturing and manipulating information. In this work we apply situation theory to process specifications defined using natural language and create formal specification artefacts which are amenable to processing using model based software engineering methods.
References
[1]
M. Acharya, A. Kulkarni, R. Kuppili, R. Mani, N. More, S. Narayannan, P. Patel, K. W. Schuelke, and N. Subramanian. SOA in the real world --- experiences. In B. Benatallah, F. Casati, and P. Traverso, editors, Service-Oriented Computing--ICSOC 2005, volume LNCS 3826, pages 437--449. Springer-Verlag, 2005.
[2]
J. Barwise. The Situation in Logic. CSLI/Stanford, Stanford, CA, 1989.
[3]
J. Barwise and J. Perry. Situations and attitudes. Journal of Philosophy, 78(11):668--691, 1981.
[4]
J. Barwise and J. Perry. Situations and Attitutdes. Massachusetts Institute of Technology, 1983.
[5]
K. Brennan. A Guide to the Business Analysis Body of Knowledge (BABOK Guide). International Institute of Business Analysis, second edition, 2009.
[6]
R. Cooper. A working person's guide to situation theory. In S. L. Hansen and F. Soerensen, editors, Topics in Semantic Interpretation. Samfundslitteratur, Frederiksberg, Denmark, 1991.
[7]
K. Czarnecki and U. W. Eisenecker. Generative Programming. Addison-Wesley Professional, 2000.
[8]
K. J. Devlin. Logic and Information. Cambridge University Press, 1991.
[9]
K. J. Devlin. Infons as mathematical objects. Minds and Machines, 2:185--201, 1992.
[10]
E. Doma, B. Selic, and D. Levy. Experimenting with situation theory as a foundation for model-based software engineering. Software and System Modelling (SoSYM), under review, 2015.
[11]
E. Doma, B. Selic, and D. Levy. Exploring situation theory using InfonLab. In Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on, pages 260--267. IEEE, 2015.
[12]
D. S. Frankel. Model Driven Architecture, Applying MDA to Enterprise Computing. Wiley Publishing, Inc., 2003.
[13]
Google App Engine. https://developers.google.com/appengine, 2014. Accessed: 2014-02-18.
[14]
P. Jarvinen. Research questions guiding selection of an appropriate research method. ECIS 2000 Proceedings, page 26, 2000.
[15]
H. Luthria and F. A. Rabhi. Organizational constraints to realizing business value from service oriented architectures: An empirical study of financial service institutions. In A. Bouguettaya, I. Krueger, and T. Margaria, editors, Service-Oriented Computing--ICSOC 2008, volume LNCS 5364, pages 256--270. Springer-Verlag, 2008.
[16]
C. Menzel and R. J. Mayer. Situations and processes. Concurrent Engineering, 4(3):229, 1996.
[17]
C. Moler, D. Comput, and C. Sunnyvale. MATLAB-a mathematical visualization laboratory. In Compcon Spring'88. Thirty-Third IEEE Computer Society International Conference, Digest of Papers, pages 480--481, 1988.
[18]
A. Mulholland. The end of business as usual: Service-oriented business transformation. In A. Dan and W. Lamersdorf, editors, Service-Oriented Computing--ICSOC 2006, volume LNCS 4294, pages 540--544. Springer-Verlag, 2006.
[19]
F. A. C. Pinheiro and I. D. López. Writing use cases modeled with situation theory. In Workshop on Requirements Engineering (WER 2002), Valencia, Spain, 2002.
[20]
B. Selic. The pragmatics of model-driven development. Software, IEEE, 20(5):19--25, Sept.-Oct. 2003.
[21]
B. Selic. Model-driven development: its essence and opportunities. In Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, 2006., page 7 pp., 2006.
[22]
U. Zdun, C. Hentrich, and W. M. P. van der Aalst. A survey of patterns for service-oriented architectures. Int. J. Internet Protocol Technology, 1(3):132--143, 2006.
Index Terms
- Modelling Business Services with Situation Theory
Recommendations
Ontology-based situation awareness
The notions of ''situation'' and ''situation awareness'' have been formulated by many authors in various contexts. In this paper, we present a formalization of situations that is compatible with the interpretation of situation awareness in terms of ...
Extending organizational modeling with business services concepts: an overview of the proposed architecture
ER'10: Proceedings of the 29th international conference on Conceptual modelingNowadays, there is wide consensus on the importance of organizational modelling in the definition of software systems that correctly address business needs. Accordingly, there exist many modelling techniques that capture business semantics from ...
Business service modeling using SOA: a core component of business architecture
MEDES '12: Proceedings of the International Conference on Management of Emergent Digital EcoSystemsFor Business Architecture (BA) to provide the intended benefits there should be considerable focus on the components that deliver the real architectural value. Current trends focus on the business process component of Business Architecture and tend to ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2015
171 pages
ISBN:9781450337960
DOI:10.1145/2811681
Copyright © 2015 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
In-Cooperation
- Australian Comp Soc: Australian Computer Society
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 28 September 2015
Check for updates
Author Tags
Qualifiers
- Extended-abstract
- Research
- Refereed limited
Conference
ASWEC ' 15 Vol. II
ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference
September 28 - October 1, 2015
SA, Adelaide, Australia
Acceptance Rates
ASWEC ' 15 Vol. II Paper Acceptance Rate 12 of 27 submissions, 44%;
Overall Acceptance Rate 12 of 27 submissions, 44%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 41Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in