Abstract
Although the Object-Oriented community is now largely committed to formal service description, its ramifications have yet to be widely appreciated. A formal service description is a model (constructed by an observer: the analyst) of a service desired by an agent (in the context of the agent’s world model). The assessment of its validity involves subjecting it to such operations as’ horizontal’ composition (with models of other services with which it should interoperate),’ vertical’ composition (with models of platforms on which servers propose to implement it), closure (to determine its possible behaviours), and restriction (to more limited ontologies, e.g. with respect to’ legacy’ systems). These acts of analysis can reveal flaws both in the observer’s understanding and in the agent’s world model. In the latter case, the effects are clinical (as in psychoanalysis), altering the agent’s world model, and the services desired, along a’ trajectory’ in the space of all models. Although most of the mathematical frameworks familiar to Computer Science (e.g. set theory, abstract algebra, modal logic) are suitable vehicles for formal service modeling, none can represent such’ higher order’ trajectories. Formal service modeling therefore presents a serious challenge both to our theory and to our praxis.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bowen TF, Dworak FS, Chow CH, Griffeth ND, Herman GE, Lin Y-J. The Feature Interaction Problem in Telecommunication Systems. Proc. 7th IEE Int. Conf. on Software Engineering for Telecommunications Systems, 1989.
Cohen B, Cameron J. Formal Approaches to Feature Interactions. Tutorial Notes, Proc. FORTE/PSTV’ 96, Kaiserslautern, 1996.
[R87]Rosen, R. Anticipatory Systems. Pergamon, 1987.
Boxer P, Cohen B. Analysing the lack of Demand Organisation. Proc. Computing Anticipatory Systems, Daniel M. Dubois, ed. Conference Proceedings 437, pp 157–181, American Inst. Phys., Woodbury, NY, 19
Atmanspacher H, Wiedenmann G, Amann A. Descartes Revisited — The Endo/exo-Distinction and its Relevance for the Study of Complex Systems. Complexity 1(3), pp. 15–21, 1995.
Menezes PB, Costa JF. Compositional Reification of Concurrent Systems. Journal of the Brazilian Computer Society, No. 1, Vol. 2, pp. 50–67, July 1995.
[F96]Fiadeiro JL. On the Emergence of Properties in Component-Based Systems. Proc. AMAST 96, LNCS 1101, pp. 421–443, Springer 1996.
Dubois D. Computing Anticipatory Systems with Incursion and Hyperincursion. Proc. Computing Anticipatory Systems, Daniel M. Dubois, ed. Conference Proceedings 437, pp.3–30, American Inst. Phys., Woodbury, NY, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Cohen, B. (1999). Being served: The Purposes, Strengths and Limitations of Formal Service Modelling. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_2
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5229-1_2
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7383-4
Online ISBN: 978-1-4615-5229-1
eBook Packages: Springer Book Archive