CSP parallel composition of aspect models

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

CSP parallel composition of aspect models

Full text

Pdf (347 KB)

Source

Aspect-oriented software development archive
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling table of contents

Brussels, Belgium

Pages 13-18

Year of Publication: 2008

ISBN:978-1-60558-145-3

Authors

Ashley McNeile	Metamaxim Ltd, UK
Ella Roubtsova	Open University of the Netherlands

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 49, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1404920.1404923 What is a DOI?

ABSTRACT

We present an approach to aspect specification based on the Protocol Modelling paradigm, which uses CSP parallel composition as the mechanism for combining partial behaviour specifications. Using the Protocol Modelling approach enables local reasoning about the behaviour of the whole model based on knowledge of behaviour of the composed aspects, and we present the proof of this key property in this paper. We describe how Protocol Modelling allows the definition of aspect join points and weaving relationships at the model level, and how different aspects may use different abstractions over the same domain. We illustrate this using a small case example.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	A. McNeile, N. Simons. Protocol Modelling. A modelling approach that supports reusable behavioural abstractions. Software and System Modeling, 5(1):91--107, 2006.
	2	A. McNeile, N. Simons. http://www.metamaxim.com/.
	3	B. Tekinerdogan, M. Akşit. Deriving design aspects from conceptual models. LNCS 1546, pp. 587--588, 1998.
	4	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	5	C. Clifton, G. Leavens. Spectators and assistants: Enabling modular aspect-oriented reasoning. Technical Report 02-10, Iowa State University, citeseer.ist.psu.edu/clifton02spectators.html, 2002.
	6	Daniel S. Dantas , David Walker, Harmless advice, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.383-396, January 11-13, 2006, Charleston, South Carolina, USA
	7	David Harel , Michal Politi, Modeling Reactive Systems with Statecharts: The Statemate Approach, McGraw-Hill, Inc., New York, NY, 1998
	8	Dominik Stein , Stefan Hanenberg , Rainer Unland, Expressing different conceptual models of join point selections in aspect-oriented design, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119661]
	9	G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, J. Irwin. Aspect-Oriented Programming. Proc. of the European Conference on Object-Oriented Programming, 1241: pp. 220--242, 1997.
	10	Gregor Kiczales , Mira Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062482]
	11	J. Ebert, G. Engels. Observable or invocable behaviour-You have to choose. Technical report. Universitat Koblenz, Koblenz, Germany, 1994.
	12	M. Jackson, P. Zave. Domain Descriptions. Proc. of the IEEE International Symposium on Requirements Engineering, pp. 56--64, 1993.
	13	Peter W. O'Hearn , John C. Reynolds , Hongseok Yang, Local Reasoning about Programs that Alter Data Structures, Proceedings of the 15th International Workshop on Computer Science Logic, p.1-19, September 10-13, 2001
	14	Robert Filman , Tzilla Elrad , Siobhán Clarke , Mehmet Ak?it, Aspect-oriented software development, Addison-Wesley Professional, 2004
	15	Steve Cook , John Daniels, Designing object systems: object-oriented modelling with Syntropy, Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
	16	Shriram Krishnamurthi , Kathi Fisler , Michael Greenberg, Verifying aspect advice modularly, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA
	17	W. Grieskamp, F. Kicillof, N. Tillmann. Action Machines: A Framework for Encoding and Composing Partial Behaviours. Microsoft Technical Report MSR-TR-2006-11, 2006.
	18	S. Smith, D. Duke. Using CSP to specify Interaction in Virtual Environments. Technical Report YCS 321. University of York, 1999.
	19	Object Management Group. UML2.0 Superstructure: Final Adopted Specification, 2003.
	20	A. McNeile, E. Roubtsova. Protocol Modelling Semantics for Embedded Systems. Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, SIES'2007, pp. 258--265, 2007.
	21	S. Katz. Aspect Categories and Classes of Temporal Properties. Transactions on Aspect-Oriented Software Development. LNCS 3880, Springer, pp. 106--134, 2006.

CITED BY 3

	Ella E. Roubtsova , Ashley T. McNeile, Abstractions, composition and reasoning, Proceedings of the 13th workshop on Aspect-oriented modeling, March 02-02, 2009, Charlottesville, Virginia, USA
	Zhanqi Cui , Linzhang Wang , Xuandong Li , Dianxiang Xu, Modeling and integrating aspects with UML activity diagrams, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Ashley McNeile , Ella Roubtsova, Composition semantics for executable and evolvable behavioral modeling in MDA, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, p.1-8, June 23-23, 2009, Enschede, The Netherlands