Abstract
Currently, no single UML diagram provides the satisfactory completeness and consistency of the system description. There is also no BPMN diagram to satisfy such requirements. The satisfactory completeness means that the model enables to describe fully a function, a structure, and a behaviour of the IT system. With BPMN diagram one cannot provide a complete data model i.e. the structure of the IT system. The proposed Function-Behaviour-Structure activity diagram introduced in this paper enables to develop consistent and satisfactorily complete models.
Keywords
References
OMG Model Driven Architecture, http://www.omg.org/mda
Unified Modeling Language: Superstructure, version 2.4.1, formal (August 05, 2011), http://www.omg.org/spec/UML/2.4.1/Infrastructure
Ivers, J., et al.: Documenting Component and Connector Views with UML 2.0, Technical Report CMU/SEI-2004-TR-008, ESC-TR-2004-008. Software Engineering Institute, Carnegie Mellon (2004)
Niz, D.: Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADL, http://www.sei.cmu.edu/library/reportspapers.cfm (retrieved January 25, 2011)
Hnatkowska, B., Huzar, Z., Magott, J.: Consistency Checking in UML models. In: 4th Int. Conf. on Information Systems, Modeling ISM 2001 (2001)
Business Process Management Initiative, http://www.bpmi.org
van der Aalst, W.M.P., ter Hofstede, A.H., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003)
Organization for the Advancement of Structured Information Standards, http://docs.oasis-open.org/wsbpel/2.0
Workflow management Coalition, http://www.wfmc.org/xpdl.html
Object Management Group, Business Process Model and Notation, http://www.bpmn.org
Woodcock, J., Davies, J.: Using Z, http://www.usingz.com/text/online/index.html
Shroff, M., France, R.B.: Towards a formalization of UML class structures in Z. In: Proc. of the 21st Int. Computer Software and Applications Conf., August 11-15, p. 646 (1997)
Gero, J.S.: Design prototypes: a knowledge representation schema for design. AI Magazine 11(4), 26–36 (1990)
Truyen, F.: The Fast Guide to Model Driven Architecture, The Basics of Model Driven Architecture. Cephas Consulting Corp. (2006)
Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Chang, S.K. (ed.) Handbook of Software Engineering and Knowledge Engineering, vol. 1, pp. 329–380. World Scientific Publishing Co., London (1999)
Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multi-Perspective Specifications. Transactions on Software Engineering 20(8), 569–578 (1994)
Egyed, A.: Instant consistency checking for the UML. In: ICSE, pp. 381–390 (2006)
Mens, T., Straeten, R.V.D., Simmonds, J.: A Framework for Managing Consistency of Evolving UML Models. In: Yang, H. (ed.) Software Evolution with UML and XML, ch. 1 (2005)
Usman, M., et al.: A Survey of Consistency Checking Techniques for UML Models. In: Advanced Software Engineering & Its Applications. IEEE (2008)
Kuzniarz, L., et al. (eds.) Workshop on “Consistency Problems in UML-based Software Development II” 2003, Research Report 2003:06, Blekinge Institute of Technology, San Francisco, USA (2003)
Choi, H., Yeom, K.: An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture. In: Ninth Asia-Pacific Software Engineering Conf., pp. 286–293. IEEE Computer Society (2002)
Kennaley, M.: The 3+1 Views of Architecture (in 3D): An Amplification of the 4+1 Viewpoint Framework. In: Seventh Working IEEE/IFIP Conference, pp. 299–302. IEEE Computer Society (2008)
Issa, A., Abu Rub, F.A.: Performing Early Feasibility Studies of Software Development Projects Using Business Process Models. In: Proc. of the World Congress on Engineering, WCE 2007, London, UK, July 2-4, vol. I (2007)
Dijkman, R.M., Joosten, S.M.: An Algorithm to Derive Use Case Diagrams from Business Process Models. In: 6th Intl. Conf. on Software Engineering and Applications (SEA), pp. 679–684. Acta Press, Anaheim (2002)
Odeh, M., Kamm, R.: Bridging the gap between business models and system models. Information and Software Technology 15(45), 1053–1060 (2003)
Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. Addison-Wesley, Boston (2003)
Cabot, J., Gómez, C.: Deriving Operation Contracts from UML Class Diagrams. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MoDELS 2007. LNCS, vol. 4735, pp. 196–210. Springer, Heidelberg (2007)
Rasch, H., Wehrheim, H.: Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 229–243. Springer, Heidelberg (2003)
Goel, A., Rugaber, S., Vattam, S.: Structure, behavior & function of complex systems: The SBF modelling language. Int. Journal of AI in Engineering Design, Analysis and Manufacturing 23, 23–35 (2009)
Bastarrica, M.C., Ochoa, S.F., Rossel, P.O.: Integrated Notation for Software Architecture Specifications. In: SCCC 2004, pp. 26–35 (2004)
Vondrak, I.: Business Process Modelling. In: Proc. of the 2007 Conf. on Information Modelling and Knowledge Bases XVIII (2007)
Elleuch, N., Khalfallah, A., Ahmed, S.B.: Software Architecture in Model Driven Architecture. In: 3rd Int. Symposium on Computational Intelligence and Intelligent Informatics – ISCIII 2007, Agadir, Morocco, March 28-30, pp. 219–223 (2007)
Lange, C., et al.: An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs. In: Proc. Workshop on Consistency Problems in UML-based Software Development, 6th Int. Conf. on Unified Modelling Language (2003)
Wang, S., Jin, L., Jin, C.: Ontology Definition Meta-model based Consistency Checking of UML Models. In: Proceedings of the 10th Int. Conf. on Computer Supported Cooperative Work in Design. IEEE (2006) 1-4244-0165-8/06
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Niepostyn, S.J., Bluemke, I. (2012). The Function-Behaviour-Structure Diagram for Modelling Workflow of Information Systems. In: Bajec, M., Eder, J. (eds) Advanced Information Systems Engineering Workshops. CAiSE 2012. Lecture Notes in Business Information Processing, vol 112. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31069-0_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-31069-0_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31068-3
Online ISBN: 978-3-642-31069-0
eBook Packages: Computer ScienceComputer Science (R0)