Abstract
This contribution investigates the application of behaviordriven transient architectural connectors to rigorously and coherently unifying UML structural- with behavioral-diagrams. Indeed, existing UML-Architectural proposals drastically neglect behavioural issues, ignoring thereby vital concurrent and evolving behaviors in today’s crossorganizational agile complex information systems (IS).
A stepwise approach is put forwards. We first conceptualize complex IS with class-and object-diagrams, OCL constraints and state-charts. In the second main step towards componentization and distribution, we explicitly distinguish local properties from to-be observed ones and then leverage the later as component interfaces. By adopting a very appealing simple stereo-typed notations on such structural interfaces, we increment them with behavioral connectors, by exploiting OCL pre- postconstraints, state transitions and related business rules. Finally, we endow this new unified UML-compliant architectural modelling proposal with a true-concurrent operational semantics based on rewriting logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrade, L., Fiadeiro, J.: Agility through Coordination. Information Systems 27, 411–424 (2002)
Booch, G., Jacobson, I., Rumbaugh, J.: Unified Modeling Language, Notation Guide, Version 1. Addison-Wesley, Reading (1998)
Bajec, M., Krisper, M.: A Methodology and Tool Support for Managing Business Rules in Organisations. Information Systems 30(6), 423–443 (2005)
Clavel, M., et al.: Maude: Specification and Programming in Rewriting Logic. Technical report, SRI, Computer Science Laboratory (March 1999)
Garlan, D., Cheng, S., Kompanek, A.J.: Reconciling the Needs of Architectural Description with Object-modeling Notations. Science of Computer and Programming 44(1), 23–49 (2002)
Ehrig, H., Mahr, B.: Fundamentals of algebraic specifications 1: Equations and initial semantics. EATCS Monographs on Theoretical Computer Science. 21 (1985)
Meseguer, J.: Conditional rewriting logic as a unified model for concurrency. Theoretical Computer Science 96, 73–155 (1992)
Marti-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. In: Meseguer, J. (ed.) Proc. of First International Workshop on Rewriting Logic. Electronic Notes in Theoretical Computer Science, vol. 4, pp. 189–224 (1996)
OMG.: UML 2.0: Superstructure Specification. Version 2.0, formal/05-07-04. Technical report, omg.org (2005)
Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science 4 (1985)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aoumeur, N., Saake, G. (2008). A UML-Rewriting Driven Architectural Proposal for Developing Adaptive Concurrent IS. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds) Information Systems and e-Business Technologies. UNISCON 2008. Lecture Notes in Business Information Processing, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78942-0_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-78942-0_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78941-3
Online ISBN: 978-3-540-78942-0
eBook Packages: Computer ScienceComputer Science (R0)